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-3372933-1306144933/watcher-3372933-1306144933 -o /tmp/evaluation-result-3372933-1306144933/solver-3372933-1306144933 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372933-1306144933.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: 31.27 30.86 31.52 1/413 931
/proc/meminfo: memFree=255329968/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=10464 CPUtime=0 cores=0-31
/proc/931/stat : 931 (plingeling) R 929 931 726 0 -1 4202496 656 1250 0 0 0 0 0 0 24 0 1 0 725979709 10715136 587 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/931/statm: 2616 600 138 55 0 502 0
[startup+0.0200791 s]
/proc/loadavg: 31.27 30.86 31.52 1/413 931
/proc/meminfo: memFree=255329968/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=19612 CPUtime=0 cores=0-31
/proc/931/stat : 931 (plingeling) R 929 931 726 0 -1 4202496 2961 1250 0 0 0 0 0 0 24 0 1 0 725979709 20082688 2892 268435456000 4194304 4417452 140735009766416 18446744073709551615 4232654 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/931/statm: 4903 2908 146 55 0 2789 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 19612
[startup+0.101076 s]
/proc/loadavg: 31.27 30.86 31.52 1/413 931
/proc/meminfo: memFree=255329968/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=34352 CPUtime=0.09 cores=0-31
/proc/931/stat : 931 (plingeling) R 929 931 726 0 -1 4202496 6678 1250 0 0 8 1 0 0 24 0 1 0 725979709 35176448 6609 268435456000 4194304 4417452 140735009766416 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/931/statm: 8588 6609 146 55 0 6474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34352
[startup+0.301093 s]
/proc/loadavg: 31.27 30.86 31.52 1/413 931
/proc/meminfo: memFree=255329968/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=40852 CPUtime=0.29 cores=0-31
/proc/931/stat : 931 (plingeling) R 929 931 726 0 -1 4202496 8303 1250 0 0 28 1 0 0 25 0 1 0 725979709 41832448 8234 268435456000 4194304 4417452 140735009766416 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/931/statm: 10213 8234 146 55 0 8099 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40852
[startup+0.701103 s]
/proc/loadavg: 31.27 30.86 31.52 1/413 931
/proc/meminfo: memFree=255329968/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=64340 CPUtime=0.69 cores=0-31
/proc/931/stat : 931 (plingeling) R 929 931 726 0 -1 4202496 14175 1250 0 0 66 3 0 0 25 0 1 0 725979709 65884160 14106 268435456000 4194304 4417452 140735009766416 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/931/statm: 16085 14106 146 55 0 13971 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64340
[startup+1.50307 s]
/proc/loadavg: 28.85 30.36 31.35 33/446 969
/proc/meminfo: memFree=255266684/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=666800 CPUtime=21.73 cores=0-31
/proc/931/stat : 931 (plingeling) S 929 931 726 0 -1 4202496 34806 1250 0 0 2153 20 0 0 18 0 33 0 725979709 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/931/statm: 166700 17314 170 55 0 164586 0
[pid=931/tid=938] ppid=929 vsize=666800 CPUtime=0.68 cores=0-31
/proc/931/task/938/stat : 938 (plingeling) R 929 931 726 0 -1 4202560 393 1250 0 0 68 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4276065 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=931/tid=939] ppid=929 vsize=666800 CPUtime=0.69 cores=0-31
/proc/931/task/939/stat : 939 (plingeling) R 929 931 726 0 -1 4202560 743 1250 0 0 69 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275978 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=931/tid=940] ppid=929 vsize=666800 CPUtime=0.68 cores=0-31
/proc/931/task/940/stat : 940 (plingeling) R 929 931 726 0 -1 4202560 416 1250 0 0 68 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4277618 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=931/tid=941] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/941/stat : 941 (plingeling) R 929 931 726 0 -1 4202560 538 1250 0 0 66 0 0 0 20 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4232609 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=931/tid=942] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/942/stat : 942 (plingeling) D 929 931 726 0 -1 4202560 484 1250 0 0 63 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=931/tid=943] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/943/stat : 943 (plingeling) D 929 931 726 0 -1 4202560 644 1250 0 0 63 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=931/tid=944] ppid=929 vsize=666800 CPUtime=0.65 cores=0-31
/proc/931/task/944/stat : 944 (plingeling) R 929 931 726 0 -1 4202560 508 1250 0 0 65 0 0 0 20 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275856 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=931/tid=945] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/945/stat : 945 (plingeling) D 929 931 726 0 -1 4202560 1125 1250 0 0 63 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=931/tid=946] ppid=929 vsize=666800 CPUtime=0.61 cores=0-31
/proc/931/task/946/stat : 946 (plingeling) D 929 931 726 0 -1 4202560 880 1250 0 0 61 0 0 0 20 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=931/tid=947] ppid=929 vsize=666800 CPUtime=0.67 cores=0-31
/proc/931/task/947/stat : 947 (plingeling) R 929 931 726 0 -1 4202560 523 1250 0 0 67 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275860 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=931/tid=948] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/948/stat : 948 (plingeling) R 929 931 726 0 -1 4202560 978 1250 0 0 66 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4276016 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=931/tid=949] ppid=929 vsize=666800 CPUtime=0.64 cores=0-31
/proc/931/task/949/stat : 949 (plingeling) D 929 931 726 0 -1 4202560 539 1250 0 0 64 0 0 0 18 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=931/tid=950] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/950/stat : 950 (plingeling) D 929 931 726 0 -1 4202560 383 1250 0 0 63 0 0 0 21 0 33 0 725979787 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=931/tid=951] ppid=929 vsize=666800 CPUtime=0.61 cores=0-31
/proc/931/task/951/stat : 951 (plingeling) R 929 931 726 0 -1 4202560 904 1250 0 0 61 0 0 0 21 0 33 0 725979788 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4293083 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=931/tid=952] ppid=929 vsize=666800 CPUtime=0.65 cores=0-31
/proc/931/task/952/stat : 952 (plingeling) D 929 931 726 0 -1 4202560 1091 1250 0 0 65 0 0 0 20 0 33 0 725979788 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=931/tid=953] ppid=929 vsize=666800 CPUtime=0.62 cores=0-31
/proc/931/task/953/stat : 953 (plingeling) D 929 931 726 0 -1 4202560 925 1250 0 0 62 0 0 0 20 0 33 0 725979788 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=931/tid=954] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/954/stat : 954 (plingeling) R 929 931 726 0 -1 4202560 721 1250 0 0 66 0 0 0 20 0 33 0 725979788 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=931/tid=955] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/955/stat : 955 (plingeling) D 929 931 726 0 -1 4202560 317 1250 0 0 63 0 0 0 20 0 33 0 725979788 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=931/tid=956] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/956/stat : 956 (plingeling) R 929 931 726 0 -1 4202560 871 1250 0 0 66 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275960 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=931/tid=957] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/957/stat : 957 (plingeling) R 929 931 726 0 -1 4202560 526 1250 0 0 66 0 0 0 18 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=931/tid=958] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/958/stat : 958 (plingeling) D 929 931 726 0 -1 4202560 230 1250 0 0 63 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=931/tid=959] ppid=929 vsize=666800 CPUtime=0.64 cores=0-31
/proc/931/task/959/stat : 959 (plingeling) D 929 931 726 0 -1 4202560 1124 1250 0 0 64 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=931/tid=960] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/960/stat : 960 (plingeling) R 929 931 726 0 -1 4202560 723 1250 0 0 66 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275777 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=931/tid=961] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/961/stat : 961 (plingeling) D 929 931 726 0 -1 4202560 558 1250 0 0 63 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=931/tid=962] ppid=929 vsize=666800 CPUtime=0.64 cores=0-31
/proc/931/task/962/stat : 962 (plingeling) D 929 931 726 0 -1 4202560 649 1250 0 0 64 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=931/tid=963] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/963/stat : 963 (plingeling) D 929 931 726 0 -1 4202560 437 1250 0 0 63 0 0 0 20 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=931/tid=964] ppid=929 vsize=666800 CPUtime=0.66 cores=0-31
/proc/931/task/964/stat : 964 (plingeling) D 929 931 726 0 -1 4202560 458 1250 0 0 66 0 0 0 18 0 33 0 725979789 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=931/tid=965] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/965/stat : 965 (plingeling) D 929 931 726 0 -1 4202560 291 1250 0 0 63 0 0 0 20 0 33 0 725979790 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=931/tid=966] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/966/stat : 966 (plingeling) D 929 931 726 0 -1 4202560 435 1250 0 0 63 0 0 0 20 0 33 0 725979790 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=931/tid=967] ppid=929 vsize=666800 CPUtime=0.64 cores=0-31
/proc/931/task/967/stat : 967 (plingeling) D 929 931 726 0 -1 4202560 493 1250 0 0 64 0 0 0 20 0 33 0 725979790 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=931/tid=968] ppid=929 vsize=666800 CPUtime=0.65 cores=0-31
/proc/931/task/968/stat : 968 (plingeling) R 929 931 726 0 -1 4202560 1240 1250 0 0 65 0 0 0 20 0 33 0 725979790 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=931/tid=969] ppid=929 vsize=666800 CPUtime=0.63 cores=0-31
/proc/931/task/969/stat : 969 (plingeling) D 929 931 726 0 -1 4202560 444 1250 0 0 63 0 0 0 21 0 33 0 725979790 682803200 17314 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 10 0 0 0
Current children cumulated CPU time (s) 21.73
Current children cumulated vsize (KiB) 666800
[startup+3.10205 s]
/proc/loadavg: 28.85 30.36 31.35 33/446 969
/proc/meminfo: memFree=255198732/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=755636 CPUtime=70.58 cores=0-31
/proc/931/stat : 931 (plingeling) S 929 931 726 0 -1 4202496 79284 1250 0 0 6982 76 0 0 18 0 33 0 725979709 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/931/statm: 188909 42686 175 55 0 186795 0
[pid=931/tid=938] ppid=929 vsize=755636 CPUtime=2.19 cores=0-31
/proc/931/task/938/stat : 938 (plingeling) R 929 931 726 0 -1 4202560 2024 1250 0 0 217 2 0 0 20 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=931/tid=939] ppid=929 vsize=755636 CPUtime=2.19 cores=0-31
/proc/931/task/939/stat : 939 (plingeling) R 929 931 726 0 -1 4202560 2022 1250 0 0 219 0 0 0 20 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=931/tid=940] ppid=929 vsize=755636 CPUtime=2.27 cores=0-31
/proc/931/task/940/stat : 940 (plingeling) R 929 931 726 0 -1 4202560 1163 1250 0 0 227 0 0 0 21 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365946 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=931/tid=941] ppid=929 vsize=755636 CPUtime=2.18 cores=0-31
/proc/931/task/941/stat : 941 (plingeling) R 929 931 726 0 -1 4202560 1126 1250 0 0 217 1 0 0 25 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364399 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=931/tid=942] ppid=929 vsize=755636 CPUtime=2.12 cores=0-31
/proc/931/task/942/stat : 942 (plingeling) R 929 931 726 0 -1 4202560 2790 1250 0 0 209 3 0 0 19 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=931/tid=943] ppid=929 vsize=755636 CPUtime=2.15 cores=0-31
/proc/931/task/943/stat : 943 (plingeling) R 929 931 726 0 -1 4202560 2719 1250 0 0 212 3 0 0 20 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=931/tid=944] ppid=929 vsize=755636 CPUtime=2.2 cores=0-31
/proc/931/task/944/stat : 944 (plingeling) R 929 931 726 0 -1 4202560 1181 1250 0 0 220 0 0 0 25 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=931/tid=945] ppid=929 vsize=755636 CPUtime=2.22 cores=0-31
/proc/931/task/945/stat : 945 (plingeling) R 929 931 726 0 -1 4202560 2976 1250 0 0 220 2 0 0 20 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=931/tid=946] ppid=929 vsize=755636 CPUtime=2.11 cores=0-31
/proc/931/task/946/stat : 946 (plingeling) R 929 931 726 0 -1 4202560 3415 1250 0 0 209 2 0 0 18 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=931/tid=947] ppid=929 vsize=755636 CPUtime=2.19 cores=0-31
/proc/931/task/947/stat : 947 (plingeling) R 929 931 726 0 -1 4202560 2320 1250 0 0 217 2 0 0 18 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4236121 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=931/tid=948] ppid=929 vsize=755636 CPUtime=2.18 cores=0-31
/proc/931/task/948/stat : 948 (plingeling) R 929 931 726 0 -1 4202560 1775 1250 0 0 217 1 0 0 18 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=931/tid=949] ppid=929 vsize=755636 CPUtime=2.21 cores=0-31
/proc/931/task/949/stat : 949 (plingeling) R 929 931 726 0 -1 4202560 1382 1250 0 0 220 1 0 0 18 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346404 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=931/tid=950] ppid=929 vsize=755636 CPUtime=2.18 cores=0-31
/proc/931/task/950/stat : 950 (plingeling) R 929 931 726 0 -1 4202560 1841 1250 0 0 216 2 0 0 19 0 33 0 725979787 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4255584 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=931/tid=951] ppid=929 vsize=755636 CPUtime=2.13 cores=0-31
/proc/931/task/951/stat : 951 (plingeling) R 929 931 726 0 -1 4202560 2415 1250 0 0 211 2 0 0 19 0 33 0 725979788 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=931/tid=952] ppid=929 vsize=755636 CPUtime=2.14 cores=0-31
/proc/931/task/952/stat : 952 (plingeling) R 929 931 726 0 -1 4202560 1912 1250 0 0 213 1 0 0 18 0 33 0 725979788 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=931/tid=953] ppid=929 vsize=755636 CPUtime=2.19 cores=0-31
/proc/931/task/953/stat : 953 (plingeling) R 929 931 726 0 -1 4202560 1785 1250 0 0 217 2 0 0 25 0 33 0 725979788 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346249 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=931/tid=954] ppid=929 vsize=755636 CPUtime=2.24 cores=0-31
/proc/931/task/954/stat : 954 (plingeling) R 929 931 726 0 -1 4202560 2614 1250 0 0 222 2 0 0 25 0 33 0 725979788 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4258646 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=931/tid=955] ppid=929 vsize=755636 CPUtime=2.06 cores=0-31
/proc/931/task/955/stat : 955 (plingeling) R 929 931 726 0 -1 4202560 1522 1250 0 0 204 2 0 0 23 0 33 0 725979788 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=931/tid=956] ppid=929 vsize=755636 CPUtime=2.09 cores=0-31
/proc/931/task/956/stat : 956 (plingeling) R 929 931 726 0 -1 4202560 1481 1250 0 0 208 1 0 0 24 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4247709 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=931/tid=957] ppid=929 vsize=755636 CPUtime=2.22 cores=0-31
/proc/931/task/957/stat : 957 (plingeling) R 929 931 726 0 -1 4202560 2485 1250 0 0 220 2 0 0 21 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4248248 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=931/tid=958] ppid=929 vsize=755636 CPUtime=2.21 cores=0-31
/proc/931/task/958/stat : 958 (plingeling) R 929 931 726 0 -1 4202560 2164 1250 0 0 219 2 0 0 25 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4259186 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=931/tid=959] ppid=929 vsize=755636 CPUtime=2.18 cores=0-31
/proc/931/task/959/stat : 959 (plingeling) R 929 931 726 0 -1 4202560 2630 1250 0 0 216 2 0 0 25 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=931/tid=960] ppid=929 vsize=755636 CPUtime=2.11 cores=0-31
/proc/931/task/960/stat : 960 (plingeling) R 929 931 726 0 -1 4202560 1826 1250 0 0 210 1 0 0 18 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346477 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=931/tid=961] ppid=929 vsize=755636 CPUtime=2.2 cores=0-31
/proc/931/task/961/stat : 961 (plingeling) R 929 931 726 0 -1 4202560 1934 1250 0 0 218 2 0 0 18 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346428 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=931/tid=962] ppid=929 vsize=755636 CPUtime=2.15 cores=0-31
/proc/931/task/962/stat : 962 (plingeling) R 929 931 726 0 -1 4202560 2898 1250 0 0 213 2 0 0 25 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4346458 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=931/tid=963] ppid=929 vsize=755636 CPUtime=2.12 cores=0-31
/proc/931/task/963/stat : 963 (plingeling) R 929 931 726 0 -1 4202560 2081 1250 0 0 209 3 0 0 23 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4234287 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=931/tid=964] ppid=929 vsize=755636 CPUtime=2.24 cores=0-31
/proc/931/task/964/stat : 964 (plingeling) R 929 931 726 0 -1 4202560 1155 1250 0 0 223 1 0 0 21 0 33 0 725979789 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=931/tid=965] ppid=929 vsize=755636 CPUtime=2.21 cores=0-31
/proc/931/task/965/stat : 965 (plingeling) R 929 931 726 0 -1 4202560 2582 1250 0 0 218 3 0 0 25 0 33 0 725979790 773771264 42686 268435456000 4194304 4417452 140735009766416 18446744073709551615 4259609 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=931/tid=966] ppid=929 vsize=755636 CPUtime=2.14 cores=0-31
################
# More data... #
################
/proc/931/task/963/stat : 963 (plingeling) R 929 931 726 0 -1 4202560 4898 1250 0 0 4206 4 0 0 25 0 33 0 725979789 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=931/tid=964] ppid=929 vsize=965920 CPUtime=42.23 cores=0-31
/proc/931/task/964/stat : 964 (plingeling) R 929 931 726 0 -1 4202560 6192 1250 0 0 4218 5 0 0 25 0 33 0 725979789 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364576 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=931/tid=965] ppid=929 vsize=965920 CPUtime=42.18 cores=0-31
/proc/931/task/965/stat : 965 (plingeling) R 929 931 726 0 -1 4202560 9019 1250 0 0 4212 6 0 0 25 0 33 0 725979790 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364508 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=931/tid=966] ppid=929 vsize=965920 CPUtime=42.13 cores=0-31
/proc/931/task/966/stat : 966 (plingeling) R 929 931 726 0 -1 4202560 4710 1250 0 0 4210 3 0 0 25 0 33 0 725979790 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4353559 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=931/tid=967] ppid=929 vsize=965920 CPUtime=42.13 cores=0-31
/proc/931/task/967/stat : 967 (plingeling) R 929 931 726 0 -1 4202560 4875 1250 0 0 4210 3 0 0 25 0 33 0 725979790 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=931/tid=968] ppid=929 vsize=965920 CPUtime=42.06 cores=0-31
/proc/931/task/968/stat : 968 (plingeling) R 929 931 726 0 -1 4202560 9164 1250 0 0 4200 6 0 0 25 0 33 0 725979790 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=931/tid=969] ppid=929 vsize=965920 CPUtime=41.25 cores=0-31
/proc/931/task/969/stat : 969 (plingeling) R 929 931 726 0 -1 4202560 4968 1250 0 0 4123 2 0 0 25 0 33 0 725979790 989102080 96344 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1348.86
Current children cumulated vsize (KiB) 965920
[startup+43.5015 s]
/proc/loadavg: 30.46 30.58 31.38 33/446 971
/proc/meminfo: memFree=254944696/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=963180 CPUtime=1361.62 cores=0-31
/proc/931/stat : 931 (plingeling) S 929 931 726 0 -1 4202496 227872 1250 0 0 135995 167 0 0 18 0 33 0 725979709 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/931/statm: 240795 95659 175 55 0 238681 0
[pid=931/tid=938] ppid=929 vsize=963180 CPUtime=42.57 cores=0-31
/proc/931/task/938/stat : 938 (plingeling) R 929 931 726 0 -1 4202560 6623 1250 0 0 4252 5 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=931/tid=939] ppid=929 vsize=963180 CPUtime=42.59 cores=0-31
/proc/931/task/939/stat : 939 (plingeling) R 929 931 726 0 -1 4202560 3333 1250 0 0 4258 1 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=931/tid=940] ppid=929 vsize=963180 CPUtime=42.64 cores=0-31
/proc/931/task/940/stat : 940 (plingeling) R 929 931 726 0 -1 4202560 6461 1250 0 0 4258 6 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=931/tid=941] ppid=929 vsize=963180 CPUtime=42.57 cores=0-31
/proc/931/task/941/stat : 941 (plingeling) R 929 931 726 0 -1 4202560 21895 1250 0 0 4244 13 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=931/tid=942] ppid=929 vsize=963180 CPUtime=42.51 cores=0-31
/proc/931/task/942/stat : 942 (plingeling) R 929 931 726 0 -1 4202560 6801 1250 0 0 4245 6 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=931/tid=943] ppid=929 vsize=963180 CPUtime=42.54 cores=0-31
/proc/931/task/943/stat : 943 (plingeling) R 929 931 726 0 -1 4202560 3614 1250 0 0 4249 5 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=931/tid=944] ppid=929 vsize=963180 CPUtime=42.58 cores=0-31
/proc/931/task/944/stat : 944 (plingeling) R 929 931 726 0 -1 4202560 6779 1250 0 0 4252 6 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=931/tid=945] ppid=929 vsize=963180 CPUtime=42.61 cores=0-31
/proc/931/task/945/stat : 945 (plingeling) R 929 931 726 0 -1 4202560 12697 1250 0 0 4255 6 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=931/tid=946] ppid=929 vsize=963180 CPUtime=42.49 cores=0-31
/proc/931/task/946/stat : 946 (plingeling) R 929 931 726 0 -1 4202560 7317 1250 0 0 4246 3 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=931/tid=947] ppid=929 vsize=963180 CPUtime=42.58 cores=0-31
/proc/931/task/947/stat : 947 (plingeling) R 929 931 726 0 -1 4202560 6061 1250 0 0 4254 4 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=931/tid=948] ppid=929 vsize=963180 CPUtime=42.56 cores=0-31
/proc/931/task/948/stat : 948 (plingeling) R 929 931 726 0 -1 4202560 6982 1250 0 0 4247 9 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=931/tid=949] ppid=929 vsize=963180 CPUtime=42.59 cores=0-31
/proc/931/task/949/stat : 949 (plingeling) R 929 931 726 0 -1 4202560 3134 1250 0 0 4257 2 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=931/tid=950] ppid=929 vsize=963180 CPUtime=42.56 cores=0-31
/proc/931/task/950/stat : 950 (plingeling) R 929 931 726 0 -1 4202560 4086 1250 0 0 4252 4 0 0 25 0 33 0 725979787 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=931/tid=951] ppid=929 vsize=963180 CPUtime=42.51 cores=0-31
/proc/931/task/951/stat : 951 (plingeling) R 929 931 726 0 -1 4202560 4306 1250 0 0 4247 4 0 0 25 0 33 0 725979788 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=931/tid=952] ppid=929 vsize=963180 CPUtime=42.52 cores=0-31
/proc/931/task/952/stat : 952 (plingeling) R 929 931 726 0 -1 4202560 11378 1250 0 0 4245 7 0 0 25 0 33 0 725979788 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4250907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=931/tid=953] ppid=929 vsize=963180 CPUtime=42.58 cores=0-31
/proc/931/task/953/stat : 953 (plingeling) R 929 931 726 0 -1 4202560 6174 1250 0 0 4255 3 0 0 25 0 33 0 725979788 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4357970 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=931/tid=954] ppid=929 vsize=963180 CPUtime=42.62 cores=0-31
/proc/931/task/954/stat : 954 (plingeling) R 929 931 726 0 -1 4202560 7057 1250 0 0 4258 4 0 0 25 0 33 0 725979788 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=931/tid=955] ppid=929 vsize=963180 CPUtime=42.21 cores=0-31
/proc/931/task/955/stat : 955 (plingeling) R 929 931 726 0 -1 4202560 3966 1250 0 0 4218 3 0 0 25 0 33 0 725979788 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=931/tid=956] ppid=929 vsize=963180 CPUtime=42.45 cores=0-31
/proc/931/task/956/stat : 956 (plingeling) R 929 931 726 0 -1 4202560 4642 1250 0 0 4239 6 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=931/tid=957] ppid=929 vsize=963180 CPUtime=42.61 cores=0-31
/proc/931/task/957/stat : 957 (plingeling) R 929 931 726 0 -1 4202560 6310 1250 0 0 4256 5 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=931/tid=958] ppid=929 vsize=963180 CPUtime=42.6 cores=0-31
/proc/931/task/958/stat : 958 (plingeling) R 929 931 726 0 -1 4202560 4648 1250 0 0 4256 4 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=931/tid=959] ppid=929 vsize=963180 CPUtime=42.57 cores=0-31
/proc/931/task/959/stat : 959 (plingeling) R 929 931 726 0 -1 4202560 6303 1250 0 0 4254 3 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=931/tid=960] ppid=929 vsize=963180 CPUtime=42.49 cores=0-31
/proc/931/task/960/stat : 960 (plingeling) R 929 931 726 0 -1 4202560 5645 1250 0 0 4246 3 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365111 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=931/tid=961] ppid=929 vsize=963180 CPUtime=42.59 cores=0-31
/proc/931/task/961/stat : 961 (plingeling) R 929 931 726 0 -1 4202560 5149 1250 0 0 4256 3 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4366043 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=931/tid=962] ppid=929 vsize=963180 CPUtime=42.53 cores=0-31
/proc/931/task/962/stat : 962 (plingeling) R 929 931 726 0 -1 4202560 8451 1250 0 0 4249 4 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=931/tid=963] ppid=929 vsize=963180 CPUtime=42.5 cores=0-31
/proc/931/task/963/stat : 963 (plingeling) R 929 931 726 0 -1 4202560 4898 1250 0 0 4246 4 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4353561 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=931/tid=964] ppid=929 vsize=963180 CPUtime=42.63 cores=0-31
/proc/931/task/964/stat : 964 (plingeling) R 929 931 726 0 -1 4202560 6192 1250 0 0 4258 5 0 0 25 0 33 0 725979789 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=931/tid=965] ppid=929 vsize=963180 CPUtime=42.58 cores=0-31
/proc/931/task/965/stat : 965 (plingeling) R 929 931 726 0 -1 4202560 9019 1250 0 0 4252 6 0 0 25 0 33 0 725979790 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=931/tid=966] ppid=929 vsize=963180 CPUtime=42.53 cores=0-31
/proc/931/task/966/stat : 966 (plingeling) R 929 931 726 0 -1 4202560 4710 1250 0 0 4250 3 0 0 25 0 33 0 725979790 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=931/tid=967] ppid=929 vsize=963180 CPUtime=42.53 cores=0-31
/proc/931/task/967/stat : 967 (plingeling) R 929 931 726 0 -1 4202560 4894 1250 0 0 4250 3 0 0 25 0 33 0 725979790 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=931/tid=968] ppid=929 vsize=963180 CPUtime=42.46 cores=0-31
/proc/931/task/968/stat : 968 (plingeling) R 929 931 726 0 -1 4202560 9164 1250 0 0 4240 6 0 0 25 0 33 0 725979790 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=931/tid=969] ppid=929 vsize=963180 CPUtime=41.65 cores=0-31
/proc/931/task/969/stat : 969 (plingeling) R 929 931 726 0 -1 4202560 4968 1250 0 0 4163 2 0 0 25 0 33 0 725979790 986296320 95659 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 963180
[startup+43.7015 s]
/proc/loadavg: 30.46 30.58 31.38 33/446 971
/proc/meminfo: memFree=254944696/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=962624 CPUtime=1368.02 cores=0-31
/proc/931/stat : 931 (plingeling) S 929 931 726 0 -1 4202496 227933 1250 0 0 136635 167 0 0 18 0 33 0 725979709 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 19 0 0 0
/proc/931/statm: 240656 95392 175 55 0 238542 0
[pid=931/tid=938] ppid=929 vsize=962624 CPUtime=42.77 cores=0-31
/proc/931/task/938/stat : 938 (plingeling) R 929 931 726 0 -1 4202560 6623 1250 0 0 4272 5 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=931/tid=939] ppid=929 vsize=962624 CPUtime=42.79 cores=0-31
/proc/931/task/939/stat : 939 (plingeling) R 929 931 726 0 -1 4202560 3333 1250 0 0 4278 1 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=931/tid=940] ppid=929 vsize=962624 CPUtime=42.84 cores=0-31
/proc/931/task/940/stat : 940 (plingeling) R 929 931 726 0 -1 4202560 6461 1250 0 0 4278 6 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=931/tid=941] ppid=929 vsize=962624 CPUtime=42.77 cores=0-31
/proc/931/task/941/stat : 941 (plingeling) R 929 931 726 0 -1 4202560 21895 1250 0 0 4264 13 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=931/tid=942] ppid=929 vsize=962624 CPUtime=42.71 cores=0-31
/proc/931/task/942/stat : 942 (plingeling) R 929 931 726 0 -1 4202560 6801 1250 0 0 4265 6 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4366491 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=931/tid=943] ppid=929 vsize=962624 CPUtime=42.74 cores=0-31
/proc/931/task/943/stat : 943 (plingeling) R 929 931 726 0 -1 4202560 3614 1250 0 0 4269 5 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4250873 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=931/tid=944] ppid=929 vsize=962624 CPUtime=42.78 cores=0-31
/proc/931/task/944/stat : 944 (plingeling) R 929 931 726 0 -1 4202560 6779 1250 0 0 4272 6 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=931/tid=945] ppid=929 vsize=962624 CPUtime=42.81 cores=0-31
/proc/931/task/945/stat : 945 (plingeling) R 929 931 726 0 -1 4202560 12697 1250 0 0 4275 6 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=931/tid=946] ppid=929 vsize=962624 CPUtime=42.69 cores=0-31
/proc/931/task/946/stat : 946 (plingeling) R 929 931 726 0 -1 4202560 7317 1250 0 0 4266 3 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=931/tid=947] ppid=929 vsize=962624 CPUtime=42.78 cores=0-31
/proc/931/task/947/stat : 947 (plingeling) R 929 931 726 0 -1 4202560 6061 1250 0 0 4274 4 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=931/tid=948] ppid=929 vsize=962624 CPUtime=42.76 cores=0-31
/proc/931/task/948/stat : 948 (plingeling) R 929 931 726 0 -1 4202560 6982 1250 0 0 4267 9 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=931/tid=949] ppid=929 vsize=962624 CPUtime=42.79 cores=0-31
/proc/931/task/949/stat : 949 (plingeling) R 929 931 726 0 -1 4202560 3134 1250 0 0 4277 2 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=931/tid=950] ppid=929 vsize=962624 CPUtime=42.76 cores=0-31
/proc/931/task/950/stat : 950 (plingeling) R 929 931 726 0 -1 4202560 4086 1250 0 0 4272 4 0 0 25 0 33 0 725979787 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=931/tid=951] ppid=929 vsize=962624 CPUtime=42.71 cores=0-31
/proc/931/task/951/stat : 951 (plingeling) R 929 931 726 0 -1 4202560 4306 1250 0 0 4267 4 0 0 25 0 33 0 725979788 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=931/tid=952] ppid=929 vsize=962624 CPUtime=42.72 cores=0-31
/proc/931/task/952/stat : 952 (plingeling) R 929 931 726 0 -1 4202560 11378 1250 0 0 4265 7 0 0 25 0 33 0 725979788 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=931/tid=953] ppid=929 vsize=962624 CPUtime=42.78 cores=0-31
/proc/931/task/953/stat : 953 (plingeling) R 929 931 726 0 -1 4202560 6174 1250 0 0 4275 3 0 0 25 0 33 0 725979788 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=931/tid=954] ppid=929 vsize=962624 CPUtime=42.82 cores=0-31
/proc/931/task/954/stat : 954 (plingeling) R 929 931 726 0 -1 4202560 7057 1250 0 0 4278 4 0 0 25 0 33 0 725979788 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=931/tid=955] ppid=929 vsize=962624 CPUtime=42.41 cores=0-31
/proc/931/task/955/stat : 955 (plingeling) R 929 931 726 0 -1 4202560 3966 1250 0 0 4238 3 0 0 25 0 33 0 725979788 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=931/tid=956] ppid=929 vsize=962624 CPUtime=42.65 cores=0-31
/proc/931/task/956/stat : 956 (plingeling) R 929 931 726 0 -1 4202560 4642 1250 0 0 4259 6 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=931/tid=957] ppid=929 vsize=962624 CPUtime=42.81 cores=0-31
/proc/931/task/957/stat : 957 (plingeling) R 929 931 726 0 -1 4202560 6310 1250 0 0 4276 5 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=931/tid=958] ppid=929 vsize=962624 CPUtime=42.8 cores=0-31
/proc/931/task/958/stat : 958 (plingeling) R 929 931 726 0 -1 4202560 4648 1250 0 0 4276 4 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4366700 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=931/tid=959] ppid=929 vsize=962624 CPUtime=42.77 cores=0-31
/proc/931/task/959/stat : 959 (plingeling) R 929 931 726 0 -1 4202560 6303 1250 0 0 4274 3 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=931/tid=960] ppid=929 vsize=962624 CPUtime=42.69 cores=0-31
/proc/931/task/960/stat : 960 (plingeling) R 929 931 726 0 -1 4202560 5645 1250 0 0 4266 3 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=931/tid=961] ppid=929 vsize=962624 CPUtime=42.79 cores=0-31
/proc/931/task/961/stat : 961 (plingeling) R 929 931 726 0 -1 4202560 5149 1250 0 0 4276 3 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=931/tid=962] ppid=929 vsize=962624 CPUtime=42.73 cores=0-31
/proc/931/task/962/stat : 962 (plingeling) R 929 931 726 0 -1 4202560 8451 1250 0 0 4269 4 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=931/tid=963] ppid=929 vsize=962624 CPUtime=42.7 cores=0-31
/proc/931/task/963/stat : 963 (plingeling) R 929 931 726 0 -1 4202560 4898 1250 0 0 4266 4 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365538 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=931/tid=964] ppid=929 vsize=962624 CPUtime=42.83 cores=0-31
/proc/931/task/964/stat : 964 (plingeling) R 929 931 726 0 -1 4202560 6192 1250 0 0 4278 5 0 0 25 0 33 0 725979789 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=931/tid=965] ppid=929 vsize=962624 CPUtime=42.78 cores=0-31
/proc/931/task/965/stat : 965 (plingeling) R 929 931 726 0 -1 4202560 9019 1250 0 0 4272 6 0 0 25 0 33 0 725979790 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=931/tid=966] ppid=929 vsize=962624 CPUtime=42.73 cores=0-31
/proc/931/task/966/stat : 966 (plingeling) R 929 931 726 0 -1 4202560 4710 1250 0 0 4270 3 0 0 25 0 33 0 725979790 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=931/tid=967] ppid=929 vsize=962624 CPUtime=42.73 cores=0-31
/proc/931/task/967/stat : 967 (plingeling) R 929 931 726 0 -1 4202560 4894 1250 0 0 4270 3 0 0 25 0 33 0 725979790 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 18446744073699065913 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=931/tid=968] ppid=929 vsize=962624 CPUtime=42.66 cores=0-31
/proc/931/task/968/stat : 968 (plingeling) R 929 931 726 0 -1 4202560 9225 1250 0 0 4260 6 0 0 25 0 33 0 725979790 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=931/tid=969] ppid=929 vsize=962624 CPUtime=41.84 cores=0-31
/proc/931/task/969/stat : 969 (plingeling) R 929 931 726 0 -1 4202560 4968 1250 0 0 4182 2 0 0 25 0 33 0 725979790 985726976 95392 268435456000 4194304 4417452 140735009766416 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1368.02
Current children cumulated vsize (KiB) 962624
[startup+43.8016 s]
/proc/loadavg: 30.46 30.58 31.38 33/446 971
/proc/meminfo: memFree=254944696/264257624 swapFree=67111528/67111528
[pid=931] ppid=929 vsize=392392 CPUtime=1369.59 cores=0-31
/proc/931/stat : 931 (plingeling) R 929 931 726 0 -1 4202496 227934 1250 0 0 136788 171 0 0 17 0 1 0 725979709 401809408 14505 268435456000 4194304 4417452 140735009766416 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 19 0 0 0
/proc/931/statm: 98098 14505 176 55 0 95984 0
Current children cumulated CPU time (s) 1369.59
Current children cumulated vsize (KiB) 392392
Child status: 20
Real time (s): 43.8078
CPU time (s): 1369.61
CPU user time (s): 1367.89
CPU system time (s): 1.72374
CPU usage (%): 3126.41
Max. virtual memory (cumulated for all children) (KiB): 985272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1367.89
system time used= 1.72374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229188
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= 4457
involuntary context switches= 3214
runsolver used 0.266959 second user time and 1.03284 second system time
The end
Begin job on node200 at 2011-05-23 12:02:13
IDJOB=3372933
IDBENCH=87988
IDSOLVER=1852
FILE ID=node200/3372933-1306144933
RUNJOBID= node200-1306144788-740
PBS_JOBID= 13387844
Free space on /tmp= 62048 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-10.shuffled.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372933-1306144933/watcher-3372933-1306144933 -o /tmp/evaluation-result-3372933-1306144933/solver-3372933-1306144933 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372933-1306144933.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 6ebe2de27b5534e626cb88c01abcf6c6
RANDOM SEED=47592166
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: 255330000 kB
Buffers: 459540 kB
Cached: 8060380 kB
SwapCached: 0 kB
Active: 7610700 kB
Inactive: 978488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255330000 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 752 kB
Writeback: 0 kB
AnonPages: 69800 kB
Mapped: 15996 kB
Slab: 253496 kB
PageTables: 5532 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188524 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= 62044 MiB
End job on node200 at 2011-05-23 12:02:57