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-3372138-1305451149/watcher-3372138-1305451149 -o /tmp/evaluation-result-3372138-1305451149/solver-3372138-1305451149 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372138-1305451149.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: 25.22 27.92 30.27 1/413 10500
/proc/meminfo: memFree=255569540/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=15948 CPUtime=0.02 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 2064 1240 0 0 2 0 0 0 22 0 1 0 656601429 16330752 1995 268435456000 4194304 4417452 140737031460528 18446744073709551615 4264942 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 3987 1995 145 55 0 1873 0
[startup+0.0413761 s]
/proc/loadavg: 25.22 27.92 30.27 1/413 10500
/proc/meminfo: memFree=255569540/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=18972 CPUtime=0.02 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 2816 1240 0 0 2 0 0 0 22 0 1 0 656601429 19427328 2747 268435456000 4194304 4417452 140737031460528 18446744073709551615 4231490 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 4743 2747 145 55 0 2629 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18972
[startup+0.100373 s]
/proc/loadavg: 25.22 27.92 30.27 1/413 10500
/proc/meminfo: memFree=255569540/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=25692 CPUtime=0.08 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 4488 1240 0 0 8 0 0 0 22 0 1 0 656601429 26308608 4419 268435456000 4194304 4417452 140737031460528 18446744073709551615 4231490 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 6423 4419 145 55 0 4309 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25692
[startup+0.300381 s]
/proc/loadavg: 25.22 27.92 30.27 1/413 10500
/proc/meminfo: memFree=255569540/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=49260 CPUtime=0.28 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 10373 1240 0 0 27 1 0 0 23 0 1 0 656601429 50442240 10304 268435456000 4194304 4417452 140737031460528 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 12315 10304 146 55 0 10201 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49260
[startup+0.700442 s]
/proc/loadavg: 25.22 27.92 30.27 1/413 10500
/proc/meminfo: memFree=255569540/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=86256 CPUtime=0.68 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 19654 1240 0 0 65 3 0 0 25 0 1 0 656601429 88326144 19585 268435456000 4194304 4417452 140737031460528 18446744073709551615 4229136 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 21564 19585 146 55 0 19450 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86256
[startup+1.50043 s]
/proc/loadavg: 25.22 27.92 30.27 2/414 10506
/proc/meminfo: memFree=255453956/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=160928 CPUtime=1.48 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 38322 1240 0 0 141 7 0 0 25 0 1 0 656601429 164790272 38253 268435456000 4194304 4417452 140737031460528 18446744073709551615 4231248 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 40232 38253 146 55 0 38118 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 160928
[startup+3.10052 s]
/proc/loadavg: 25.22 27.92 30.27 2/414 10506
/proc/meminfo: memFree=255406960/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=275408 CPUtime=3.08 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 66836 1240 0 0 294 14 0 0 25 0 1 0 656601429 282017792 66767 268435456000 4194304 4417452 140737031460528 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 68852 66783 146 55 0 66738 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 275408
[startup+6.30059 s]
/proc/loadavg: 23.28 27.47 30.11 2/414 10506
/proc/meminfo: memFree=255118704/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=458196 CPUtime=6.29 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 112687 1240 0 0 606 23 0 0 25 0 1 0 656601429 469192704 112570 268435456000 4194304 4417452 140737031460528 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 114549 112570 146 55 0 112435 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 458196
[startup+12.7008 s]
/proc/loadavg: 21.49 27.03 29.96 2/414 10506
/proc/meminfo: memFree=254674484/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=902668 CPUtime=12.68 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 223805 1240 0 0 1222 46 0 0 25 0 1 0 656601429 924332032 223688 268435456000 4194304 4417452 140737031460528 18446744073709551615 4228064 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/10500/statm: 225667 223688 146 55 0 223553 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 902668
[startup+25.5021 s]
/proc/loadavg: 21.79 26.79 29.83 33/446 10538
/proc/meminfo: memFree=253627200/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=2424252 CPUtime=351.86 cores=0-31
/proc/10500/stat : 10500 (plingeling) S 10498 10500 10406 0 -1 4202496 920522 1240 0 0 34574 612 0 0 18 0 33 0 656601429 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/10500/statm: 606063 466213 175 55 0 603949 0
[pid=10500/tid=10507] ppid=10498 vsize=2424252 CPUtime=10.79 cores=0-31
/proc/10500/task/10507/stat : 10507 (plingeling) R 10498 10500 10406 0 -1 4202560 19608 1240 0 0 1065 14 0 0 25 0 33 0 656602863 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254821 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10500/tid=10508] ppid=10498 vsize=2424252 CPUtime=10.64 cores=0-31
/proc/10500/task/10508/stat : 10508 (plingeling) R 10498 10500 10406 0 -1 4202560 17108 1240 0 0 1050 14 0 0 25 0 33 0 656602863 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10500/tid=10509] ppid=10498 vsize=2424252 CPUtime=10.25 cores=0-31
/proc/10500/task/10509/stat : 10509 (plingeling) R 10498 10500 10406 0 -1 4202560 23626 1240 0 0 1002 23 0 0 25 0 33 0 656602863 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236294 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10500/tid=10510] ppid=10498 vsize=2424252 CPUtime=11.02 cores=0-31
/proc/10500/task/10510/stat : 10510 (plingeling) R 10498 10500 10406 0 -1 4202560 2931 1240 0 0 1100 2 0 0 25 0 33 0 656602863 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10500/tid=10511] ppid=10498 vsize=2424252 CPUtime=10.39 cores=0-31
/proc/10500/task/10511/stat : 10511 (plingeling) R 10498 10500 10406 0 -1 4202560 11643 1240 0 0 1033 6 0 0 25 0 33 0 656602864 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 258650653008 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10500/tid=10512] ppid=10498 vsize=2424252 CPUtime=10.42 cores=0-31
/proc/10500/task/10512/stat : 10512 (plingeling) D 10498 10500 10406 0 -1 4202560 22484 1240 0 0 1027 15 0 0 25 0 33 0 656602864 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4271529 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10500/tid=10513] ppid=10498 vsize=2424252 CPUtime=10.36 cores=0-31
/proc/10500/task/10513/stat : 10513 (plingeling) R 10498 10500 10406 0 -1 4202560 27814 1240 0 0 1006 30 0 0 25 0 33 0 656602864 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4232419 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10500/tid=10514] ppid=10498 vsize=2424252 CPUtime=10.54 cores=0-31
/proc/10500/task/10514/stat : 10514 (plingeling) D 10498 10500 10406 0 -1 4202560 20957 1240 0 0 1034 20 0 0 25 0 33 0 656602864 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 258650649903 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10500/tid=10515] ppid=10498 vsize=2424252 CPUtime=10.53 cores=0-31
/proc/10500/task/10515/stat : 10515 (plingeling) R 10498 10500 10406 0 -1 4202560 24596 1240 0 0 1031 22 0 0 25 0 33 0 656602864 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254468 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10500/tid=10516] ppid=10498 vsize=2424252 CPUtime=10.61 cores=0-31
/proc/10500/task/10516/stat : 10516 (plingeling) R 10498 10500 10406 0 -1 4202560 16555 1240 0 0 1044 17 0 0 25 0 33 0 656602864 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254425 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10500/tid=10517] ppid=10498 vsize=2424252 CPUtime=10.53 cores=0-31
/proc/10500/task/10517/stat : 10517 (plingeling) R 10498 10500 10406 0 -1 4202560 13627 1240 0 0 1032 21 0 0 25 0 33 0 656602865 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4344154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10500/tid=10518] ppid=10498 vsize=2424252 CPUtime=10.68 cores=0-31
/proc/10500/task/10518/stat : 10518 (plingeling) R 10498 10500 10406 0 -1 4202560 20454 1240 0 0 1053 15 0 0 25 0 33 0 656602865 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253513 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10500/tid=10519] ppid=10498 vsize=2424252 CPUtime=10.45 cores=0-31
/proc/10500/task/10519/stat : 10519 (plingeling) R 10498 10500 10406 0 -1 4202560 21004 1240 0 0 1035 10 0 0 25 0 33 0 656602865 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253473 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10500/tid=10520] ppid=10498 vsize=2424252 CPUtime=10.76 cores=0-31
/proc/10500/task/10520/stat : 10520 (plingeling) R 10498 10500 10406 0 -1 4202560 13906 1240 0 0 1061 15 0 0 25 0 33 0 656602865 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253440 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10500/tid=10521] ppid=10498 vsize=2424252 CPUtime=10.3 cores=0-31
/proc/10500/task/10521/stat : 10521 (plingeling) R 10498 10500 10406 0 -1 4202560 26963 1240 0 0 1002 28 0 0 25 0 33 0 656602865 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4335883 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10500/tid=10522] ppid=10498 vsize=2424252 CPUtime=10.36 cores=0-31
/proc/10500/task/10522/stat : 10522 (plingeling) R 10498 10500 10406 0 -1 4202560 12443 1240 0 0 1017 19 0 0 25 0 33 0 656602867 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254441 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10500/tid=10523] ppid=10498 vsize=2424252 CPUtime=10.63 cores=0-31
/proc/10500/task/10523/stat : 10523 (plingeling) R 10498 10500 10406 0 -1 4202560 13256 1240 0 0 1055 8 0 0 25 0 33 0 656602867 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10500/tid=10524] ppid=10498 vsize=2424252 CPUtime=10.82 cores=0-31
/proc/10500/task/10524/stat : 10524 (plingeling) R 10498 10500 10406 0 -1 4202560 19627 1240 0 0 1060 22 0 0 25 0 33 0 656602867 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254893 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10500/tid=10525] ppid=10498 vsize=2424252 CPUtime=10.45 cores=0-31
/proc/10500/task/10525/stat : 10525 (plingeling) R 10498 10500 10406 0 -1 4202560 27653 1240 0 0 1022 23 0 0 25 0 33 0 656602867 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10500/tid=10526] ppid=10498 vsize=2424252 CPUtime=10.82 cores=0-31
/proc/10500/task/10526/stat : 10526 (plingeling) R 10498 10500 10406 0 -1 4202560 13812 1240 0 0 1070 12 0 0 25 0 33 0 656602867 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254855 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10500/tid=10527] ppid=10498 vsize=2424252 CPUtime=10.6 cores=0-31
/proc/10500/task/10527/stat : 10527 (plingeling) R 10498 10500 10406 0 -1 4202560 14064 1240 0 0 1047 13 0 0 25 0 33 0 656602867 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4254843 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10500/tid=10528] ppid=10498 vsize=2424252 CPUtime=10.53 cores=0-31
/proc/10500/task/10528/stat : 10528 (plingeling) R 10498 10500 10406 0 -1 4202560 15626 1240 0 0 1045 8 0 0 25 0 33 0 656602873 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253455 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10500/tid=10529] ppid=10498 vsize=2424252 CPUtime=10.23 cores=0-31
/proc/10500/task/10529/stat : 10529 (plingeling) R 10498 10500 10406 0 -1 4202560 25157 1240 0 0 990 33 0 0 25 0 33 0 656602873 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10500/tid=10530] ppid=10498 vsize=2424252 CPUtime=10.55 cores=0-31
/proc/10500/task/10530/stat : 10530 (plingeling) R 10498 10500 10406 0 -1 4202560 13980 1240 0 0 1047 8 0 0 25 0 33 0 656602873 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4252041 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10500/tid=10531] ppid=10498 vsize=2424252 CPUtime=10.36 cores=0-31
/proc/10500/task/10531/stat : 10531 (plingeling) R 10498 10500 10406 0 -1 4202560 22522 1240 0 0 1024 12 0 0 25 0 33 0 656602873 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4320461 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10500/tid=10532] ppid=10498 vsize=2424252 CPUtime=10.77 cores=0-31
/proc/10500/task/10532/stat : 10532 (plingeling) R 10498 10500 10406 0 -1 4202560 27411 1240 0 0 1056 21 0 0 25 0 33 0 656602873 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253925 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10500/tid=10533] ppid=10498 vsize=2424252 CPUtime=10.12 cores=0-31
/proc/10500/task/10533/stat : 10533 (plingeling) R 10498 10500 10406 0 -1 4202560 17956 1240 0 0 996 16 0 0 25 0 33 0 656602874 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4258035 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10500/tid=10534] ppid=10498 vsize=2424252 CPUtime=10.52 cores=0-31
/proc/10500/task/10534/stat : 10534 (plingeling) R 10498 10500 10406 0 -1 4202560 22697 1240 0 0 1034 18 0 0 25 0 33 0 656602874 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10500/tid=10535] ppid=10498 vsize=2424252 CPUtime=10.71 cores=0-31
/proc/10500/task/10535/stat : 10535 (plingeling) R 10498 10500 10406 0 -1 4202560 20810 1240 0 0 1056 15 0 0 25 0 33 0 656602874 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253504 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10500/tid=10536] ppid=10498 vsize=2424252 CPUtime=10.8 cores=0-31
/proc/10500/task/10536/stat : 10536 (plingeling) R 10498 10500 10406 0 -1 4202560 13393 1240 0 0 1065 15 0 0 25 0 33 0 656602874 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4253524 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10500/tid=10537] ppid=10498 vsize=2424252 CPUtime=10.26 cores=0-31
/proc/10500/task/10537/stat : 10537 (plingeling) R 10498 10500 10406 0 -1 4202560 24439 1240 0 0 1005 21 0 0 25 0 33 0 656602874 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4342912 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10500/tid=10538] ppid=10498 vsize=2424252 CPUtime=10.43 cores=0-31
/proc/10500/task/10538/stat : 10538 (plingeling) R 10498 10500 10406 0 -1 4202560 17148 1240 0 0 1027 16 0 0 25 0 33 0 656602874 2482434048 466213 268435456000 4194304 4417452 140737031460528 18446744073709551615 4271551 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 351.86
Current children cumulated vsize (KiB) 2424252
Solver just ended. Dumping a history of the last processes samples
[startup+38.3016 s]
/proc/loadavg: 23.36 26.96 29.85 33/446 10538
/proc/meminfo: memFree=253422024/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=2684596 CPUtime=760.46 cores=0-31
/proc/10500/stat : 10500 (plingeling) S 10498 10500 10406 0 -1 4202496 989991 1240 0 0 75367 679 0 0 18 0 33 0 656601429 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/10500/statm: 671149 529655 175 55 0 669035 0
[pid=10500/tid=10507] ppid=10498 vsize=2684596 CPUtime=23.52 cores=0-31
/proc/10500/task/10507/stat : 10507 (plingeling) R 10498 10500 10406 0 -1 4202560 24227 1240 0 0 2335 17 0 0 25 0 33 0 656602863 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10500/tid=10508] ppid=10498 vsize=2684596 CPUtime=23.44 cores=0-31
/proc/10500/task/10508/stat : 10508 (plingeling) R 10498 10500 10406 0 -1 4202560 18137 1240 0 0 2327 17 0 0 25 0 33 0 656602863 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10500/tid=10509] ppid=10498 vsize=2684596 CPUtime=23.03 cores=0-31
/proc/10500/task/10509/stat : 10509 (plingeling) R 10498 10500 10406 0 -1 4202560 23626 1240 0 0 2280 23 0 0 25 0 33 0 656602863 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10500/tid=10510] ppid=10498 vsize=2684596 CPUtime=23.81 cores=0-31
/proc/10500/task/10510/stat : 10510 (plingeling) R 10498 10500 10406 0 -1 4202560 2931 1240 0 0 2379 2 0 0 25 0 33 0 656602863 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10500/tid=10511] ppid=10498 vsize=2684596 CPUtime=23.15 cores=0-31
/proc/10500/task/10511/stat : 10511 (plingeling) R 10498 10500 10406 0 -1 4202560 15236 1240 0 0 2304 11 0 0 25 0 33 0 656602864 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10500/tid=10512] ppid=10498 vsize=2684596 CPUtime=23.2 cores=0-31
/proc/10500/task/10512/stat : 10512 (plingeling) R 10498 10500 10406 0 -1 4202560 24029 1240 0 0 2302 18 0 0 25 0 33 0 656602864 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4232801 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10500/tid=10513] ppid=10498 vsize=2684596 CPUtime=23.15 cores=0-31
/proc/10500/task/10513/stat : 10513 (plingeling) R 10498 10500 10406 0 -1 4202560 28038 1240 0 0 2285 30 0 0 25 0 33 0 656602864 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10500/tid=10514] ppid=10498 vsize=2684596 CPUtime=23.25 cores=0-31
/proc/10500/task/10514/stat : 10514 (plingeling) R 10498 10500 10406 0 -1 4202560 24292 1240 0 0 2302 23 0 0 25 0 33 0 656602864 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10500/tid=10515] ppid=10498 vsize=2684596 CPUtime=23.33 cores=0-31
/proc/10500/task/10515/stat : 10515 (plingeling) R 10498 10500 10406 0 -1 4202560 29472 1240 0 0 2306 27 0 0 25 0 33 0 656602864 2749026304 529655 268435456000 4194304 4417452 140737031460528 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10500/tid=10516] ppid=10498 vsize=2684596 CPUtime=23.39 cores=0-31
################
# More data... #
################
[pid=10500/tid=10537] ppid=10498 vsize=2684584 CPUtime=29.46 cores=0-31
/proc/10500/task/10537/stat : 10537 (plingeling) R 10498 10500 10406 0 -1 4202560 24439 1240 0 0 2925 21 0 0 25 0 33 0 656602874 2749014016 529652 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10500/tid=10538] ppid=10498 vsize=2684584 CPUtime=29.61 cores=0-31
/proc/10500/task/10538/stat : 10538 (plingeling) R 10498 10500 10406 0 -1 4202560 20225 1240 0 0 2941 20 0 0 25 0 33 0 656602874 2749014016 529652 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 965.04
Current children cumulated vsize (KiB) 2684584
[startup+46.3019 s]
/proc/loadavg: 24.69 27.13 29.87 33/446 10538
/proc/meminfo: memFree=253428764/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=2684580 CPUtime=1016.19 cores=0-31
/proc/10500/stat : 10500 (plingeling) S 10498 10500 10406 0 -1 4202496 989991 1240 0 0 100939 680 0 0 18 0 33 0 656601429 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/10500/statm: 671145 529651 175 55 0 669031 0
[pid=10500/tid=10507] ppid=10498 vsize=2684580 CPUtime=31.51 cores=0-31
/proc/10500/task/10507/stat : 10507 (plingeling) R 10498 10500 10406 0 -1 4202560 24227 1240 0 0 3134 17 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10500/tid=10508] ppid=10498 vsize=2684580 CPUtime=31.44 cores=0-31
/proc/10500/task/10508/stat : 10508 (plingeling) R 10498 10500 10406 0 -1 4202560 18137 1240 0 0 3127 17 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10500/tid=10509] ppid=10498 vsize=2684580 CPUtime=31.03 cores=0-31
/proc/10500/task/10509/stat : 10509 (plingeling) R 10498 10500 10406 0 -1 4202560 23626 1240 0 0 3080 23 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10500/tid=10510] ppid=10498 vsize=2684580 CPUtime=31.81 cores=0-31
/proc/10500/task/10510/stat : 10510 (plingeling) R 10498 10500 10406 0 -1 4202560 2931 1240 0 0 3179 2 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10500/tid=10511] ppid=10498 vsize=2684580 CPUtime=31.15 cores=0-31
/proc/10500/task/10511/stat : 10511 (plingeling) R 10498 10500 10406 0 -1 4202560 15236 1240 0 0 3104 11 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10500/tid=10512] ppid=10498 vsize=2684580 CPUtime=31.2 cores=0-31
/proc/10500/task/10512/stat : 10512 (plingeling) R 10498 10500 10406 0 -1 4202560 24029 1240 0 0 3102 18 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10500/tid=10513] ppid=10498 vsize=2684580 CPUtime=31.15 cores=0-31
/proc/10500/task/10513/stat : 10513 (plingeling) R 10498 10500 10406 0 -1 4202560 28038 1240 0 0 3085 30 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10500/tid=10514] ppid=10498 vsize=2684580 CPUtime=31.25 cores=0-31
/proc/10500/task/10514/stat : 10514 (plingeling) R 10498 10500 10406 0 -1 4202560 24292 1240 0 0 3102 23 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4237148 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10500/tid=10515] ppid=10498 vsize=2684580 CPUtime=31.32 cores=0-31
/proc/10500/task/10515/stat : 10515 (plingeling) R 10498 10500 10406 0 -1 4202560 29472 1240 0 0 3105 27 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10500/tid=10516] ppid=10498 vsize=2684580 CPUtime=31.39 cores=0-31
/proc/10500/task/10516/stat : 10516 (plingeling) R 10498 10500 10406 0 -1 4202560 18102 1240 0 0 3119 20 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4353559 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10500/tid=10517] ppid=10498 vsize=2684580 CPUtime=31.33 cores=0-31
/proc/10500/task/10517/stat : 10517 (plingeling) R 10498 10500 10406 0 -1 4202560 13627 1240 0 0 3112 21 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10500/tid=10518] ppid=10498 vsize=2684580 CPUtime=31.47 cores=0-31
/proc/10500/task/10518/stat : 10518 (plingeling) R 10498 10500 10406 0 -1 4202560 24529 1240 0 0 3129 18 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10500/tid=10519] ppid=10498 vsize=2684580 CPUtime=31.24 cores=0-31
/proc/10500/task/10519/stat : 10519 (plingeling) R 10498 10500 10406 0 -1 4202560 22551 1240 0 0 3111 13 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10500/tid=10520] ppid=10498 vsize=2684580 CPUtime=31.54 cores=0-31
/proc/10500/task/10520/stat : 10520 (plingeling) R 10498 10500 10406 0 -1 4202560 17501 1240 0 0 3134 20 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10500/tid=10521] ppid=10498 vsize=2684580 CPUtime=31.1 cores=0-31
/proc/10500/task/10521/stat : 10521 (plingeling) R 10498 10500 10406 0 -1 4202560 27477 1240 0 0 3080 30 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10500/tid=10522] ppid=10498 vsize=2684580 CPUtime=31.12 cores=0-31
/proc/10500/task/10522/stat : 10522 (plingeling) R 10498 10500 10406 0 -1 4202560 17062 1240 0 0 3093 19 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10500/tid=10523] ppid=10498 vsize=2684580 CPUtime=31.4 cores=0-31
/proc/10500/task/10523/stat : 10523 (plingeling) R 10498 10500 10406 0 -1 4202560 16819 1240 0 0 3131 9 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10500/tid=10524] ppid=10498 vsize=2684580 CPUtime=31.62 cores=0-31
/proc/10500/task/10524/stat : 10524 (plingeling) R 10498 10500 10406 0 -1 4202560 21174 1240 0 0 3139 23 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10500/tid=10525] ppid=10498 vsize=2684580 CPUtime=31.24 cores=0-31
/proc/10500/task/10525/stat : 10525 (plingeling) R 10498 10500 10406 0 -1 4202560 27653 1240 0 0 3101 23 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10500/tid=10526] ppid=10498 vsize=2684580 CPUtime=31.57 cores=0-31
/proc/10500/task/10526/stat : 10526 (plingeling) R 10498 10500 10406 0 -1 4202560 15359 1240 0 0 3142 15 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10500/tid=10527] ppid=10498 vsize=2684580 CPUtime=31.37 cores=0-31
/proc/10500/task/10527/stat : 10527 (plingeling) R 10498 10500 10406 0 -1 4202560 18684 1240 0 0 3122 15 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10500/tid=10528] ppid=10498 vsize=2684580 CPUtime=31.32 cores=0-31
/proc/10500/task/10528/stat : 10528 (plingeling) R 10498 10500 10406 0 -1 4202560 17173 1240 0 0 3124 8 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10500/tid=10529] ppid=10498 vsize=2684580 CPUtime=31 cores=0-31
/proc/10500/task/10529/stat : 10529 (plingeling) R 10498 10500 10406 0 -1 4202560 25671 1240 0 0 3067 33 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10500/tid=10530] ppid=10498 vsize=2684580 CPUtime=31.33 cores=0-31
/proc/10500/task/10530/stat : 10530 (plingeling) R 10498 10500 10406 0 -1 4202560 18081 1240 0 0 3121 12 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10500/tid=10531] ppid=10498 vsize=2684580 CPUtime=30.57 cores=0-31
/proc/10500/task/10531/stat : 10531 (plingeling) R 10498 10500 10406 0 -1 4202560 25599 1240 0 0 3044 13 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10500/tid=10532] ppid=10498 vsize=2684580 CPUtime=31.53 cores=0-31
/proc/10500/task/10532/stat : 10532 (plingeling) R 10498 10500 10406 0 -1 4202560 29950 1240 0 0 3128 25 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10500/tid=10533] ppid=10498 vsize=2684580 CPUtime=30.91 cores=0-31
/proc/10500/task/10533/stat : 10533 (plingeling) R 10498 10500 10406 0 -1 4202560 17956 1240 0 0 3075 16 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10500/tid=10534] ppid=10498 vsize=2684580 CPUtime=31.32 cores=0-31
/proc/10500/task/10534/stat : 10534 (plingeling) R 10498 10500 10406 0 -1 4202560 23726 1240 0 0 3111 21 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10500/tid=10535] ppid=10498 vsize=2684580 CPUtime=31.42 cores=0-31
/proc/10500/task/10535/stat : 10535 (plingeling) R 10498 10500 10406 0 -1 4202560 25429 1240 0 0 3124 18 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4353559 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10500/tid=10536] ppid=10498 vsize=2684580 CPUtime=31.58 cores=0-31
/proc/10500/task/10536/stat : 10536 (plingeling) R 10498 10500 10406 0 -1 4202560 15964 1240 0 0 3141 17 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10500/tid=10537] ppid=10498 vsize=2684580 CPUtime=31.06 cores=0-31
/proc/10500/task/10537/stat : 10537 (plingeling) R 10498 10500 10406 0 -1 4202560 24439 1240 0 0 3085 21 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10500/tid=10538] ppid=10498 vsize=2684580 CPUtime=31.21 cores=0-31
/proc/10500/task/10538/stat : 10538 (plingeling) R 10498 10500 10406 0 -1 4202560 20225 1240 0 0 3101 20 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1016.19
Current children cumulated vsize (KiB) 2684580
[startup+47.1019 s]
/proc/loadavg: 24.69 27.13 29.87 33/446 10538
/proc/meminfo: memFree=253428764/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=2684580 CPUtime=1041.77 cores=0-31
/proc/10500/stat : 10500 (plingeling) S 10498 10500 10406 0 -1 4202496 989991 1240 0 0 103497 680 0 0 18 0 33 0 656601429 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/10500/statm: 671145 529651 175 55 0 669031 0
[pid=10500/tid=10507] ppid=10498 vsize=2684580 CPUtime=32.31 cores=0-31
/proc/10500/task/10507/stat : 10507 (plingeling) R 10498 10500 10406 0 -1 4202560 24227 1240 0 0 3214 17 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=10500/tid=10508] ppid=10498 vsize=2684580 CPUtime=32.24 cores=0-31
/proc/10500/task/10508/stat : 10508 (plingeling) R 10498 10500 10406 0 -1 4202560 18137 1240 0 0 3207 17 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=10500/tid=10509] ppid=10498 vsize=2684580 CPUtime=31.83 cores=0-31
/proc/10500/task/10509/stat : 10509 (plingeling) R 10498 10500 10406 0 -1 4202560 23626 1240 0 0 3160 23 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=10500/tid=10510] ppid=10498 vsize=2684580 CPUtime=32.61 cores=0-31
/proc/10500/task/10510/stat : 10510 (plingeling) R 10498 10500 10406 0 -1 4202560 2931 1240 0 0 3259 2 0 0 25 0 33 0 656602863 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=10500/tid=10511] ppid=10498 vsize=2684580 CPUtime=31.95 cores=0-31
/proc/10500/task/10511/stat : 10511 (plingeling) R 10498 10500 10406 0 -1 4202560 15236 1240 0 0 3184 11 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=10500/tid=10512] ppid=10498 vsize=2684580 CPUtime=32 cores=0-31
/proc/10500/task/10512/stat : 10512 (plingeling) R 10498 10500 10406 0 -1 4202560 24029 1240 0 0 3182 18 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=10500/tid=10513] ppid=10498 vsize=2684580 CPUtime=31.95 cores=0-31
/proc/10500/task/10513/stat : 10513 (plingeling) R 10498 10500 10406 0 -1 4202560 28038 1240 0 0 3165 30 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=10500/tid=10514] ppid=10498 vsize=2684580 CPUtime=32.05 cores=0-31
/proc/10500/task/10514/stat : 10514 (plingeling) R 10498 10500 10406 0 -1 4202560 24292 1240 0 0 3182 23 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=10500/tid=10515] ppid=10498 vsize=2684580 CPUtime=32.12 cores=0-31
/proc/10500/task/10515/stat : 10515 (plingeling) R 10498 10500 10406 0 -1 4202560 29472 1240 0 0 3185 27 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=10500/tid=10516] ppid=10498 vsize=2684580 CPUtime=32.19 cores=0-31
/proc/10500/task/10516/stat : 10516 (plingeling) R 10498 10500 10406 0 -1 4202560 18102 1240 0 0 3199 20 0 0 25 0 33 0 656602864 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236607 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=10500/tid=10517] ppid=10498 vsize=2684580 CPUtime=32.13 cores=0-31
/proc/10500/task/10517/stat : 10517 (plingeling) R 10498 10500 10406 0 -1 4202560 13627 1240 0 0 3192 21 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=10500/tid=10518] ppid=10498 vsize=2684580 CPUtime=32.27 cores=0-31
/proc/10500/task/10518/stat : 10518 (plingeling) R 10498 10500 10406 0 -1 4202560 24529 1240 0 0 3209 18 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=10500/tid=10519] ppid=10498 vsize=2684580 CPUtime=32.04 cores=0-31
/proc/10500/task/10519/stat : 10519 (plingeling) R 10498 10500 10406 0 -1 4202560 22551 1240 0 0 3191 13 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=10500/tid=10520] ppid=10498 vsize=2684580 CPUtime=32.34 cores=0-31
/proc/10500/task/10520/stat : 10520 (plingeling) R 10498 10500 10406 0 -1 4202560 17501 1240 0 0 3214 20 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=10500/tid=10521] ppid=10498 vsize=2684580 CPUtime=31.9 cores=0-31
/proc/10500/task/10521/stat : 10521 (plingeling) R 10498 10500 10406 0 -1 4202560 27477 1240 0 0 3160 30 0 0 25 0 33 0 656602865 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=10500/tid=10522] ppid=10498 vsize=2684580 CPUtime=31.92 cores=0-31
/proc/10500/task/10522/stat : 10522 (plingeling) R 10498 10500 10406 0 -1 4202560 17062 1240 0 0 3173 19 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=10500/tid=10523] ppid=10498 vsize=2684580 CPUtime=32.2 cores=0-31
/proc/10500/task/10523/stat : 10523 (plingeling) R 10498 10500 10406 0 -1 4202560 16819 1240 0 0 3211 9 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=10500/tid=10524] ppid=10498 vsize=2684580 CPUtime=32.42 cores=0-31
/proc/10500/task/10524/stat : 10524 (plingeling) R 10498 10500 10406 0 -1 4202560 21174 1240 0 0 3219 23 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=10500/tid=10525] ppid=10498 vsize=2684580 CPUtime=32.04 cores=0-31
/proc/10500/task/10525/stat : 10525 (plingeling) R 10498 10500 10406 0 -1 4202560 27653 1240 0 0 3181 23 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=10500/tid=10526] ppid=10498 vsize=2684580 CPUtime=32.37 cores=0-31
/proc/10500/task/10526/stat : 10526 (plingeling) R 10498 10500 10406 0 -1 4202560 15359 1240 0 0 3222 15 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=10500/tid=10527] ppid=10498 vsize=2684580 CPUtime=32.17 cores=0-31
/proc/10500/task/10527/stat : 10527 (plingeling) R 10498 10500 10406 0 -1 4202560 18684 1240 0 0 3202 15 0 0 25 0 33 0 656602867 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=10500/tid=10528] ppid=10498 vsize=2684580 CPUtime=32.12 cores=0-31
/proc/10500/task/10528/stat : 10528 (plingeling) R 10498 10500 10406 0 -1 4202560 17173 1240 0 0 3204 8 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=10500/tid=10529] ppid=10498 vsize=2684580 CPUtime=31.8 cores=0-31
/proc/10500/task/10529/stat : 10529 (plingeling) R 10498 10500 10406 0 -1 4202560 25671 1240 0 0 3147 33 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=10500/tid=10530] ppid=10498 vsize=2684580 CPUtime=32.13 cores=0-31
/proc/10500/task/10530/stat : 10530 (plingeling) R 10498 10500 10406 0 -1 4202560 18081 1240 0 0 3201 12 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236766 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=10500/tid=10531] ppid=10498 vsize=2684580 CPUtime=31.36 cores=0-31
/proc/10500/task/10531/stat : 10531 (plingeling) R 10498 10500 10406 0 -1 4202560 25599 1240 0 0 3123 13 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=10500/tid=10532] ppid=10498 vsize=2684580 CPUtime=32.33 cores=0-31
/proc/10500/task/10532/stat : 10532 (plingeling) R 10498 10500 10406 0 -1 4202560 29950 1240 0 0 3208 25 0 0 25 0 33 0 656602873 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=10500/tid=10533] ppid=10498 vsize=2684580 CPUtime=31.71 cores=0-31
/proc/10500/task/10533/stat : 10533 (plingeling) R 10498 10500 10406 0 -1 4202560 17956 1240 0 0 3155 16 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=10500/tid=10534] ppid=10498 vsize=2684580 CPUtime=32.12 cores=0-31
/proc/10500/task/10534/stat : 10534 (plingeling) R 10498 10500 10406 0 -1 4202560 23726 1240 0 0 3191 21 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364842 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=10500/tid=10535] ppid=10498 vsize=2684580 CPUtime=32.22 cores=0-31
/proc/10500/task/10535/stat : 10535 (plingeling) R 10498 10500 10406 0 -1 4202560 25429 1240 0 0 3204 18 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=10500/tid=10536] ppid=10498 vsize=2684580 CPUtime=32.38 cores=0-31
/proc/10500/task/10536/stat : 10536 (plingeling) R 10498 10500 10406 0 -1 4202560 15964 1240 0 0 3221 17 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=10500/tid=10537] ppid=10498 vsize=2684580 CPUtime=31.86 cores=0-31
/proc/10500/task/10537/stat : 10537 (plingeling) R 10498 10500 10406 0 -1 4202560 24439 1240 0 0 3165 21 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4265437 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=10500/tid=10538] ppid=10498 vsize=2684580 CPUtime=32.01 cores=0-31
/proc/10500/task/10538/stat : 10538 (plingeling) R 10498 10500 10406 0 -1 4202560 20225 1240 0 0 3181 20 0 0 25 0 33 0 656602874 2749009920 529651 268435456000 4194304 4417452 140737031460528 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1041.77
Current children cumulated vsize (KiB) 2684580
[startup+47.5021 s]
/proc/loadavg: 24.69 27.13 29.87 33/446 10538
/proc/meminfo: memFree=253430720/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=2228384 CPUtime=1053.67 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 989992 1240 0 0 104686 681 0 0 17 0 1 0 656601429 2281865216 486616 268435456000 4194304 4417452 140737031460528 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 8 0 0 0
/proc/10500/statm: 557096 486262 176 55 0 554982 0
Current children cumulated CPU time (s) 1053.67
Current children cumulated vsize (KiB) 2228384
[startup+47.6011 s]
/proc/loadavg: 24.69 27.13 29.87 33/446 10538
/proc/meminfo: memFree=253430720/264257624 swapFree=67111528/67111528
[pid=10500] ppid=10498 vsize=1104600 CPUtime=1053.77 cores=0-31
/proc/10500/stat : 10500 (plingeling) R 10498 10500 10406 0 -1 4202496 989992 1240 0 0 104686 691 0 0 17 0 1 0 656601429 1131110400 195187 268435456000 4194304 4417452 140737031460528 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 8 0 0 0
/proc/10500/statm: 276150 195187 176 55 0 274036 0
Current children cumulated CPU time (s) 1053.77
Current children cumulated vsize (KiB) 1104600
Child status: 20
Real time (s): 47.6736
CPU time (s): 1053.86
CPU user time (s): 1046.87
CPU system time (s): 6.99394
CPU usage (%): 2210.58
Max. virtual memory (cumulated for all children) (KiB): 2834028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1046.87
system time used= 6.99394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 991236
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= 3357
involuntary context switches= 2564
runsolver used 0.317951 second user time and 1.11083 second system time
The end
Begin job on node200 at 2011-05-15 11:19:10
IDJOB=3372138
IDBENCH=20431
IDSOLVER=1852
FILE ID=node200/3372138-1305451149
RUNJOBID= node200-1305450992-10420
PBS_JOBID= 13285511
Free space on /tmp= 62036 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h21-unknown.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372138-1305451149/watcher-3372138-1305451149 -o /tmp/evaluation-result-3372138-1305451149/solver-3372138-1305451149 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372138-1305451149.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3b8c6114a974b09e9b1601ba0718cbf3
RANDOM SEED=1834504743
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: 255569944 kB
Buffers: 439576 kB
Cached: 7847504 kB
SwapCached: 0 kB
Active: 7396056 kB
Inactive: 959660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255569944 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16972 kB
Writeback: 0 kB
AnonPages: 69140 kB
Mapped: 14552 kB
Slab: 250168 kB
PageTables: 4788 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 195724 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= 62036 MiB
End job on node200 at 2011-05-15 11:19:58