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-3372984-1306175948/watcher-3372984-1306175948 -o /tmp/evaluation-result-3372984-1306175948/solver-3372984-1306175948 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372984-1306175948.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.95 30.31 30.54 1/413 4318
/proc/meminfo: memFree=255114152/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=13800 CPUtime=0.01 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 1510 1243 0 0 1 0 0 0 18 0 1 0 729081615 14131200 1441 268435456000 4194304 4417452 140735957591728 18446744073709551615 258650616632 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 3450 1441 145 55 0 1336 0
[startup+0.095157 s]
/proc/loadavg: 27.95 30.31 30.54 1/413 4318
/proc/meminfo: memFree=255114152/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=22096 CPUtime=0.08 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 3590 1243 0 0 8 0 0 0 18 0 1 0 729081615 22626304 3522 268435456000 4194304 4417452 140735957591728 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 5556 3551 146 55 0 3442 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 22096
[startup+0.101159 s]
/proc/loadavg: 27.95 30.31 30.54 1/413 4318
/proc/meminfo: memFree=255114152/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=23388 CPUtime=0.08 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 3937 1243 0 0 8 0 0 0 18 0 1 0 729081615 23949312 3868 268435456000 4194304 4417452 140735957591728 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 5847 3868 146 55 0 3733 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 23388
[startup+0.301149 s]
/proc/loadavg: 27.95 30.31 30.54 1/413 4318
/proc/meminfo: memFree=255114152/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=36116 CPUtime=0.28 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 7107 1243 0 0 27 1 0 0 19 0 1 0 729081615 36982784 7038 268435456000 4194304 4417452 140735957591728 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 9029 7038 146 55 0 6915 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36116
[startup+0.701169 s]
/proc/loadavg: 27.95 30.31 30.54 1/413 4318
/proc/meminfo: memFree=255114152/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=57528 CPUtime=0.69 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 12460 1243 0 0 67 2 0 0 19 0 1 0 729081615 58908672 12391 268435456000 4194304 4417452 140735957591728 18446744073709551615 4209696 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 14382 12391 146 55 0 12268 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57528
[startup+1.50119 s]
/proc/loadavg: 27.95 30.31 30.54 2/414 4324
/proc/meminfo: memFree=255053792/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=102980 CPUtime=1.49 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 23807 1243 0 0 144 5 0 0 21 0 1 0 729081615 105451520 23738 268435456000 4194304 4417452 140735957591728 18446744073709551615 4229136 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 25745 23738 146 55 0 23631 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 102980
[startup+3.10125 s]
/proc/loadavg: 27.95 30.31 30.54 2/414 4324
/proc/meminfo: memFree=254937220/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=226368 CPUtime=3.08 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 54658 1243 0 0 297 11 0 0 25 0 1 0 729081615 231800832 54589 268435456000 4194304 4417452 140735957591728 18446744073709551615 4321595 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 56592 54589 146 55 0 54478 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 226368
[startup+6.30037 s]
/proc/loadavg: 25.79 29.83 30.38 2/414 4324
/proc/meminfo: memFree=254766724/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=443340 CPUtime=6.29 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 108909 1243 0 0 607 22 0 0 25 0 1 0 729081615 453980160 108840 268435456000 4194304 4417452 140735957591728 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 110835 108840 146 55 0 108721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 443340
[startup+12.7006 s]
/proc/loadavg: 23.81 29.35 30.23 2/414 4324
/proc/meminfo: memFree=254289436/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=873532 CPUtime=12.69 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 216473 1243 0 0 1225 44 0 0 25 0 1 0 729081615 894496768 216404 268435456000 4194304 4417452 140735957591728 18446744073709551615 4259618 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 218383 216404 146 55 0 216269 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 873532
[startup+25.501 s]
/proc/loadavg: 18.76 27.96 29.76 2/414 4324
/proc/meminfo: memFree=253468792/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=1659964 CPUtime=25.48 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 413081 1243 0 0 2464 84 0 0 25 0 1 0 729081615 1699803136 413012 268435456000 4194304 4417452 140735957591728 18446744073709551615 4235981 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/4318/statm: 414991 413012 146 55 0 412877 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1659964
[startup+51.1009 s]
/proc/loadavg: 12.70 25.79 28.99 2/414 4324
/proc/meminfo: memFree=251820064/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=3308420 CPUtime=51.07 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 825204 1243 0 0 4941 166 0 0 25 0 1 0 729081615 3387822080 825126 268435456000 4194304 4417452 140735957591728 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 16 0 0 0
/proc/4318/statm: 827105 825126 146 55 0 824991 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3308420
[startup+102.323 s]
/proc/loadavg: 17.45 24.74 28.44 33/446 4358
/proc/meminfo: memFree=248953836/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=6586156 CPUtime=1005.47 cores=0-31
/proc/4318/stat : 4318 (plingeling) S 4316 4318 4292 0 -1 4202496 2734179 1243 0 0 98197 2350 0 0 18 0 33 0 729081615 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/4318/statm: 1646539 1536627 175 55 0 1644425 0
[pid=4318/tid=4327] ppid=4316 vsize=6586156 CPUtime=30.1 cores=0-31
/proc/4318/task/4327/stat : 4327 (plingeling) R 4316 4318 4292 0 -1 4202560 44476 1243 0 0 2966 44 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4237211 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4318/tid=4328] ppid=4316 vsize=6586156 CPUtime=28.03 cores=0-31
/proc/4318/task/4328/stat : 4328 (plingeling) R 4316 4318 4292 0 -1 4202560 41292 1243 0 0 2721 82 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4318/tid=4329] ppid=4316 vsize=6586156 CPUtime=31.33 cores=0-31
/proc/4318/task/4329/stat : 4329 (plingeling) R 4316 4318 4292 0 -1 4202560 44673 1243 0 0 3088 45 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4318/tid=4330] ppid=4316 vsize=6586156 CPUtime=30.68 cores=0-31
/proc/4318/task/4330/stat : 4330 (plingeling) R 4316 4318 4292 0 -1 4202560 2513 1243 0 0 3067 1 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4318/tid=4331] ppid=4316 vsize=6586156 CPUtime=29.77 cores=0-31
/proc/4318/task/4331/stat : 4331 (plingeling) R 4316 4318 4292 0 -1 4202560 44271 1243 0 0 2934 43 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4318/tid=4332] ppid=4316 vsize=6586156 CPUtime=30.06 cores=0-31
/proc/4318/task/4332/stat : 4332 (plingeling) R 4316 4318 4292 0 -1 4202560 42199 1243 0 0 2933 73 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4318/tid=4333] ppid=4316 vsize=6586156 CPUtime=30.69 cores=0-31
/proc/4318/task/4333/stat : 4333 (plingeling) R 4316 4318 4292 0 -1 4202560 43204 1243 0 0 2994 75 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4318/tid=4334] ppid=4316 vsize=6586156 CPUtime=30.82 cores=0-31
/proc/4318/task/4334/stat : 4334 (plingeling) R 4316 4318 4292 0 -1 4202560 42575 1243 0 0 3023 59 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4318/tid=4335] ppid=4316 vsize=6586156 CPUtime=28.82 cores=0-31
/proc/4318/task/4335/stat : 4335 (plingeling) R 4316 4318 4292 0 -1 4202560 42330 1243 0 0 2808 74 0 0 25 0 33 0 729088572 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4356852 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=4318/tid=4336] ppid=4316 vsize=6586156 CPUtime=28.11 cores=0-31
/proc/4318/task/4336/stat : 4336 (plingeling) R 4316 4318 4292 0 -1 4202560 41804 1243 0 0 2739 72 0 0 25 0 33 0 729088573 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4232654 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4318/tid=4337] ppid=4316 vsize=6586156 CPUtime=29.64 cores=0-31
/proc/4318/task/4337/stat : 4337 (plingeling) R 4316 4318 4292 0 -1 4202560 40755 1243 0 0 2907 57 0 0 25 0 33 0 729088573 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4318/tid=4338] ppid=4316 vsize=6586156 CPUtime=28.4 cores=0-31
/proc/4318/task/4338/stat : 4338 (plingeling) R 4316 4318 4292 0 -1 4202560 45390 1243 0 0 2754 86 0 0 25 0 33 0 729088573 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4318/tid=4339] ppid=4316 vsize=6586156 CPUtime=28.68 cores=0-31
/proc/4318/task/4339/stat : 4339 (plingeling) R 4316 4318 4292 0 -1 4202560 46777 1243 0 0 2776 92 0 0 25 0 33 0 729088573 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4318/tid=4340] ppid=4316 vsize=6586156 CPUtime=28.96 cores=0-31
/proc/4318/task/4340/stat : 4340 (plingeling) R 4316 4318 4292 0 -1 4202560 47562 1243 0 0 2815 81 0 0 25 0 33 0 729088574 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4318/tid=4341] ppid=4316 vsize=6586156 CPUtime=29.48 cores=0-31
/proc/4318/task/4341/stat : 4341 (plingeling) R 4316 4318 4292 0 -1 4202560 42105 1243 0 0 2874 74 0 0 25 0 33 0 729088574 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=4318/tid=4342] ppid=4316 vsize=6586156 CPUtime=30.16 cores=0-31
/proc/4318/task/4342/stat : 4342 (plingeling) R 4316 4318 4292 0 -1 4202560 45292 1243 0 0 2946 70 0 0 25 0 33 0 729088574 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4365538 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4318/tid=4343] ppid=4316 vsize=6586156 CPUtime=28.35 cores=0-31
/proc/4318/task/4343/stat : 4343 (plingeling) R 4316 4318 4292 0 -1 4202560 42005 1243 0 0 2777 58 0 0 25 0 33 0 729088574 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364380 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4318/tid=4344] ppid=4316 vsize=6586156 CPUtime=28.17 cores=0-31
/proc/4318/task/4344/stat : 4344 (plingeling) R 4316 4318 4292 0 -1 4202560 45986 1243 0 0 2727 90 0 0 25 0 33 0 729088574 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=4318/tid=4345] ppid=4316 vsize=6586156 CPUtime=29.03 cores=0-31
/proc/4318/task/4345/stat : 4345 (plingeling) R 4316 4318 4292 0 -1 4202560 42213 1243 0 0 2866 37 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4318/tid=4346] ppid=4316 vsize=6586156 CPUtime=27.8 cores=0-31
/proc/4318/task/4346/stat : 4346 (plingeling) R 4316 4318 4292 0 -1 4202560 45069 1243 0 0 2705 75 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=4318/tid=4347] ppid=4316 vsize=6586156 CPUtime=28.46 cores=0-31
/proc/4318/task/4347/stat : 4347 (plingeling) R 4316 4318 4292 0 -1 4202560 41202 1243 0 0 2756 90 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4264940 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4318/tid=4348] ppid=4316 vsize=6586156 CPUtime=27.81 cores=0-31
/proc/4318/task/4348/stat : 4348 (plingeling) R 4316 4318 4292 0 -1 4202560 42933 1243 0 0 2689 92 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4318/tid=4349] ppid=4316 vsize=6586156 CPUtime=30.89 cores=0-31
/proc/4318/task/4349/stat : 4349 (plingeling) R 4316 4318 4292 0 -1 4202560 42088 1243 0 0 3064 25 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=4318/tid=4350] ppid=4316 vsize=6586156 CPUtime=28.27 cores=0-31
/proc/4318/task/4350/stat : 4350 (plingeling) R 4316 4318 4292 0 -1 4202560 45153 1243 0 0 2753 74 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4318/tid=4351] ppid=4316 vsize=6586156 CPUtime=28.85 cores=0-31
/proc/4318/task/4351/stat : 4351 (plingeling) R 4316 4318 4292 0 -1 4202560 45421 1243 0 0 2836 49 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236755 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4318/tid=4352] ppid=4316 vsize=6586156 CPUtime=28.88 cores=0-31
/proc/4318/task/4352/stat : 4352 (plingeling) R 4316 4318 4292 0 -1 4202560 43482 1243 0 0 2809 79 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4281408 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4318/tid=4353] ppid=4316 vsize=6586156 CPUtime=30.13 cores=0-31
/proc/4318/task/4353/stat : 4353 (plingeling) R 4316 4318 4292 0 -1 4202560 41884 1243 0 0 2957 56 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4318/tid=4354] ppid=4316 vsize=6586156 CPUtime=30.14 cores=0-31
/proc/4318/task/4354/stat : 4354 (plingeling) R 4316 4318 4292 0 -1 4202560 42867 1243 0 0 2955 59 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364805 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4318/tid=4355] ppid=4316 vsize=6586156 CPUtime=28.43 cores=0-31
/proc/4318/task/4355/stat : 4355 (plingeling) R 4316 4318 4292 0 -1 4202560 41925 1243 0 0 2776 67 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4318/tid=4356] ppid=4316 vsize=6586156 CPUtime=27.98 cores=0-31
/proc/4318/task/4356/stat : 4356 (plingeling) R 4316 4318 4292 0 -1 4202560 40618 1243 0 0 2726 72 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4318/tid=4357] ppid=4316 vsize=6586156 CPUtime=30.98 cores=0-31
/proc/4318/task/4357/stat : 4357 (plingeling) R 4316 4318 4292 0 -1 4202560 45160 1243 0 0 3049 49 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4318/tid=4358] ppid=4316 vsize=6586156 CPUtime=27.73 cores=0-31
/proc/4318/task/4358/stat : 4358 (plingeling) R 4316 4318 4292 0 -1 4202560 42033 1243 0 0 2715 58 0 0 25 0 33 0 729088575 6744223744 1536627 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 1005.47
Current children cumulated vsize (KiB) 6586156
[startup+162.302 s]
/proc/loadavg: 26.18 25.92 28.62 33/446 4360
/proc/meminfo: memFree=249020548/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=6510544 CPUtime=2888.48 cores=0-31
/proc/4318/stat : 4318 (plingeling) S 4316 4318 4292 0 -1 4202496 3815695 1243 0 0 285064 3784 0 0 18 0 33 0 729081615 6666797056 1517473 268435456000 4194304 4417452 140735957591728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/4318/statm: 1627636 1517473 175 55 0 1625522 0
[pid=4318/tid=4327] ppid=4316 vsize=6510544 CPUtime=89.72 cores=0-31
/proc/4318/task/4327/stat : 4327 (plingeling) R 4316 4318 4292 0 -1 4202560 79148 1243 0 0 8899 73 0 0 25 0 33 0 729088572 6666797056 1517473 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236675 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4318/tid=4328] ppid=4316 vsize=6510544 CPUtime=86.73 cores=0-31
################
# More data... #
################
/proc/4318/task/4347/stat : 4347 (plingeling) R 4316 4318 4292 0 -1 4202560 162716 1243 0 0 38925 233 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=4318/tid=4348] ppid=4316 vsize=5567448 CPUtime=394.57 cores=0-31
/proc/4318/task/4348/stat : 4348 (plingeling) R 4316 4318 4292 0 -1 4202560 173909 1243 0 0 39268 189 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4232804 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4318/tid=4349] ppid=4316 vsize=5567448 CPUtime=397.65 cores=0-31
/proc/4318/task/4349/stat : 4349 (plingeling) R 4316 4318 4292 0 -1 4202560 180232 1243 0 0 39630 135 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4318/tid=4350] ppid=4316 vsize=5567448 CPUtime=394.59 cores=0-31
/proc/4318/task/4350/stat : 4350 (plingeling) R 4316 4318 4292 0 -1 4202560 178221 1243 0 0 39249 210 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4290744 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4318/tid=4351] ppid=4316 vsize=5567448 CPUtime=395.18 cores=0-31
/proc/4318/task/4351/stat : 4351 (plingeling) R 4316 4318 4292 0 -1 4202560 186302 1243 0 0 39301 217 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4318/tid=4352] ppid=4316 vsize=5567448 CPUtime=394.07 cores=0-31
/proc/4318/task/4352/stat : 4352 (plingeling) R 4316 4318 4292 0 -1 4202560 170069 1243 0 0 39191 216 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4318/tid=4353] ppid=4316 vsize=5567448 CPUtime=396.89 cores=0-31
/proc/4318/task/4353/stat : 4353 (plingeling) R 4316 4318 4292 0 -1 4202560 172118 1243 0 0 39459 230 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4318/tid=4354] ppid=4316 vsize=5567448 CPUtime=394.83 cores=0-31
/proc/4318/task/4354/stat : 4354 (plingeling) R 4316 4318 4292 0 -1 4202560 168868 1243 0 0 39291 192 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4318/tid=4355] ppid=4316 vsize=5567448 CPUtime=393.09 cores=0-31
/proc/4318/task/4355/stat : 4355 (plingeling) R 4316 4318 4292 0 -1 4202560 169061 1243 0 0 39050 259 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4232726 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4318/tid=4356] ppid=4316 vsize=5567448 CPUtime=394.65 cores=0-31
/proc/4318/task/4356/stat : 4356 (plingeling) R 4316 4318 4292 0 -1 4202560 162362 1243 0 0 39299 166 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4318/tid=4357] ppid=4316 vsize=5567448 CPUtime=396.69 cores=0-31
/proc/4318/task/4357/stat : 4357 (plingeling) R 4316 4318 4292 0 -1 4202560 178048 1243 0 0 39474 195 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4318/tid=4358] ppid=4316 vsize=5567448 CPUtime=394.56 cores=0-31
/proc/4318/task/4358/stat : 4358 (plingeling) R 4316 4318 4292 0 -1 4202560 172371 1243 0 0 39256 200 0 0 25 0 33 0 729088575 5701066752 1284228 268435456000 4194304 4417452 140735957591728 18446744073709551615 4250961 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 12717.7
Current children cumulated vsize (KiB) 5567448
[startup+471.923 s]
/proc/loadavg: 31.78 29.81 29.56 33/446 4368
/proc/meminfo: memFree=249947420/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=5582528 CPUtime=12769.5 cores=0-31
/proc/4318/stat : 4318 (plingeling) S 4316 4318 4292 0 -1 4202496 6925874 1243 0 0 1270054 6892 0 0 18 0 33 0 729081615 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/4318/statm: 1395632 1289503 175 55 0 1393518 0
[pid=4318/tid=4327] ppid=4316 vsize=5582528 CPUtime=399.11 cores=0-31
/proc/4318/task/4327/stat : 4327 (plingeling) R 4316 4318 4292 0 -1 4202560 199127 1243 0 0 39716 195 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4254833 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4318/tid=4328] ppid=4316 vsize=5582528 CPUtime=394.66 cores=0-31
/proc/4318/task/4328/stat : 4328 (plingeling) R 4316 4318 4292 0 -1 4202560 173370 1243 0 0 39193 273 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4343625 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=4318/tid=4329] ppid=4316 vsize=5582528 CPUtime=399.97 cores=0-31
/proc/4318/task/4329/stat : 4329 (plingeling) R 4316 4318 4292 0 -1 4202560 173884 1243 0 0 39833 164 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4278190 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4318/tid=4330] ppid=4316 vsize=5582528 CPUtime=399.34 cores=0-31
/proc/4318/task/4330/stat : 4330 (plingeling) R 4316 4318 4292 0 -1 4202560 73758 1243 0 0 39816 118 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4318/tid=4331] ppid=4316 vsize=5582528 CPUtime=397.92 cores=0-31
/proc/4318/task/4331/stat : 4331 (plingeling) R 4316 4318 4292 0 -1 4202560 169249 1243 0 0 39683 109 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4318/tid=4332] ppid=4316 vsize=5582528 CPUtime=398.71 cores=0-31
/proc/4318/task/4332/stat : 4332 (plingeling) R 4316 4318 4292 0 -1 4202560 146387 1243 0 0 39727 144 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236910 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4318/tid=4333] ppid=4316 vsize=5582528 CPUtime=398.24 cores=0-31
/proc/4318/task/4333/stat : 4333 (plingeling) R 4316 4318 4292 0 -1 4202560 176344 1243 0 0 39572 252 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4310903 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4318/tid=4334] ppid=4316 vsize=5582528 CPUtime=398.84 cores=0-31
/proc/4318/task/4334/stat : 4334 (plingeling) R 4316 4318 4292 0 -1 4202560 197788 1243 0 0 39695 189 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4318/tid=4335] ppid=4316 vsize=5582528 CPUtime=396.26 cores=0-31
/proc/4318/task/4335/stat : 4335 (plingeling) R 4316 4318 4292 0 -1 4202560 169939 1243 0 0 39371 255 0 0 25 0 33 0 729088572 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4318/tid=4336] ppid=4316 vsize=5582528 CPUtime=396.58 cores=0-31
/proc/4318/task/4336/stat : 4336 (plingeling) R 4316 4318 4292 0 -1 4202560 169231 1243 0 0 39493 165 0 0 25 0 33 0 729088573 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4277687 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=4318/tid=4337] ppid=4316 vsize=5582528 CPUtime=396.31 cores=0-31
/proc/4318/task/4337/stat : 4337 (plingeling) R 4316 4318 4292 0 -1 4202560 199910 1243 0 0 39422 209 0 0 25 0 33 0 729088573 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4318/tid=4338] ppid=4316 vsize=5582528 CPUtime=395.8 cores=0-31
/proc/4318/task/4338/stat : 4338 (plingeling) R 4316 4318 4292 0 -1 4202560 182932 1243 0 0 39378 202 0 0 25 0 33 0 729088573 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4318/tid=4339] ppid=4316 vsize=5582528 CPUtime=395.56 cores=0-31
/proc/4318/task/4339/stat : 4339 (plingeling) R 4316 4318 4292 0 -1 4202560 180455 1243 0 0 39309 247 0 0 25 0 33 0 729088573 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=4318/tid=4340] ppid=4316 vsize=5582528 CPUtime=396.56 cores=0-31
/proc/4318/task/4340/stat : 4340 (plingeling) R 4316 4318 4292 0 -1 4202560 175836 1243 0 0 39388 268 0 0 25 0 33 0 729088574 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4302954 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4318/tid=4341] ppid=4316 vsize=5582528 CPUtime=396.85 cores=0-31
/proc/4318/task/4341/stat : 4341 (plingeling) R 4316 4318 4292 0 -1 4202560 154542 1243 0 0 39450 235 0 0 25 0 33 0 729088574 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=4318/tid=4342] ppid=4316 vsize=5582528 CPUtime=398.24 cores=0-31
/proc/4318/task/4342/stat : 4342 (plingeling) R 4316 4318 4292 0 -1 4202560 188603 1243 0 0 39588 236 0 0 25 0 33 0 729088574 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4318/tid=4343] ppid=4316 vsize=5582528 CPUtime=396.13 cores=0-31
/proc/4318/task/4343/stat : 4343 (plingeling) R 4316 4318 4292 0 -1 4202560 191918 1243 0 0 39455 158 0 0 25 0 33 0 729088574 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4318/tid=4344] ppid=4316 vsize=5582528 CPUtime=395.3 cores=0-31
/proc/4318/task/4344/stat : 4344 (plingeling) R 4316 4318 4292 0 -1 4202560 168905 1243 0 0 39261 269 0 0 25 0 33 0 729088574 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4318/tid=4345] ppid=4316 vsize=5582528 CPUtime=396.43 cores=0-31
/proc/4318/task/4345/stat : 4345 (plingeling) R 4316 4318 4292 0 -1 4202560 177744 1243 0 0 39456 187 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4318/tid=4346] ppid=4316 vsize=5582528 CPUtime=395 cores=0-31
/proc/4318/task/4346/stat : 4346 (plingeling) R 4316 4318 4292 0 -1 4202560 190656 1243 0 0 39218 282 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4318/tid=4347] ppid=4316 vsize=5582528 CPUtime=393.2 cores=0-31
/proc/4318/task/4347/stat : 4347 (plingeling) R 4316 4318 4292 0 -1 4202560 162716 1243 0 0 39087 233 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=4318/tid=4348] ppid=4316 vsize=5582528 CPUtime=396.19 cores=0-31
/proc/4318/task/4348/stat : 4348 (plingeling) R 4316 4318 4292 0 -1 4202560 173909 1243 0 0 39430 189 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4318/tid=4349] ppid=4316 vsize=5582528 CPUtime=399.27 cores=0-31
/proc/4318/task/4349/stat : 4349 (plingeling) R 4316 4318 4292 0 -1 4202560 184329 1243 0 0 39791 136 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4318/tid=4350] ppid=4316 vsize=5582528 CPUtime=396.21 cores=0-31
/proc/4318/task/4350/stat : 4350 (plingeling) R 4316 4318 4292 0 -1 4202560 178221 1243 0 0 39411 210 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4283504 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4318/tid=4351] ppid=4316 vsize=5582528 CPUtime=396.8 cores=0-31
/proc/4318/task/4351/stat : 4351 (plingeling) R 4316 4318 4292 0 -1 4202560 186302 1243 0 0 39463 217 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4318/tid=4352] ppid=4316 vsize=5582528 CPUtime=395.69 cores=0-31
/proc/4318/task/4352/stat : 4352 (plingeling) R 4316 4318 4292 0 -1 4202560 170069 1243 0 0 39353 216 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=4318/tid=4353] ppid=4316 vsize=5582528 CPUtime=398.51 cores=0-31
/proc/4318/task/4353/stat : 4353 (plingeling) R 4316 4318 4292 0 -1 4202560 172118 1243 0 0 39621 230 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4308814 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4318/tid=4354] ppid=4316 vsize=5582528 CPUtime=396.45 cores=0-31
/proc/4318/task/4354/stat : 4354 (plingeling) R 4316 4318 4292 0 -1 4202560 168868 1243 0 0 39453 192 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4318/tid=4355] ppid=4316 vsize=5582528 CPUtime=394.72 cores=0-31
/proc/4318/task/4355/stat : 4355 (plingeling) R 4316 4318 4292 0 -1 4202560 169061 1243 0 0 39213 259 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=4318/tid=4356] ppid=4316 vsize=5582528 CPUtime=396.27 cores=0-31
/proc/4318/task/4356/stat : 4356 (plingeling) R 4316 4318 4292 0 -1 4202560 162362 1243 0 0 39461 166 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4318/tid=4357] ppid=4316 vsize=5582528 CPUtime=398.31 cores=0-31
/proc/4318/task/4357/stat : 4357 (plingeling) R 4316 4318 4292 0 -1 4202560 178048 1243 0 0 39636 195 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=4318/tid=4358] ppid=4316 vsize=5582528 CPUtime=396.18 cores=0-31
/proc/4318/task/4358/stat : 4358 (plingeling) R 4316 4318 4292 0 -1 4202560 172371 1243 0 0 39418 200 0 0 25 0 33 0 729088575 5716508672 1289503 268435456000 4194304 4417452 140735957591728 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 12769.5
Current children cumulated vsize (KiB) 5582528
[startup+472.702 s]
/proc/loadavg: 31.78 29.81 29.56 33/446 4368
/proc/meminfo: memFree=249947420/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=5531528 CPUtime=12794.1 cores=0-31
/proc/4318/stat : 4318 (plingeling) S 4316 4318 4292 0 -1 4202496 6929973 1243 0 0 1272515 6894 0 0 18 0 19 0 729081615 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 10 0 0 0
/proc/4318/statm: 1382882 1276723 176 55 0 1380768 0
[pid=4318/tid=4327] ppid=4316 vsize=5531528 CPUtime=399.89 cores=0-31
/proc/4318/task/4327/stat : 4327 (plingeling) R 4316 4318 4292 0 -1 4202560 199127 1243 0 0 39794 195 0 0 25 0 19 0 729088572 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4318/tid=4329] ppid=4316 vsize=5531528 CPUtime=400.75 cores=0-31
/proc/4318/task/4329/stat : 4329 (plingeling) R 4316 4318 4292 0 -1 4202560 173884 1243 0 0 39911 164 0 0 25 0 19 0 729088572 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4278624 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=4318/tid=4331] ppid=4316 vsize=5531528 CPUtime=398.69 cores=0-31
/proc/4318/task/4331/stat : 4331 (plingeling) R 4316 4318 4292 0 -1 4202560 169249 1243 0 0 39760 109 0 0 25 0 19 0 729088572 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4318/tid=4333] ppid=4316 vsize=5531528 CPUtime=399.01 cores=0-31
/proc/4318/task/4333/stat : 4333 (plingeling) R 4316 4318 4292 0 -1 4202560 176344 1243 0 0 39649 252 0 0 25 0 19 0 729088572 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4318/tid=4334] ppid=4316 vsize=5531528 CPUtime=399.62 cores=0-31
/proc/4318/task/4334/stat : 4334 (plingeling) R 4316 4318 4292 0 -1 4202560 197788 1243 0 0 39773 189 0 0 25 0 19 0 729088572 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4318/tid=4335] ppid=4316 vsize=5531528 CPUtime=397.03 cores=0-31
/proc/4318/task/4335/stat : 4335 (plingeling) R 4316 4318 4292 0 -1 4202560 169939 1243 0 0 39448 255 0 0 25 0 19 0 729088572 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4318/tid=4337] ppid=4316 vsize=5531528 CPUtime=397.09 cores=0-31
/proc/4318/task/4337/stat : 4337 (plingeling) R 4316 4318 4292 0 -1 4202560 199910 1243 0 0 39500 209 0 0 25 0 19 0 729088573 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4354053 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4318/tid=4338] ppid=4316 vsize=5531528 CPUtime=396.58 cores=0-31
/proc/4318/task/4338/stat : 4338 (plingeling) R 4316 4318 4292 0 -1 4202560 182932 1243 0 0 39456 202 0 0 25 0 19 0 729088573 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4318/tid=4340] ppid=4316 vsize=5531528 CPUtime=397.34 cores=0-31
/proc/4318/task/4340/stat : 4340 (plingeling) R 4316 4318 4292 0 -1 4202560 175836 1243 0 0 39466 268 0 0 25 0 19 0 729088574 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4318/tid=4343] ppid=4316 vsize=5531528 CPUtime=396.9 cores=0-31
/proc/4318/task/4343/stat : 4343 (plingeling) R 4316 4318 4292 0 -1 4202560 191918 1243 0 0 39532 158 0 0 25 0 19 0 729088574 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4318/tid=4344] ppid=4316 vsize=5531528 CPUtime=396.08 cores=0-31
/proc/4318/task/4344/stat : 4344 (plingeling) R 4316 4318 4292 0 -1 4202560 168905 1243 0 0 39339 269 0 0 25 0 19 0 729088574 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4318/tid=4346] ppid=4316 vsize=5531528 CPUtime=395.78 cores=0-31
/proc/4318/task/4346/stat : 4346 (plingeling) R 4316 4318 4292 0 -1 4202560 190656 1243 0 0 39296 282 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4261383 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4318/tid=4348] ppid=4316 vsize=5531528 CPUtime=396.97 cores=0-31
/proc/4318/task/4348/stat : 4348 (plingeling) R 4316 4318 4292 0 -1 4202560 173909 1243 0 0 39508 189 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4318/tid=4349] ppid=4316 vsize=5531528 CPUtime=400.04 cores=0-31
/proc/4318/task/4349/stat : 4349 (plingeling) R 4316 4318 4292 0 -1 4202560 188427 1243 0 0 39867 137 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4318/tid=4350] ppid=4316 vsize=5531528 CPUtime=396.99 cores=0-31
/proc/4318/task/4350/stat : 4350 (plingeling) R 4316 4318 4292 0 -1 4202560 178221 1243 0 0 39489 210 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4318/tid=4351] ppid=4316 vsize=5531528 CPUtime=397.58 cores=0-31
/proc/4318/task/4351/stat : 4351 (plingeling) R 4316 4318 4292 0 -1 4202560 186302 1243 0 0 39541 217 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4318/tid=4352] ppid=4316 vsize=5531528 CPUtime=396.47 cores=0-31
/proc/4318/task/4352/stat : 4352 (plingeling) R 4316 4318 4292 0 -1 4202560 170069 1243 0 0 39431 216 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4318/tid=4355] ppid=4316 vsize=5531528 CPUtime=395.49 cores=0-31
/proc/4318/task/4355/stat : 4355 (plingeling) R 4316 4318 4292 0 -1 4202560 169061 1243 0 0 39290 259 0 0 25 0 19 0 729088575 5664284672 1276723 268435456000 4194304 4417452 140735957591728 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12794.1
Current children cumulated vsize (KiB) 5531528
[startup+473.501 s]
/proc/loadavg: 31.31 29.74 29.54 2/415 4368
/proc/meminfo: memFree=250048240/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=3177224 CPUtime=12795.3 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 6934037 1243 0 0 1272617 6916 0 0 16 0 1 0 729081615 3253477376 773676 268435456000 4194304 4417452 140735957591728 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 10 0 0 0
/proc/4318/statm: 794306 773676 176 55 0 792192 0
Current children cumulated CPU time (s) 12795.3
Current children cumulated vsize (KiB) 3177224
[startup+473.701 s]
/proc/loadavg: 31.31 29.74 29.54 2/415 4368
/proc/meminfo: memFree=250048240/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=1480792 CPUtime=12795.5 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202496 6934037 1243 0 0 1272617 6936 0 0 16 0 1 0 729081615 1516331008 306975 268435456000 4194304 4417452 140735957591728 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 10 0 0 0
/proc/4318/statm: 370198 306975 176 55 0 368084 0
Current children cumulated CPU time (s) 12795.5
Current children cumulated vsize (KiB) 1480792
[startup+473.801 s]
/proc/loadavg: 31.31 29.74 29.54 2/415 4368
/proc/meminfo: memFree=250048240/264257624 swapFree=67111528/67111528
[pid=4318] ppid=4316 vsize=0 CPUtime=12795.6 cores=0-31
/proc/4318/stat : 4318 (plingeling) R 4316 4318 4292 0 -1 4202500 6934041 1243 0 0 1272617 6946 0 0 16 0 1 0 729081615 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 10 0 0 0
/proc/4318/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12795.6
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 473.856
CPU time (s): 12795.7
CPU user time (s): 12726.2
CPU system time (s): 69.5264
CPU usage (%): 2700.34
Max. virtual memory (cumulated for all children) (KiB): 7154680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12726.2
system time used= 69.5264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6935284
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= 6659
involuntary context switches= 31991
runsolver used 2.78658 second user time and 10.8434 second system time
The end
Begin job on node200 at 2011-05-23 20:39:12
IDJOB=3372984
IDBENCH=88167
IDSOLVER=1852
FILE ID=node200/3372984-1306175948
RUNJOBID= node200-1306175948-4306
PBS_JOBID= 13387853
Free space on /tmp= 61944 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/11pipe_k.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372984-1306175948/watcher-3372984-1306175948 -o /tmp/evaluation-result-3372984-1306175948/solver-3372984-1306175948 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372984-1306175948.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 932387240a0c17f4c88af52c4ca151c6
RANDOM SEED=2091262715
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: 255114176 kB
Buffers: 462096 kB
Cached: 8264764 kB
SwapCached: 0 kB
Active: 7816344 kB
Inactive: 979164 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255114176 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 103900 kB
Writeback: 0 kB
AnonPages: 69016 kB
Mapped: 14480 kB
Slab: 255756 kB
PageTables: 4428 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 201464 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= 61944 MiB
End job on node200 at 2011-05-23 20:47:06