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-3372981-1306169816/watcher-3372981-1306169816 -o /tmp/evaluation-result-3372981-1306169816/solver-3372981-1306169816 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372981-1306169816.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: 29.54 31.52 31.83 1/413 3956
/proc/meminfo: memFree=255140928/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=13920 CPUtime=0.01 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 1541 1239 0 0 1 0 0 0 21 0 1 0 728468338 14254080 1472 268435456000 4194304 4417452 140733768382752 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 3480 1472 145 55 0 1366 0
[startup+0.133679 s]
/proc/loadavg: 29.54 31.52 31.83 1/413 3956
/proc/meminfo: memFree=255140928/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=26664 CPUtime=0.12 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 4724 1239 0 0 11 1 0 0 21 0 1 0 728468338 27303936 4655 268435456000 4194304 4417452 140733768382752 18446744073709551615 4264950 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 6666 4655 146 55 0 4552 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 26664
[startup+0.200699 s]
/proc/loadavg: 29.54 31.52 31.83 1/413 3956
/proc/meminfo: memFree=255140928/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=33720 CPUtime=0.18 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 6496 1239 0 0 17 1 0 0 21 0 1 0 728468338 34529280 6427 268435456000 4194304 4417452 140733768382752 18446744073709551615 4259746 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 8430 6427 146 55 0 6316 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 33720
[startup+0.300723 s]
/proc/loadavg: 29.54 31.52 31.83 1/413 3956
/proc/meminfo: memFree=255140928/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=42184 CPUtime=0.28 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 8612 1239 0 0 27 1 0 0 22 0 1 0 728468338 43196416 8543 268435456000 4194304 4417452 140733768382752 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 10546 8543 146 55 0 8432 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 42184
[startup+0.700717 s]
/proc/loadavg: 29.54 31.52 31.83 1/413 3956
/proc/meminfo: memFree=255140928/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=72900 CPUtime=0.68 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 16283 1239 0 0 65 3 0 0 23 0 1 0 728468338 74649600 16214 268435456000 4194304 4417452 140733768382752 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 18225 16214 146 55 0 16111 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72900
[startup+1.50073 s]
/proc/loadavg: 27.26 31.01 31.67 2/414 3962
/proc/meminfo: memFree=255016720/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=132516 CPUtime=1.48 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 31219 1239 0 0 142 6 0 0 25 0 1 0 728468338 135696384 31150 268435456000 4194304 4417452 140733768382752 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 33129 31150 146 55 0 31015 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132516
[startup+3.10078 s]
/proc/loadavg: 27.26 31.01 31.67 2/414 3962
/proc/meminfo: memFree=254896440/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=251548 CPUtime=3.08 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 60977 1239 0 0 294 14 0 0 25 0 1 0 728468338 257585152 60908 268435456000 4194304 4417452 140733768382752 18446744073709551615 4231431 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 62887 60908 146 55 0 60773 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 251548
[startup+6.30089 s]
/proc/loadavg: 25.16 30.52 31.50 2/414 3962
/proc/meminfo: memFree=254658564/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=490176 CPUtime=6.28 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 120677 1239 0 0 602 26 0 0 25 0 1 0 728468338 501940224 120565 268435456000 4194304 4417452 140733768382752 18446744073709551615 4231537 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 122544 120565 146 55 0 120430 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 490176
[startup+12.7011 s]
/proc/loadavg: 23.22 30.03 31.34 2/414 3962
/proc/meminfo: memFree=254331416/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=817856 CPUtime=12.68 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 202597 1239 0 0 1224 44 0 0 25 0 1 0 728468338 837484544 202485 268435456000 4194304 4417452 140733768382752 18446744073709551615 4321590 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 204464 202485 146 55 0 202350 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 817856
[startup+25.5006 s]
/proc/loadavg: 18.30 28.60 30.85 2/414 3962
/proc/meminfo: memFree=253526512/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=1623556 CPUtime=25.49 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 404090 1239 0 0 2464 85 0 0 25 0 1 0 728468338 1662521344 403910 268435456000 4194304 4417452 140733768382752 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 405889 403910 146 55 0 403775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1623556
[startup+51.1005 s]
/proc/loadavg: 12.46 26.40 30.06 2/414 3964
/proc/meminfo: memFree=251913280/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=3234364 CPUtime=51.07 cores=0-31
/proc/3956/stat : 3956 (plingeling) R 3954 3956 3716 0 -1 4202496 806792 1239 0 0 4941 166 0 0 25 0 1 0 728468338 3311988736 806612 268435456000 4194304 4417452 140733768382752 18446744073709551615 4229136 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/3956/statm: 808591 806612 146 55 0 806477 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3234364
[startup+102.302 s]
/proc/loadavg: 20.40 26.16 29.77 33/446 3996
/proc/meminfo: memFree=249018308/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=6631708 CPUtime=1165.98 cores=0-31
/proc/3956/stat : 3956 (plingeling) S 3954 3956 3716 0 -1 4202496 2963695 1239 0 0 113519 3079 0 0 19 0 33 0 728468338 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 1657927 1526138 175 55 0 1655813 0
[pid=3956/tid=3965] ppid=3954 vsize=6631708 CPUtime=35.87 cores=0-31
/proc/3956/task/3965/stat : 3965 (plingeling) R 3954 3956 3716 0 -1 4202560 68704 1239 0 0 3481 106 0 0 25 0 33 0 728474657 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265485 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3956/tid=3966] ppid=3954 vsize=6631708 CPUtime=34.63 cores=0-31
/proc/3956/task/3966/stat : 3966 (plingeling) R 3954 3956 3716 0 -1 4202560 59925 1239 0 0 3355 108 0 0 25 0 33 0 728474657 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3956/tid=3967] ppid=3954 vsize=6631708 CPUtime=34.89 cores=0-31
/proc/3956/task/3967/stat : 3967 (plingeling) R 3954 3956 3716 0 -1 4202560 66431 1239 0 0 3387 102 0 0 25 0 33 0 728474657 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4357283 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3956/tid=3968] ppid=3954 vsize=6631708 CPUtime=36.7 cores=0-31
/proc/3956/task/3968/stat : 3968 (plingeling) R 3954 3956 3716 0 -1 4202560 4391 1239 0 0 3669 1 0 0 25 0 33 0 728474657 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3956/tid=3969] ppid=3954 vsize=6631708 CPUtime=34.47 cores=0-31
/proc/3956/task/3969/stat : 3969 (plingeling) R 3954 3956 3716 0 -1 4202560 65549 1239 0 0 3360 87 0 0 25 0 33 0 728474658 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265360 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3956/tid=3970] ppid=3954 vsize=6631708 CPUtime=35.42 cores=0-31
/proc/3956/task/3970/stat : 3970 (plingeling) R 3954 3956 3716 0 -1 4202560 67843 1239 0 0 3464 78 0 0 25 0 33 0 728474658 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236675 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3956/tid=3971] ppid=3954 vsize=6631708 CPUtime=35.94 cores=0-31
/proc/3956/task/3971/stat : 3971 (plingeling) R 3954 3956 3716 0 -1 4202560 68735 1239 0 0 3524 70 0 0 25 0 33 0 728474658 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3956/tid=3972] ppid=3954 vsize=6631708 CPUtime=35.05 cores=0-31
/proc/3956/task/3972/stat : 3972 (plingeling) R 3954 3956 3716 0 -1 4202560 63069 1239 0 0 3386 119 0 0 25 0 33 0 728474659 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3956/tid=3973] ppid=3954 vsize=6631708 CPUtime=36.07 cores=0-31
/proc/3956/task/3973/stat : 3973 (plingeling) R 3954 3956 3716 0 -1 4202560 45618 1239 0 0 3538 69 0 0 25 0 33 0 728474659 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3956/tid=3974] ppid=3954 vsize=6631708 CPUtime=34.48 cores=0-31
/proc/3956/task/3974/stat : 3974 (plingeling) R 3954 3956 3716 0 -1 4202560 71687 1239 0 0 3339 109 0 0 25 0 33 0 728474659 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3956/tid=3975] ppid=3954 vsize=6631708 CPUtime=34.71 cores=0-31
/proc/3956/task/3975/stat : 3975 (plingeling) R 3954 3956 3716 0 -1 4202560 70403 1239 0 0 3387 84 0 0 25 0 33 0 728474659 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3956/tid=3976] ppid=3954 vsize=6631708 CPUtime=33.44 cores=0-31
/proc/3956/task/3976/stat : 3976 (plingeling) R 3954 3956 3716 0 -1 4202560 66688 1239 0 0 3268 76 0 0 25 0 33 0 728474659 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3956/tid=3977] ppid=3954 vsize=6631708 CPUtime=32.99 cores=0-31
/proc/3956/task/3977/stat : 3977 (plingeling) R 3954 3956 3716 0 -1 4202560 67147 1239 0 0 3203 96 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366486 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3956/tid=3978] ppid=3954 vsize=6631708 CPUtime=34.75 cores=0-31
/proc/3956/task/3978/stat : 3978 (plingeling) R 3954 3956 3716 0 -1 4202560 71065 1239 0 0 3351 124 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3956/tid=3979] ppid=3954 vsize=6631708 CPUtime=35.62 cores=0-31
/proc/3956/task/3979/stat : 3979 (plingeling) R 3954 3956 3716 0 -1 4202560 64920 1239 0 0 3453 109 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236722 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3956/tid=3980] ppid=3954 vsize=6631708 CPUtime=34.89 cores=0-31
/proc/3956/task/3980/stat : 3980 (plingeling) R 3954 3956 3716 0 -1 4202560 64370 1239 0 0 3372 117 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236603 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3956/tid=3981] ppid=3954 vsize=6631708 CPUtime=33.83 cores=0-31
/proc/3956/task/3981/stat : 3981 (plingeling) R 3954 3956 3716 0 -1 4202560 71461 1239 0 0 3306 77 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236544 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3956/tid=3982] ppid=3954 vsize=6631708 CPUtime=32.62 cores=0-31
/proc/3956/task/3982/stat : 3982 (plingeling) R 3954 3956 3716 0 -1 4202560 62053 1239 0 0 3174 88 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3956/tid=3983] ppid=3954 vsize=6631708 CPUtime=35.08 cores=0-31
/proc/3956/task/3983/stat : 3983 (plingeling) R 3954 3956 3716 0 -1 4202560 63068 1239 0 0 3409 99 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3956/tid=3984] ppid=3954 vsize=6631708 CPUtime=33.83 cores=0-31
/proc/3956/task/3984/stat : 3984 (plingeling) R 3954 3956 3716 0 -1 4202560 61236 1239 0 0 3295 88 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4259008 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3956/tid=3985] ppid=3954 vsize=6631708 CPUtime=34.59 cores=0-31
/proc/3956/task/3985/stat : 3985 (plingeling) R 3954 3956 3716 0 -1 4202560 66716 1239 0 0 3367 92 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3956/tid=3986] ppid=3954 vsize=6631708 CPUtime=32.46 cores=0-31
/proc/3956/task/3986/stat : 3986 (plingeling) R 3954 3956 3716 0 -1 4202560 71826 1239 0 0 3121 125 0 0 25 0 33 0 728474660 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4263218 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=6631708 CPUtime=34.85 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4202560 59879 1239 0 0 3409 76 0 0 25 0 33 0 728474662 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3956/tid=3988] ppid=3954 vsize=6631708 CPUtime=32.27 cores=0-31
/proc/3956/task/3988/stat : 3988 (plingeling) R 3954 3956 3716 0 -1 4202560 69547 1239 0 0 3118 109 0 0 25 0 33 0 728474670 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3956/tid=3989] ppid=3954 vsize=6631708 CPUtime=31.96 cores=0-31
/proc/3956/task/3989/stat : 3989 (plingeling) R 3954 3956 3716 0 -1 4202560 71267 1239 0 0 3131 65 0 0 25 0 33 0 728474670 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3956/tid=3990] ppid=3954 vsize=6631708 CPUtime=34.23 cores=0-31
/proc/3956/task/3990/stat : 3990 (plingeling) R 3954 3956 3716 0 -1 4202560 65417 1239 0 0 3318 105 0 0 25 0 33 0 728474670 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3956/tid=3991] ppid=3954 vsize=6631708 CPUtime=34.18 cores=0-31
/proc/3956/task/3991/stat : 3991 (plingeling) R 3954 3956 3716 0 -1 4202560 63489 1239 0 0 3361 57 0 0 25 0 33 0 728474671 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3956/tid=3992] ppid=3954 vsize=6631708 CPUtime=34.74 cores=0-31
/proc/3956/task/3992/stat : 3992 (plingeling) R 3954 3956 3716 0 -1 4202560 68684 1239 0 0 3375 99 0 0 25 0 33 0 728474671 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3956/tid=3993] ppid=3954 vsize=6631708 CPUtime=33.42 cores=0-31
/proc/3956/task/3993/stat : 3993 (plingeling) R 3954 3956 3716 0 -1 4202560 63669 1239 0 0 3268 74 0 0 25 0 33 0 728474672 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236634 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3956/tid=3994] ppid=3954 vsize=6631708 CPUtime=34.43 cores=0-31
/proc/3956/task/3994/stat : 3994 (plingeling) R 3954 3956 3716 0 -1 4202560 67957 1239 0 0 3343 100 0 0 25 0 33 0 728474672 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3956/tid=3995] ppid=3954 vsize=6631708 CPUtime=36.32 cores=0-31
/proc/3956/task/3995/stat : 3995 (plingeling) R 3954 3956 3716 0 -1 4202560 60036 1239 0 0 3571 61 0 0 25 0 33 0 728474672 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265465 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=3956/tid=3996] ppid=3954 vsize=6631708 CPUtime=33.93 cores=0-31
/proc/3956/task/3996/stat : 3996 (plingeling) R 3954 3956 3716 0 -1 4202560 52943 1239 0 0 3299 94 0 0 25 0 33 0 728474672 6790868992 1526138 268435456000 4194304 4417452 140733768382752 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 1165.98
Current children cumulated vsize (KiB) 6631708
[startup+162.302 s]
/proc/loadavg: 27.86 27.25 29.92 33/446 3998
/proc/meminfo: memFree=248914176/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=6741124 CPUtime=3083.39 cores=0-31
/proc/3956/stat : 3956 (plingeling) S 3954 3956 3716 0 -1 4202496 3057627 1239 0 0 305233 3106 0 0 19 0 33 0 728468338 6902910976 1550192 268435456000 4194304 4417452 140733768382752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 1685281 1550214 175 55 0 1683167 0
[pid=3956/tid=3965] ppid=3954 vsize=6741124 CPUtime=95.85 cores=0-31
/proc/3956/task/3965/stat : 3965 (plingeling) R 3954 3956 3716 0 -1 4202560 69473 1239 0 0 9478 107 0 0 25 0 33 0 728474657 6902910976 1550224 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3956/tid=3966] ppid=3954 vsize=6741124 CPUtime=94.6 cores=0-31
################
# More data... #
################
[pid=3956/tid=3976] ppid=3954 vsize=11146752 CPUtime=4936.53 cores=0-31
/proc/3956/task/3976/stat : 3976 (plingeling) R 3954 3956 3716 0 -1 4202560 1390755 1239 0 0 492397 1256 0 0 25 0 33 0 728474659 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3956/tid=3977] ppid=3954 vsize=11146752 CPUtime=4948.73 cores=0-31
/proc/3956/task/3977/stat : 3977 (plingeling) R 3954 3956 3716 0 -1 4202560 797918 1239 0 0 494031 842 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3956/tid=3978] ppid=3954 vsize=11146752 CPUtime=4950.8 cores=0-31
/proc/3956/task/3978/stat : 3978 (plingeling) R 3954 3956 3716 0 -1 4202560 736366 1239 0 0 494211 869 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3956/tid=3979] ppid=3954 vsize=11146752 CPUtime=4942.05 cores=0-31
/proc/3956/task/3979/stat : 3979 (plingeling) R 3954 3956 3716 0 -1 4202560 688396 1239 0 0 493394 811 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366657 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3956/tid=3980] ppid=3954 vsize=11146752 CPUtime=4945.41 cores=0-31
/proc/3956/task/3980/stat : 3980 (plingeling) R 3954 3956 3716 0 -1 4202560 850322 1239 0 0 493526 1015 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3956/tid=3981] ppid=3954 vsize=11146752 CPUtime=4947.75 cores=0-31
/proc/3956/task/3981/stat : 3981 (plingeling) R 3954 3956 3716 0 -1 4202560 646882 1239 0 0 494116 659 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4357436 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3956/tid=3982] ppid=3954 vsize=11146752 CPUtime=4939.22 cores=0-31
/proc/3956/task/3982/stat : 3982 (plingeling) R 3954 3956 3716 0 -1 4202560 744230 1239 0 0 493111 811 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3956/tid=3983] ppid=3954 vsize=11146752 CPUtime=4950.53 cores=0-31
/proc/3956/task/3983/stat : 3983 (plingeling) R 3954 3956 3716 0 -1 4202560 917944 1239 0 0 494057 996 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4352414 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3956/tid=3984] ppid=3954 vsize=11146752 CPUtime=4946.96 cores=0-31
/proc/3956/task/3984/stat : 3984 (plingeling) R 3954 3956 3716 0 -1 4202560 728707 1239 0 0 493933 763 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364616 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3956/tid=3985] ppid=3954 vsize=11146752 CPUtime=4948.96 cores=0-31
/proc/3956/task/3985/stat : 3985 (plingeling) R 3954 3956 3716 0 -1 4202560 1230662 1239 0 0 493720 1176 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3956/tid=3986] ppid=3954 vsize=11146752 CPUtime=4949.07 cores=0-31
/proc/3956/task/3986/stat : 3986 (plingeling) R 3954 3956 3716 0 -1 4202560 621906 1239 0 0 494128 779 0 0 25 0 33 0 728474660 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4239401 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=11146752 CPUtime=4935.02 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4202560 671006 1239 0 0 492655 847 0 0 25 0 33 0 728474662 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3956/tid=3988] ppid=3954 vsize=11146752 CPUtime=4942.19 cores=0-31
/proc/3956/task/3988/stat : 3988 (plingeling) R 3954 3956 3716 0 -1 4202560 1242332 1239 0 0 492966 1253 0 0 25 0 33 0 728474670 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4237148 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3956/tid=3989] ppid=3954 vsize=11146752 CPUtime=4945.5 cores=0-31
/proc/3956/task/3989/stat : 3989 (plingeling) R 3954 3956 3716 0 -1 4202560 1275685 1239 0 0 493531 1019 0 0 25 0 33 0 728474670 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3956/tid=3990] ppid=3954 vsize=11146752 CPUtime=4950.47 cores=0-31
/proc/3956/task/3990/stat : 3990 (plingeling) R 3954 3956 3716 0 -1 4202560 893198 1239 0 0 494053 994 0 0 25 0 33 0 728474670 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3956/tid=3991] ppid=3954 vsize=11146752 CPUtime=4949.32 cores=0-31
/proc/3956/task/3991/stat : 3991 (plingeling) R 3954 3956 3716 0 -1 4202560 818756 1239 0 0 494087 845 0 0 25 0 33 0 728474671 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3956/tid=3992] ppid=3954 vsize=11146752 CPUtime=4951.9 cores=0-31
/proc/3956/task/3992/stat : 3992 (plingeling) R 3954 3956 3716 0 -1 4202560 749563 1239 0 0 494494 696 0 0 25 0 33 0 728474671 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3956/tid=3993] ppid=3954 vsize=11146752 CPUtime=4942.27 cores=0-31
/proc/3956/task/3993/stat : 3993 (plingeling) R 3954 3956 3716 0 -1 4202560 996019 1239 0 0 493124 1103 0 0 25 0 33 0 728474672 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366563 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3956/tid=3994] ppid=3954 vsize=11146752 CPUtime=4942.59 cores=0-31
/proc/3956/task/3994/stat : 3994 (plingeling) R 3954 3956 3716 0 -1 4202560 789332 1239 0 0 493357 902 0 0 25 0 33 0 728474672 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3956/tid=3995] ppid=3954 vsize=11146752 CPUtime=4950.32 cores=0-31
/proc/3956/task/3995/stat : 3995 (plingeling) R 3954 3956 3716 0 -1 4202560 1033103 1239 0 0 493807 1225 0 0 25 0 33 0 728474672 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3956/tid=3996] ppid=3954 vsize=11146752 CPUtime=4939.41 cores=0-31
/proc/3956/task/3996/stat : 3996 (plingeling) R 3954 3956 3716 0 -1 4202560 820005 1239 0 0 492991 950 0 0 25 0 33 0 728474672 11414274048 2652451 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 158324
Current children cumulated vsize (KiB) 11146752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5074.9 s]
/proc/loadavg: 32.00 32.03 32.06 33/446 4151
/proc/meminfo: memFree=244858972/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=10723480 CPUtime=160004 cores=0-31
/proc/3956/stat : 3956 (plingeling) S 3954 3956 3716 0 -1 4202496 29108712 1239 0 0 15969658 30695 0 0 19 0 33 0 728468338 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 2680870 2568447 175 55 0 2678756 0
[pid=3956/tid=3965] ppid=3954 vsize=10723480 CPUtime=4999.29 cores=0-31
/proc/3956/task/3965/stat : 3965 (plingeling) R 3954 3956 3716 0 -1 4202560 995412 1239 0 0 498853 1076 0 0 25 0 33 0 728474657 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=3956/tid=3966] ppid=3954 vsize=10723480 CPUtime=4991.27 cores=0-31
/proc/3956/task/3966/stat : 3966 (plingeling) R 3954 3956 3716 0 -1 4202560 840490 1239 0 0 498152 975 0 0 25 0 33 0 728474657 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=3956/tid=3967] ppid=3954 vsize=10723480 CPUtime=4997.11 cores=0-31
/proc/3956/task/3967/stat : 3967 (plingeling) R 3954 3956 3716 0 -1 4202560 744746 1239 0 0 498842 869 0 0 25 0 33 0 728474657 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236549 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=3956/tid=3968] ppid=3954 vsize=10723480 CPUtime=5002.72 cores=0-31
/proc/3956/task/3968/stat : 3968 (plingeling) R 3954 3956 3716 0 -1 4202560 1377747 1239 0 0 498776 1496 0 0 25 0 33 0 728474657 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=3956/tid=3969] ppid=3954 vsize=10723480 CPUtime=4996.97 cores=0-31
/proc/3956/task/3969/stat : 3969 (plingeling) R 3954 3956 3716 0 -1 4202560 781433 1239 0 0 498833 864 0 0 25 0 33 0 728474658 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=3956/tid=3970] ppid=3954 vsize=10723480 CPUtime=4999.24 cores=0-31
/proc/3956/task/3970/stat : 3970 (plingeling) R 3954 3956 3716 0 -1 4202560 865876 1239 0 0 498913 1011 0 0 25 0 33 0 728474658 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=3956/tid=3971] ppid=3954 vsize=10723480 CPUtime=5004.29 cores=0-31
/proc/3956/task/3971/stat : 3971 (plingeling) R 3954 3956 3716 0 -1 4202560 649915 1239 0 0 499693 736 0 0 25 0 33 0 728474658 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4262481 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=3956/tid=3972] ppid=3954 vsize=10723480 CPUtime=4996.42 cores=0-31
/proc/3956/task/3972/stat : 3972 (plingeling) R 3954 3956 3716 0 -1 4202560 707237 1239 0 0 498753 889 0 0 25 0 33 0 728474659 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=3956/tid=3973] ppid=3954 vsize=10723480 CPUtime=4996.9 cores=0-31
/proc/3956/task/3973/stat : 3973 (plingeling) R 3954 3956 3716 0 -1 4202560 796880 1239 0 0 498812 878 0 0 25 0 33 0 728474659 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=3956/tid=3974] ppid=3954 vsize=10723480 CPUtime=4997.65 cores=0-31
/proc/3956/task/3974/stat : 3974 (plingeling) R 3954 3956 3716 0 -1 4202560 721848 1239 0 0 498981 784 0 0 25 0 33 0 728474659 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265514 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=3956/tid=3975] ppid=3954 vsize=10723480 CPUtime=5001.02 cores=0-31
/proc/3956/task/3975/stat : 3975 (plingeling) R 3954 3956 3716 0 -1 4202560 693924 1239 0 0 499532 570 0 0 25 0 33 0 728474659 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=3956/tid=3976] ppid=3954 vsize=10723480 CPUtime=4989.12 cores=0-31
/proc/3956/task/3976/stat : 3976 (plingeling) R 3954 3956 3716 0 -1 4202560 1417528 1239 0 0 497611 1301 0 0 25 0 33 0 728474659 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=3956/tid=3977] ppid=3954 vsize=10723480 CPUtime=5001.25 cores=0-31
/proc/3956/task/3977/stat : 3977 (plingeling) R 3954 3956 3716 0 -1 4202560 805468 1239 0 0 499281 844 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4302094 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=3956/tid=3978] ppid=3954 vsize=10723480 CPUtime=5003.41 cores=0-31
/proc/3956/task/3978/stat : 3978 (plingeling) R 3954 3956 3716 0 -1 4202560 738889 1239 0 0 499472 869 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=3956/tid=3979] ppid=3954 vsize=10723480 CPUtime=4994.28 cores=0-31
/proc/3956/task/3979/stat : 3979 (plingeling) R 3954 3956 3716 0 -1 4202560 723628 1239 0 0 498589 839 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=3956/tid=3980] ppid=3954 vsize=10723480 CPUtime=4998.02 cores=0-31
/proc/3956/task/3980/stat : 3980 (plingeling) R 3954 3956 3716 0 -1 4202560 850322 1239 0 0 498787 1015 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236852 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=3956/tid=3981] ppid=3954 vsize=10723480 CPUtime=5000.13 cores=0-31
/proc/3956/task/3981/stat : 3981 (plingeling) R 3954 3956 3716 0 -1 4202560 661239 1239 0 0 499327 686 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=3956/tid=3982] ppid=3954 vsize=10723480 CPUtime=4991.78 cores=0-31
/proc/3956/task/3982/stat : 3982 (plingeling) R 3954 3956 3716 0 -1 4202560 753968 1239 0 0 498345 833 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=3956/tid=3983] ppid=3954 vsize=10723480 CPUtime=5003.14 cores=0-31
/proc/3956/task/3983/stat : 3983 (plingeling) R 3954 3956 3716 0 -1 4202560 933010 1239 0 0 499291 1023 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4309986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=3956/tid=3984] ppid=3954 vsize=10723480 CPUtime=4999.43 cores=0-31
/proc/3956/task/3984/stat : 3984 (plingeling) R 3954 3956 3716 0 -1 4202560 741283 1239 0 0 499150 793 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=3956/tid=3985] ppid=3954 vsize=10723480 CPUtime=5001.41 cores=0-31
/proc/3956/task/3985/stat : 3985 (plingeling) R 3954 3956 3716 0 -1 4202560 1255750 1239 0 0 498930 1211 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=3956/tid=3986] ppid=3954 vsize=10723480 CPUtime=5001.62 cores=0-31
/proc/3956/task/3986/stat : 3986 (plingeling) R 3954 3956 3716 0 -1 4202560 624713 1239 0 0 499376 786 0 0 25 0 33 0 728474660 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=10723480 CPUtime=4987.37 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4202560 712561 1239 0 0 497809 928 0 0 25 0 33 0 728474662 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=3956/tid=3988] ppid=3954 vsize=10723480 CPUtime=4994.76 cores=0-31
/proc/3956/task/3988/stat : 3988 (plingeling) R 3954 3956 3716 0 -1 4202560 1256657 1239 0 0 498217 1259 0 0 25 0 33 0 728474670 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=3956/tid=3989] ppid=3954 vsize=10723480 CPUtime=4998.04 cores=0-31
/proc/3956/task/3989/stat : 3989 (plingeling) R 3954 3956 3716 0 -1 4202560 1302417 1239 0 0 498752 1052 0 0 25 0 33 0 728474670 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=3956/tid=3990] ppid=3954 vsize=10723480 CPUtime=5003.08 cores=0-31
/proc/3956/task/3990/stat : 3990 (plingeling) R 3954 3956 3716 0 -1 4202560 896866 1239 0 0 499305 1003 0 0 25 0 33 0 728474670 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=3956/tid=3991] ppid=3954 vsize=10723480 CPUtime=5001.75 cores=0-31
/proc/3956/task/3991/stat : 3991 (plingeling) R 3954 3956 3716 0 -1 4202560 827879 1239 0 0 499311 864 0 0 25 0 33 0 728474671 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=3956/tid=3992] ppid=3954 vsize=10723480 CPUtime=5004.51 cores=0-31
/proc/3956/task/3992/stat : 3992 (plingeling) R 3954 3956 3716 0 -1 4202560 754758 1239 0 0 499750 701 0 0 25 0 33 0 728474671 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4358116 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=3956/tid=3993] ppid=3954 vsize=10723480 CPUtime=4994.42 cores=0-31
/proc/3956/task/3993/stat : 3993 (plingeling) R 3954 3956 3716 0 -1 4202560 1011884 1239 0 0 498307 1135 0 0 25 0 33 0 728474672 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4270941 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=3956/tid=3994] ppid=3954 vsize=10723480 CPUtime=4995.12 cores=0-31
/proc/3956/task/3994/stat : 3994 (plingeling) R 3954 3956 3716 0 -1 4202560 844281 1239 0 0 498547 965 0 0 25 0 33 0 728474672 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=3956/tid=3995] ppid=3954 vsize=10723480 CPUtime=5002.81 cores=0-31
/proc/3956/task/3995/stat : 3995 (plingeling) R 3954 3956 3716 0 -1 4202560 1051747 1239 0 0 499018 1263 0 0 25 0 33 0 728474672 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4232268 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=3956/tid=3996] ppid=3954 vsize=10723480 CPUtime=4991.95 cores=0-31
/proc/3956/task/3996/stat : 3996 (plingeling) R 3954 3956 3716 0 -1 4202560 830454 1239 0 0 498226 969 0 0 25 0 33 0 728474672 10980843520 2568447 268435456000 4194304 4417452 140733768382752 18446744073709551615 4366646 0 0 4096 17442 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 10723480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+5075.1 s]
/proc/loadavg: 32.00 32.03 32.06 33/446 4151
/proc/meminfo: memFree=244858972/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=0 CPUtime=160004 cores=0-31
/proc/3956/stat : 3956 (plingeling) Z 3954 3956 3716 0 -1 4203548 29108712 1239 0 0 15969697 30717 0 0 18 0 2 0 728468338 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 0 0 0 0 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=0 CPUtime=4987.55 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4203588 712561 1239 0 0 497809 946 0 0 25 0 2 0 728474662 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0
[startup+5075.54 s]
/proc/loadavg: 29.52 31.52 31.89 2/416 4152
/proc/meminfo: memFree=250040568/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=0 CPUtime=160005 cores=0-31
/proc/3956/stat : 3956 (plingeling) Z 3954 3956 3716 0 -1 4203548 29108712 1239 0 0 15969697 30760 0 0 18 0 2 0 728468338 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 0 0 0 0 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=0 CPUtime=4987.98 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4203588 712561 1239 0 0 497809 989 0 0 25 0 2 0 728474662 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5075.7 s]
/proc/loadavg: 29.52 31.52 31.89 2/416 4152
/proc/meminfo: memFree=250040568/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=0 CPUtime=160005 cores=0-31
/proc/3956/stat : 3956 (plingeling) Z 3954 3956 3716 0 -1 4203548 29108712 1239 0 0 15969697 30777 0 0 18 0 2 0 728468338 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 0 0 0 0 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=0 CPUtime=4988.15 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4203588 712561 1239 0 0 497809 1006 0 0 25 0 2 0 728474662 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
[startup+5075.8 s]
/proc/loadavg: 29.52 31.52 31.89 2/416 4152
/proc/meminfo: memFree=250040568/264257624 swapFree=67111528/67111528
[pid=3956] ppid=3954 vsize=0 CPUtime=160005 cores=0-31
/proc/3956/stat : 3956 (plingeling) Z 3954 3956 3716 0 -1 4203548 29108712 1239 0 0 15969697 30787 0 0 18 0 2 0 728468338 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 16 0 0 0
/proc/3956/statm: 0 0 0 0 0 0 0
[pid=3956/tid=3987] ppid=3954 vsize=0 CPUtime=4988.25 cores=0-31
/proc/3956/task/3987/stat : 3987 (plingeling) R 3954 3956 3716 0 -1 4203588 712561 1239 0 0 497809 1016 0 0 25 0 2 0 728474662 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5075.81
CPU time (s): 160005
CPU user time (s): 159697
CPU system time (s): 307.881
CPU usage (%): 3152.3
Max. virtual memory (cumulated for all children) (KiB): 11300688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159697
system time used= 307.881
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29109951
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= 8897
involuntary context switches= 417984
runsolver used 28.6986 second user time and 116.185 second system time
The end
Begin job on node200 at 2011-05-23 18:56:59
IDJOB=3372981
IDBENCH=88165
IDSOLVER=1852
FILE ID=node200/3372981-1306169816
RUNJOBID= node200-1306164757-3730
PBS_JOBID= 13387851
Free space on /tmp= 61956 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372981-1306169816/watcher-3372981-1306169816 -o /tmp/evaluation-result-3372981-1306169816/solver-3372981-1306169816 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372981-1306169816.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 99cd8de7f06ce8c087a5c7fb299dfb62
RANDOM SEED=1827260399
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: 255141208 kB
Buffers: 461796 kB
Cached: 8242176 kB
SwapCached: 0 kB
Active: 7793668 kB
Inactive: 979148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255141208 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 93372 kB
Writeback: 0 kB
AnonPages: 69168 kB
Mapped: 14532 kB
Slab: 255900 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189892 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= 61956 MiB
End job on node200 at 2011-05-23 20:21:36