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-3372390-1305568087/watcher-3372390-1305568087 -o /tmp/evaluation-result-3372390-1305568087/solver-3372390-1305568087 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372390-1305568087.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: 10.53 15.18 20.63 1/413 20709
/proc/meminfo: memFree=255497408/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=45332 CPUtime=0.02 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 8867 1240 0 0 1 1 0 0 22 0 1 0 668295214 46419968 8798 268435456000 4194304 4417452 140735699716896 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 11333 8814 138 55 0 9219 0
[startup+0.0896821 s]
/proc/loadavg: 10.53 15.18 20.63 1/413 20709
/proc/meminfo: memFree=255497408/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=110900 CPUtime=0.07 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 24951 1240 0 0 3 4 0 0 22 0 1 0 668295214 113561600 24882 268435456000 4194304 4417452 140735699716896 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 27725 24901 138 55 0 25611 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 110900
[startup+0.100715 s]
/proc/loadavg: 10.53 15.18 20.63 1/413 20709
/proc/meminfo: memFree=255497408/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=127292 CPUtime=0.09 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 28286 1240 0 0 4 5 0 0 22 0 1 0 668295214 130347008 28217 268435456000 4194304 4417452 140735699716896 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 31823 28234 138 55 0 29709 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 127292
[startup+0.300667 s]
/proc/loadavg: 10.53 15.18 20.63 1/413 20709
/proc/meminfo: memFree=255497408/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=288016 CPUtime=0.28 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 70093 1240 0 0 16 12 0 0 23 0 1 0 668295214 294928384 70024 268435456000 4194304 4417452 140735699716896 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 72004 70024 145 55 0 69890 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 288016
[startup+0.700689 s]
/proc/loadavg: 10.53 15.18 20.63 1/413 20709
/proc/meminfo: memFree=255497408/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=308192 CPUtime=0.69 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 75123 1240 0 0 55 14 0 0 25 0 1 0 668295214 315588608 75045 268435456000 4194304 4417452 140735699716896 18446744073709551615 4231569 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 77048 75045 146 55 0 74934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 308192
[startup+1.50071 s]
/proc/loadavg: 9.76 14.95 20.52 2/414 20715
/proc/meminfo: memFree=255166180/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=403068 CPUtime=1.49 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 98866 1240 0 0 129 20 0 0 25 0 1 0 668295214 412741632 98788 268435456000 4194304 4417452 140735699716896 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 100767 98788 146 55 0 98653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 403068
[startup+3.10082 s]
/proc/loadavg: 9.76 14.95 20.52 2/414 20715
/proc/meminfo: memFree=255036212/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=529884 CPUtime=3.08 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 130570 1240 0 0 283 25 0 0 25 0 1 0 668295214 542601216 130492 268435456000 4194304 4417452 140735699716896 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 132471 130492 146 55 0 130357 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 529884
[startup+6.3009 s]
/proc/loadavg: 9.76 14.95 20.52 2/414 20715
/proc/meminfo: memFree=254725040/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=782788 CPUtime=6.29 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 193796 1240 0 0 591 38 0 0 25 0 1 0 668295214 801574912 193718 268435456000 4194304 4417452 140735699716896 18446744073709551615 4323168 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 195697 193718 146 55 0 193583 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 782788
[startup+12.7011 s]
/proc/loadavg: 8.64 14.54 20.33 2/414 20715
/proc/meminfo: memFree=254223792/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=1287620 CPUtime=12.68 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 320184 1240 0 0 1207 61 0 0 25 0 1 0 668295214 1318522880 319926 268435456000 4194304 4417452 140735699716896 18446744073709551615 4274454 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/20709/statm: 321905 319926 146 55 0 319791 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1287620
[startup+25.5024 s]
/proc/loadavg: 9.94 14.60 20.29 33/446 20747
/proc/meminfo: memFree=253048508/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=3212744 CPUtime=187.63 cores=0-31
/proc/20709/stat : 20709 (plingeling) S 20707 20709 20553 0 -1 4202496 1037903 1240 0 0 18181 582 0 0 21 0 33 0 668295214 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/20709/statm: 803186 708891 172 55 0 801072 0
[pid=20709/tid=20716] ppid=20707 vsize=3212744 CPUtime=5.29 cores=0-31
/proc/20709/task/20716/stat : 20716 (plingeling) R 20707 20709 20553 0 -1 4202560 14961 1240 0 0 518 11 0 0 25 0 33 0 668297232 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4276911 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20709/tid=20717] ppid=20707 vsize=3212744 CPUtime=5.27 cores=0-31
/proc/20709/task/20717/stat : 20717 (plingeling) R 20707 20709 20553 0 -1 4202560 14946 1240 0 0 517 10 0 0 25 0 33 0 668297232 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20709/tid=20718] ppid=20707 vsize=3212744 CPUtime=5.27 cores=0-31
/proc/20709/task/20718/stat : 20718 (plingeling) R 20707 20709 20553 0 -1 4202560 15198 1240 0 0 517 10 0 0 25 0 33 0 668297232 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4264403 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20709/tid=20719] ppid=20707 vsize=3212744 CPUtime=5.3 cores=0-31
/proc/20709/task/20719/stat : 20719 (plingeling) R 20707 20709 20553 0 -1 4202560 5295 1240 0 0 526 4 0 0 25 0 33 0 668297232 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20709/tid=20720] ppid=20707 vsize=3212744 CPUtime=5.25 cores=0-31
/proc/20709/task/20720/stat : 20720 (plingeling) R 20707 20709 20553 0 -1 4202560 8293 1240 0 0 515 10 0 0 25 0 33 0 668297233 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295187 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20709/tid=20721] ppid=20707 vsize=3212744 CPUtime=5.26 cores=0-31
/proc/20709/task/20721/stat : 20721 (plingeling) R 20707 20709 20553 0 -1 4202560 8226 1240 0 0 512 14 0 0 25 0 33 0 668297233 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20709/tid=20722] ppid=20707 vsize=3212744 CPUtime=5.25 cores=0-31
/proc/20709/task/20722/stat : 20722 (plingeling) R 20707 20709 20553 0 -1 4202560 20450 1240 0 0 507 18 0 0 25 0 33 0 668297233 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4256110 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20709/tid=20723] ppid=20707 vsize=3212744 CPUtime=5.26 cores=0-31
/proc/20709/task/20723/stat : 20723 (plingeling) R 20707 20709 20553 0 -1 4202560 14947 1240 0 0 514 12 0 0 25 0 33 0 668297233 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20709/tid=20724] ppid=20707 vsize=3212744 CPUtime=5.26 cores=0-31
/proc/20709/task/20724/stat : 20724 (plingeling) R 20707 20709 20553 0 -1 4202560 8224 1240 0 0 514 12 0 0 25 0 33 0 668297233 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20709/tid=20725] ppid=20707 vsize=3212744 CPUtime=5.25 cores=0-31
/proc/20709/task/20725/stat : 20725 (plingeling) R 20707 20709 20553 0 -1 4202560 21333 1240 0 0 508 17 0 0 25 0 33 0 668297233 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20709/tid=20726] ppid=20707 vsize=3212744 CPUtime=5.24 cores=0-31
/proc/20709/task/20726/stat : 20726 (plingeling) R 20707 20709 20553 0 -1 4202560 14708 1240 0 0 506 18 0 0 25 0 33 0 668297234 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4270966 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20709/tid=20727] ppid=20707 vsize=3212744 CPUtime=5.24 cores=0-31
/proc/20709/task/20727/stat : 20727 (plingeling) R 20707 20709 20553 0 -1 4202560 14943 1240 0 0 508 16 0 0 25 0 33 0 668297234 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20709/tid=20728] ppid=20707 vsize=3212744 CPUtime=5.25 cores=0-31
/proc/20709/task/20728/stat : 20728 (plingeling) R 20707 20709 20553 0 -1 4202560 8222 1240 0 0 513 12 0 0 25 0 33 0 668297234 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20709/tid=20729] ppid=20707 vsize=3212744 CPUtime=5.23 cores=0-31
/proc/20709/task/20729/stat : 20729 (plingeling) R 20707 20709 20553 0 -1 4202560 16596 1240 0 0 508 15 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4302131 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20709/tid=20730] ppid=20707 vsize=3212744 CPUtime=5.24 cores=0-31
/proc/20709/task/20730/stat : 20730 (plingeling) R 20707 20709 20553 0 -1 4202560 14628 1240 0 0 509 15 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20709/tid=20731] ppid=20707 vsize=3212744 CPUtime=5.11 cores=0-31
/proc/20709/task/20731/stat : 20731 (plingeling) R 20707 20709 20553 0 -1 4202560 11751 1240 0 0 503 8 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20709/tid=20732] ppid=20707 vsize=3212744 CPUtime=5.23 cores=0-31
/proc/20709/task/20732/stat : 20732 (plingeling) R 20707 20709 20553 0 -1 4202560 15552 1240 0 0 507 16 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20709/tid=20733] ppid=20707 vsize=3212744 CPUtime=5.23 cores=0-31
/proc/20709/task/20733/stat : 20733 (plingeling) R 20707 20709 20553 0 -1 4202560 14900 1240 0 0 508 15 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20709/tid=20734] ppid=20707 vsize=3212744 CPUtime=5.24 cores=0-31
/proc/20709/task/20734/stat : 20734 (plingeling) R 20707 20709 20553 0 -1 4202560 10321 1240 0 0 508 16 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4270989 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20709/tid=20735] ppid=20707 vsize=3212744 CPUtime=5.23 cores=0-31
/proc/20709/task/20735/stat : 20735 (plingeling) R 20707 20709 20553 0 -1 4202560 16622 1240 0 0 506 17 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20709/tid=20736] ppid=20707 vsize=3212744 CPUtime=5.22 cores=0-31
/proc/20709/task/20736/stat : 20736 (plingeling) R 20707 20709 20553 0 -1 4202560 14573 1240 0 0 506 16 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20709/tid=20737] ppid=20707 vsize=3212744 CPUtime=5.11 cores=0-31
/proc/20709/task/20737/stat : 20737 (plingeling) R 20707 20709 20553 0 -1 4202560 23082 1240 0 0 493 18 0 0 25 0 33 0 668297235 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295404 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20709/tid=20738] ppid=20707 vsize=3212744 CPUtime=5.21 cores=0-31
/proc/20709/task/20738/stat : 20738 (plingeling) R 20707 20709 20553 0 -1 4202560 8002 1240 0 0 507 14 0 0 25 0 33 0 668297237 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4266889 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20709/tid=20739] ppid=20707 vsize=3212744 CPUtime=5.21 cores=0-31
/proc/20709/task/20739/stat : 20739 (plingeling) R 20707 20709 20553 0 -1 4202560 14583 1240 0 0 506 15 0 0 25 0 33 0 668297238 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20709/tid=20740] ppid=20707 vsize=3212744 CPUtime=5.2 cores=0-31
/proc/20709/task/20740/stat : 20740 (plingeling) R 20707 20709 20553 0 -1 4202560 18161 1240 0 0 504 16 0 0 25 0 33 0 668297238 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20709/tid=20741] ppid=20707 vsize=3212744 CPUtime=5.19 cores=0-31
/proc/20709/task/20741/stat : 20741 (plingeling) R 20707 20709 20553 0 -1 4202560 14883 1240 0 0 502 17 0 0 25 0 33 0 668297238 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295500 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20709/tid=20742] ppid=20707 vsize=3212744 CPUtime=5.17 cores=0-31
/proc/20709/task/20742/stat : 20742 (plingeling) R 20707 20709 20553 0 -1 4202560 18715 1240 0 0 501 16 0 0 25 0 33 0 668297238 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4270927 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20709/tid=20743] ppid=20707 vsize=3212744 CPUtime=5.19 cores=0-31
/proc/20709/task/20743/stat : 20743 (plingeling) R 20707 20709 20553 0 -1 4202560 14947 1240 0 0 502 17 0 0 25 0 33 0 668297239 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20709/tid=20744] ppid=20707 vsize=3212744 CPUtime=5.15 cores=0-31
/proc/20709/task/20744/stat : 20744 (plingeling) R 20707 20709 20553 0 -1 4202560 19037 1240 0 0 503 12 0 0 25 0 33 0 668297239 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=20709/tid=20745] ppid=20707 vsize=3212744 CPUtime=5.19 cores=0-31
/proc/20709/task/20745/stat : 20745 (plingeling) R 20707 20709 20553 0 -1 4202560 15459 1240 0 0 501 18 0 0 25 0 33 0 668297239 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4295570 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20709/tid=20746] ppid=20707 vsize=3212744 CPUtime=5.19 cores=0-31
/proc/20709/task/20746/stat : 20746 (plingeling) R 20707 20709 20553 0 -1 4202560 15100 1240 0 0 503 16 0 0 25 0 33 0 668297239 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4275838 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20709/tid=20747] ppid=20707 vsize=3212744 CPUtime=5.2 cores=0-31
/proc/20709/task/20747/stat : 20747 (plingeling) R 20707 20709 20553 0 -1 4202560 19046 1240 0 0 505 15 0 0 25 0 33 0 668297239 3289849856 708891 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 187.63
Current children cumulated vsize (KiB) 3212744
[startup+51.1023 s]
/proc/loadavg: 18.63 16.27 20.66 33/446 20747
/proc/meminfo: memFree=252689300/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=3282444 CPUtime=1001.98 cores=0-31
/proc/20709/stat : 20709 (plingeling) S 20707 20709 20553 0 -1 4202496 1343460 1240 0 0 99380 818 0 0 21 0 33 0 668295214 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/20709/statm: 820611 705478 175 55 0 818497 0
[pid=20709/tid=20716] ppid=20707 vsize=3282444 CPUtime=30.39 cores=0-31
/proc/20709/task/20716/stat : 20716 (plingeling) R 20707 20709 20553 0 -1 4202560 32277 1240 0 0 2999 40 0 0 20 0 33 0 668297232 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4252971 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20709/tid=20717] ppid=20707 vsize=3282444 CPUtime=30.7 cores=0-31
/proc/20709/task/20717/stat : 20717 (plingeling) R 20707 20709 20553 0 -1 4202560 31739 1240 0 0 3055 15 0 0 25 0 33 0 668297232 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4240020 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20709/tid=20718] ppid=20707 vsize=3282444 CPUtime=30.83 cores=0-31
/proc/20709/task/20718/stat : 20718 (plingeling) R 20707 20709 20553 0 -1 4202560 15347 1240 0 0 3071 12 0 0 25 0 33 0 668297232 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20709/tid=20719] ppid=20707 vsize=3282444 CPUtime=30.88 cores=0-31
/proc/20709/task/20719/stat : 20719 (plingeling) R 20707 20709 20553 0 -1 4202560 8741 1240 0 0 3084 4 0 0 25 0 33 0 668297232 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236812 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20709/tid=20720] ppid=20707 vsize=3282444 CPUtime=30.68 cores=0-31
/proc/20709/task/20720/stat : 20720 (plingeling) R 20707 20709 20553 0 -1 4202560 34422 1240 0 0 3052 16 0 0 25 0 33 0 668297233 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4240332 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20709/tid=20721] ppid=20707 vsize=3282444 CPUtime=30.76 cores=0-31
/proc/20709/task/20721/stat : 20721 (plingeling) R 20707 20709 20553 0 -1 4202560 8636 1240 0 0 3061 15 0 0 25 0 33 0 668297233 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4240047 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20709/tid=20722] ppid=20707 vsize=3282444 CPUtime=30.7 cores=0-31
/proc/20709/task/20722/stat : 20722 (plingeling) R 20707 20709 20553 0 -1 4202560 22910 1240 0 0 3051 19 0 0 25 0 33 0 668297233 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20709/tid=20723] ppid=20707 vsize=3282444 CPUtime=30.71 cores=0-31
/proc/20709/task/20723/stat : 20723 (plingeling) R 20707 20709 20553 0 -1 4202560 24572 1240 0 0 3055 16 0 0 25 0 33 0 668297233 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4240020 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20709/tid=20724] ppid=20707 vsize=3282444 CPUtime=30.82 cores=0-31
/proc/20709/task/20724/stat : 20724 (plingeling) R 20707 20709 20553 0 -1 4202560 24548 1240 0 0 3041 41 0 0 25 0 33 0 668297233 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4253336 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20709/tid=20725] ppid=20707 vsize=3282444 CPUtime=30.66 cores=0-31
/proc/20709/task/20725/stat : 20725 (plingeling) R 20707 20709 20553 0 -1 4202560 25805 1240 0 0 3048 18 0 0 25 0 33 0 668297233 3361222656 705478 268435456000 4194304 4417452 140735699716896 18446744073709551615 4240037 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20709/tid=20726] ppid=20707 vsize=3282444 CPUtime=30.8 cores=0-31
################
# More data... #
################
[pid=20709/tid=20733] ppid=20707 vsize=4513108 CPUtime=4485.5 cores=0-31
/proc/20709/task/20733/stat : 20733 (plingeling) R 20707 20709 20553 0 -1 4202560 69662 1240 0 0 448498 52 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20709/tid=20734] ppid=20707 vsize=4513108 CPUtime=4511.99 cores=0-31
/proc/20709/task/20734/stat : 20734 (plingeling) R 20707 20709 20553 0 -1 4202560 61798 1240 0 0 451163 36 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20709/tid=20735] ppid=20707 vsize=4513108 CPUtime=4513 cores=0-31
/proc/20709/task/20735/stat : 20735 (plingeling) R 20707 20709 20553 0 -1 4202560 77261 1240 0 0 451242 58 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20709/tid=20736] ppid=20707 vsize=4513108 CPUtime=4513.06 cores=0-31
/proc/20709/task/20736/stat : 20736 (plingeling) R 20707 20709 20553 0 -1 4202560 58319 1240 0 0 451235 71 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20709/tid=20737] ppid=20707 vsize=4513108 CPUtime=4511.94 cores=0-31
/proc/20709/task/20737/stat : 20737 (plingeling) R 20707 20709 20553 0 -1 4202560 62904 1240 0 0 451139 55 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20709/tid=20738] ppid=20707 vsize=4513108 CPUtime=4508.7 cores=0-31
/proc/20709/task/20738/stat : 20738 (plingeling) R 20707 20709 20553 0 -1 4202560 76681 1240 0 0 450834 36 0 0 25 0 33 0 668297237 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20709/tid=20739] ppid=20707 vsize=4513108 CPUtime=4513.09 cores=0-31
/proc/20709/task/20739/stat : 20739 (plingeling) R 20707 20709 20553 0 -1 4202560 161096 1240 0 0 451235 74 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20709/tid=20740] ppid=20707 vsize=4513108 CPUtime=4513.03 cores=0-31
/proc/20709/task/20740/stat : 20740 (plingeling) R 20707 20709 20553 0 -1 4202560 48296 1240 0 0 451279 24 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20709/tid=20741] ppid=20707 vsize=4513108 CPUtime=4512.74 cores=0-31
/proc/20709/task/20741/stat : 20741 (plingeling) R 20707 20709 20553 0 -1 4202560 160733 1240 0 0 451197 77 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20709/tid=20742] ppid=20707 vsize=4513108 CPUtime=4437.88 cores=0-31
/proc/20709/task/20742/stat : 20742 (plingeling) R 20707 20709 20553 0 -1 4202560 68793 1240 0 0 443731 57 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281657 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20709/tid=20743] ppid=20707 vsize=4513108 CPUtime=4512.73 cores=0-31
/proc/20709/task/20743/stat : 20743 (plingeling) R 20707 20709 20553 0 -1 4202560 228464 1240 0 0 451159 114 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20709/tid=20744] ppid=20707 vsize=4513108 CPUtime=4510.18 cores=0-31
/proc/20709/task/20744/stat : 20744 (plingeling) R 20707 20709 20553 0 -1 4202560 68151 1240 0 0 450971 47 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20709/tid=20745] ppid=20707 vsize=4513108 CPUtime=4510.81 cores=0-31
/proc/20709/task/20745/stat : 20745 (plingeling) R 20707 20709 20553 0 -1 4202560 67172 1240 0 0 451007 74 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20709/tid=20746] ppid=20707 vsize=4513108 CPUtime=4512.96 cores=0-31
/proc/20709/task/20746/stat : 20746 (plingeling) R 20707 20709 20553 0 -1 4202560 61027 1240 0 0 451242 54 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20709/tid=20747] ppid=20707 vsize=4513108 CPUtime=4512.92 cores=0-31
/proc/20709/task/20747/stat : 20747 (plingeling) R 20707 20709 20553 0 -1 4202560 54713 1240 0 0 451267 25 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 144302
Current children cumulated vsize (KiB) 4513108
[startup+4535.9 s]
/proc/loadavg: 32.00 32.02 31.92 33/446 20888
/proc/meminfo: memFree=251500496/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=4513108 CPUtime=144353 cores=0-31
/proc/20709/stat : 20709 (plingeling) S 20707 20709 20553 0 -1 4202496 3262962 1240 0 0 14433409 1883 0 0 21 0 33 0 668295214 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/20709/statm: 1128277 1002687 175 55 0 1126163 0
[pid=20709/tid=20716] ppid=20707 vsize=4513108 CPUtime=4514.31 cores=0-31
/proc/20709/task/20716/stat : 20716 (plingeling) R 20707 20709 20553 0 -1 4202560 67115 1240 0 0 451361 70 0 0 25 0 33 0 668297232 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364480 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20709/tid=20717] ppid=20707 vsize=4513108 CPUtime=4514.16 cores=0-31
/proc/20709/task/20717/stat : 20717 (plingeling) R 20707 20709 20553 0 -1 4202560 79352 1240 0 0 451368 48 0 0 25 0 33 0 668297232 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=20709/tid=20718] ppid=20707 vsize=4513108 CPUtime=4514.75 cores=0-31
/proc/20709/task/20718/stat : 20718 (plingeling) R 20707 20709 20553 0 -1 4202560 59130 1240 0 0 451424 51 0 0 25 0 33 0 668297232 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364480 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=20709/tid=20719] ppid=20707 vsize=4513108 CPUtime=4514.83 cores=0-31
/proc/20709/task/20719/stat : 20719 (plingeling) R 20707 20709 20553 0 -1 4202560 21499 1240 0 0 451473 10 0 0 25 0 33 0 668297232 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20709/tid=20720] ppid=20707 vsize=4513108 CPUtime=4507.05 cores=0-31
/proc/20709/task/20720/stat : 20720 (plingeling) R 20707 20709 20553 0 -1 4202560 225887 1240 0 0 450618 87 0 0 25 0 33 0 668297233 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20709/tid=20721] ppid=20707 vsize=4513108 CPUtime=4514.55 cores=0-31
/proc/20709/task/20721/stat : 20721 (plingeling) R 20707 20709 20553 0 -1 4202560 40222 1240 0 0 451422 33 0 0 25 0 33 0 668297233 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20709/tid=20722] ppid=20707 vsize=4513108 CPUtime=4514.57 cores=0-31
/proc/20709/task/20722/stat : 20722 (plingeling) R 20707 20709 20553 0 -1 4202560 64217 1240 0 0 451424 33 0 0 25 0 33 0 668297233 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=20709/tid=20723] ppid=20707 vsize=4513108 CPUtime=4514.64 cores=0-31
/proc/20709/task/20723/stat : 20723 (plingeling) R 20707 20709 20553 0 -1 4202560 69392 1240 0 0 451435 29 0 0 25 0 33 0 668297233 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20709/tid=20724] ppid=20707 vsize=4513108 CPUtime=4514.76 cores=0-31
/proc/20709/task/20724/stat : 20724 (plingeling) R 20707 20709 20553 0 -1 4202560 51357 1240 0 0 451408 68 0 0 25 0 33 0 668297233 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20709/tid=20725] ppid=20707 vsize=4513108 CPUtime=4514.38 cores=0-31
/proc/20709/task/20725/stat : 20725 (plingeling) R 20707 20709 20553 0 -1 4202560 68422 1240 0 0 451389 49 0 0 25 0 33 0 668297233 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20709/tid=20726] ppid=20707 vsize=4513108 CPUtime=4514.61 cores=0-31
/proc/20709/task/20726/stat : 20726 (plingeling) R 20707 20709 20553 0 -1 4202560 48621 1240 0 0 451428 33 0 0 25 0 33 0 668297234 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=20709/tid=20727] ppid=20707 vsize=4513108 CPUtime=4514.71 cores=0-31
/proc/20709/task/20727/stat : 20727 (plingeling) R 20707 20709 20553 0 -1 4202560 87181 1240 0 0 451394 77 0 0 25 0 33 0 668297234 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20709/tid=20728] ppid=20707 vsize=4513108 CPUtime=4514.46 cores=0-31
/proc/20709/task/20728/stat : 20728 (plingeling) R 20707 20709 20553 0 -1 4202560 205777 1240 0 0 451365 81 0 0 25 0 33 0 668297234 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=20709/tid=20729] ppid=20707 vsize=4513108 CPUtime=4503.16 cores=0-31
/proc/20709/task/20729/stat : 20729 (plingeling) R 20707 20709 20553 0 -1 4202560 87763 1240 0 0 450237 79 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20709/tid=20730] ppid=20707 vsize=4513108 CPUtime=4514.73 cores=0-31
/proc/20709/task/20730/stat : 20730 (plingeling) R 20707 20709 20553 0 -1 4202560 56692 1240 0 0 451423 50 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20709/tid=20731] ppid=20707 vsize=4513108 CPUtime=4513.79 cores=0-31
/proc/20709/task/20731/stat : 20731 (plingeling) R 20707 20709 20553 0 -1 4202560 49296 1240 0 0 451324 55 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=20709/tid=20732] ppid=20707 vsize=4513108 CPUtime=4514.45 cores=0-31
/proc/20709/task/20732/stat : 20732 (plingeling) R 20707 20709 20553 0 -1 4202560 83770 1240 0 0 451396 49 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281957 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20709/tid=20733] ppid=20707 vsize=4513108 CPUtime=4487.06 cores=0-31
/proc/20709/task/20733/stat : 20733 (plingeling) R 20707 20709 20553 0 -1 4202560 69662 1240 0 0 448654 52 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20709/tid=20734] ppid=20707 vsize=4513108 CPUtime=4513.59 cores=0-31
/proc/20709/task/20734/stat : 20734 (plingeling) R 20707 20709 20553 0 -1 4202560 61798 1240 0 0 451323 36 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20709/tid=20735] ppid=20707 vsize=4513108 CPUtime=4514.6 cores=0-31
/proc/20709/task/20735/stat : 20735 (plingeling) R 20707 20709 20553 0 -1 4202560 77261 1240 0 0 451402 58 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364567 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20709/tid=20736] ppid=20707 vsize=4513108 CPUtime=4514.66 cores=0-31
/proc/20709/task/20736/stat : 20736 (plingeling) R 20707 20709 20553 0 -1 4202560 58319 1240 0 0 451395 71 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=20709/tid=20737] ppid=20707 vsize=4513108 CPUtime=4513.54 cores=0-31
/proc/20709/task/20737/stat : 20737 (plingeling) R 20707 20709 20553 0 -1 4202560 62904 1240 0 0 451299 55 0 0 25 0 33 0 668297235 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20709/tid=20738] ppid=20707 vsize=4513108 CPUtime=4510.3 cores=0-31
/proc/20709/task/20738/stat : 20738 (plingeling) R 20707 20709 20553 0 -1 4202560 76681 1240 0 0 450994 36 0 0 25 0 33 0 668297237 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=20709/tid=20739] ppid=20707 vsize=4513108 CPUtime=4514.69 cores=0-31
/proc/20709/task/20739/stat : 20739 (plingeling) R 20707 20709 20553 0 -1 4202560 161096 1240 0 0 451395 74 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=20709/tid=20740] ppid=20707 vsize=4513108 CPUtime=4514.63 cores=0-31
/proc/20709/task/20740/stat : 20740 (plingeling) R 20707 20709 20553 0 -1 4202560 48296 1240 0 0 451439 24 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=20709/tid=20741] ppid=20707 vsize=4513108 CPUtime=4514.34 cores=0-31
/proc/20709/task/20741/stat : 20741 (plingeling) R 20707 20709 20553 0 -1 4202560 160733 1240 0 0 451357 77 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=20709/tid=20742] ppid=20707 vsize=4513108 CPUtime=4439.48 cores=0-31
/proc/20709/task/20742/stat : 20742 (plingeling) R 20707 20709 20553 0 -1 4202560 68793 1240 0 0 443891 57 0 0 25 0 33 0 668297238 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265489 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20709/tid=20743] ppid=20707 vsize=4513108 CPUtime=4514.33 cores=0-31
/proc/20709/task/20743/stat : 20743 (plingeling) R 20707 20709 20553 0 -1 4202560 228464 1240 0 0 451319 114 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4237269 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=20709/tid=20744] ppid=20707 vsize=4513108 CPUtime=4511.78 cores=0-31
/proc/20709/task/20744/stat : 20744 (plingeling) R 20707 20709 20553 0 -1 4202560 68151 1240 0 0 451131 47 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20709/tid=20745] ppid=20707 vsize=4513108 CPUtime=4512.41 cores=0-31
/proc/20709/task/20745/stat : 20745 (plingeling) R 20707 20709 20553 0 -1 4202560 67172 1240 0 0 451167 74 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20709/tid=20746] ppid=20707 vsize=4513108 CPUtime=4514.56 cores=0-31
/proc/20709/task/20746/stat : 20746 (plingeling) R 20707 20709 20553 0 -1 4202560 61027 1240 0 0 451402 54 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=20709/tid=20747] ppid=20707 vsize=4513108 CPUtime=4514.52 cores=0-31
/proc/20709/task/20747/stat : 20747 (plingeling) R 20707 20709 20553 0 -1 4202560 54713 1240 0 0 451427 25 0 0 25 0 33 0 668297239 4621422592 1002687 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265399 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 144353
Current children cumulated vsize (KiB) 4513108
[startup+4536.7 s]
/proc/loadavg: 32.00 32.02 31.92 33/446 20888
/proc/meminfo: memFree=251500496/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=4513108 CPUtime=144378 cores=0-31
/proc/20709/stat : 20709 (plingeling) S 20707 20709 20553 0 -1 4202496 3262963 1240 0 0 14435945 1883 0 0 21 0 20 0 668295214 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/20709/statm: 1128277 1002688 176 55 0 1126163 0
[pid=20709/tid=20716] ppid=20707 vsize=4513108 CPUtime=4515.11 cores=0-31
/proc/20709/task/20716/stat : 20716 (plingeling) R 20707 20709 20553 0 -1 4202560 67115 1240 0 0 451441 70 0 0 25 0 20 0 668297232 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4358011 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=20709/tid=20719] ppid=20707 vsize=4513108 CPUtime=4515.63 cores=0-31
/proc/20709/task/20719/stat : 20719 (plingeling) R 20707 20709 20553 0 -1 4202560 21499 1240 0 0 451553 10 0 0 25 0 20 0 668297232 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=20709/tid=20720] ppid=20707 vsize=4513108 CPUtime=4507.85 cores=0-31
/proc/20709/task/20720/stat : 20720 (plingeling) R 20707 20709 20553 0 -1 4202560 225887 1240 0 0 450698 87 0 0 25 0 20 0 668297233 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=20709/tid=20721] ppid=20707 vsize=4513108 CPUtime=4515.35 cores=0-31
/proc/20709/task/20721/stat : 20721 (plingeling) R 20707 20709 20553 0 -1 4202560 40222 1240 0 0 451502 33 0 0 25 0 20 0 668297233 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=20709/tid=20723] ppid=20707 vsize=4513108 CPUtime=4515.44 cores=0-31
/proc/20709/task/20723/stat : 20723 (plingeling) R 20707 20709 20553 0 -1 4202560 69392 1240 0 0 451515 29 0 0 25 0 20 0 668297233 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=20709/tid=20724] ppid=20707 vsize=4513108 CPUtime=4515.56 cores=0-31
/proc/20709/task/20724/stat : 20724 (plingeling) R 20707 20709 20553 0 -1 4202560 51357 1240 0 0 451488 68 0 0 25 0 20 0 668297233 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=20709/tid=20725] ppid=20707 vsize=4513108 CPUtime=4515.18 cores=0-31
/proc/20709/task/20725/stat : 20725 (plingeling) R 20707 20709 20553 0 -1 4202560 68422 1240 0 0 451469 49 0 0 25 0 20 0 668297233 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=20709/tid=20727] ppid=20707 vsize=4513108 CPUtime=4515.51 cores=0-31
/proc/20709/task/20727/stat : 20727 (plingeling) R 20707 20709 20553 0 -1 4202560 87181 1240 0 0 451474 77 0 0 25 0 20 0 668297234 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=20709/tid=20729] ppid=20707 vsize=4513108 CPUtime=4503.96 cores=0-31
/proc/20709/task/20729/stat : 20729 (plingeling) R 20707 20709 20553 0 -1 4202560 87763 1240 0 0 450317 79 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=20709/tid=20730] ppid=20707 vsize=4513108 CPUtime=4515.53 cores=0-31
/proc/20709/task/20730/stat : 20730 (plingeling) R 20707 20709 20553 0 -1 4202560 56692 1240 0 0 451503 50 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=20709/tid=20732] ppid=20707 vsize=4513108 CPUtime=4515.25 cores=0-31
/proc/20709/task/20732/stat : 20732 (plingeling) R 20707 20709 20553 0 -1 4202560 83770 1240 0 0 451476 49 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=20709/tid=20733] ppid=20707 vsize=4513108 CPUtime=4487.84 cores=0-31
/proc/20709/task/20733/stat : 20733 (plingeling) R 20707 20709 20553 0 -1 4202560 69662 1240 0 0 448732 52 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=20709/tid=20734] ppid=20707 vsize=4513108 CPUtime=4514.39 cores=0-31
/proc/20709/task/20734/stat : 20734 (plingeling) R 20707 20709 20553 0 -1 4202560 61798 1240 0 0 451403 36 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 18446744073699065920 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=20709/tid=20735] ppid=20707 vsize=4513108 CPUtime=4515.4 cores=0-31
/proc/20709/task/20735/stat : 20735 (plingeling) R 20707 20709 20553 0 -1 4202560 77261 1240 0 0 451482 58 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=20709/tid=20737] ppid=20707 vsize=4513108 CPUtime=4514.34 cores=0-31
/proc/20709/task/20737/stat : 20737 (plingeling) R 20707 20709 20553 0 -1 4202560 62904 1240 0 0 451379 55 0 0 25 0 20 0 668297235 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4281949 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=20709/tid=20742] ppid=20707 vsize=4513108 CPUtime=4440.28 cores=0-31
/proc/20709/task/20742/stat : 20742 (plingeling) R 20707 20709 20553 0 -1 4202560 68793 1240 0 0 443971 57 0 0 25 0 20 0 668297238 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=20709/tid=20744] ppid=20707 vsize=4513108 CPUtime=4512.58 cores=0-31
/proc/20709/task/20744/stat : 20744 (plingeling) R 20707 20709 20553 0 -1 4202560 68151 1240 0 0 451211 47 0 0 25 0 20 0 668297239 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=20709/tid=20745] ppid=20707 vsize=4513108 CPUtime=4513.21 cores=0-31
/proc/20709/task/20745/stat : 20745 (plingeling) R 20707 20709 20553 0 -1 4202560 67172 1240 0 0 451247 74 0 0 25 0 20 0 668297239 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=20709/tid=20747] ppid=20707 vsize=4513108 CPUtime=4515.32 cores=0-31
/proc/20709/task/20747/stat : 20747 (plingeling) R 20707 20709 20553 0 -1 4202560 54713 1240 0 0 451507 25 0 0 25 0 20 0 668297239 4621422592 1002688 268435456000 4194304 4417452 140735699716896 18446744073709551615 4275894 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 144378
Current children cumulated vsize (KiB) 4513108
[startup+4536.9 s]
/proc/loadavg: 32.00 32.02 31.92 33/446 20888
/proc/meminfo: memFree=251500496/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=2278856 CPUtime=144379 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202496 3262963 1240 0 0 14435986 1899 0 0 17 0 1 0 668295214 2333548544 506891 268435456000 4194304 4417452 140735699716896 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 26 0 0 0
/proc/20709/statm: 569714 506891 176 55 0 567600 0
Current children cumulated CPU time (s) 144379
Current children cumulated vsize (KiB) 2278856
[startup+4537 s]
/proc/loadavg: 32.00 32.02 31.92 33/446 20888
/proc/meminfo: memFree=251500496/264257624 swapFree=67111528/67111528
[pid=20709] ppid=20707 vsize=0 CPUtime=144379 cores=0-31
/proc/20709/stat : 20709 (plingeling) R 20707 20709 20553 0 -1 4202500 3262967 1240 0 0 14435986 1909 0 0 17 0 1 0 668295214 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 26 0 0 0
/proc/20709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 144379
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4537.09
CPU time (s): 144379
CPU user time (s): 144360
CPU system time (s): 19.1831
CPU usage (%): 3182.2
Max. virtual memory (cumulated for all children) (KiB): 5053256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144360
system time used= 19.1831
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3264207
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= 4683
involuntary context switches= 366906
runsolver used 25.3122 second user time and 104.162 second system time
The end
Begin job on node200 at 2011-05-16 19:48:08
IDJOB=3372390
IDBENCH=82354
IDSOLVER=1852
FILE ID=node200/3372390-1305568087
RUNJOBID= node200-1305568046-20567
PBS_JOBID= 13285552
Free space on /tmp= 62032 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/AProVE11/AProVE11-06.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372390-1305568087/watcher-3372390-1305568087 -o /tmp/evaluation-result-3372390-1305568087/solver-3372390-1305568087 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372390-1305568087.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 6fd7d026c372988cefc364000243d13f
RANDOM SEED=1174106391
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: 255497572 kB
Buffers: 445876 kB
Cached: 7889828 kB
SwapCached: 0 kB
Active: 7411296 kB
Inactive: 993600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255497572 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 21036 kB
Writeback: 0 kB
AnonPages: 69064 kB
Mapped: 14560 kB
Slab: 252488 kB
PageTables: 4684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 194568 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= 62028 MiB
End job on node200 at 2011-05-16 21:03:45