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-3372311-1305437285/watcher-3372311-1305437285 -o /tmp/evaluation-result-3372311-1305437285/solver-3372311-1305437285 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372311-1305437285.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.64 2.41 3.26 2/348 23999
/proc/meminfo: memFree=21487736/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=20644 CPUtime=0 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 3255 1259 0 0 0 0 0 0 21 0 1 0 655328186 21139456 3184 33554432000 4194304 4417452 140737279117328 18446744073709551615 210647146240 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 5161 3184 148 55 0 3047 0
[startup+0.0751331 s]
/proc/loadavg: 1.64 2.41 3.26 2/348 23999
/proc/meminfo: memFree=21487736/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=56696 CPUtime=0.07 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 12252 1259 0 0 6 1 0 0 21 0 1 0 655328186 58056704 12181 33554432000 4194304 4417452 140737279117328 18446744073709551615 4259186 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 14174 12181 148 55 0 12060 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 56696
[startup+0.10111 s]
/proc/loadavg: 1.64 2.41 3.26 2/348 23999
/proc/meminfo: memFree=21487736/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=61584 CPUtime=0.09 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 13474 1259 0 0 8 1 0 0 21 0 1 0 655328186 63062016 13403 33554432000 4194304 4417452 140737279117328 18446744073709551615 4264911 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 15396 13403 148 55 0 13282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 61584
[startup+0.301095 s]
/proc/loadavg: 1.64 2.41 3.26 2/348 23999
/proc/meminfo: memFree=21487736/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=92828 CPUtime=0.29 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 21313 1259 0 0 27 2 0 0 22 0 1 0 655328186 95055872 21230 33554432000 4194304 4417452 140737279117328 18446744073709551615 4262065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 23207 21230 148 55 0 21093 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 92828
[startup+0.70101 s]
/proc/loadavg: 1.64 2.41 3.26 2/348 23999
/proc/meminfo: memFree=21487736/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=197240 CPUtime=0.69 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 47433 1259 0 0 64 5 0 0 23 0 1 0 655328186 201973760 47333 33554432000 4194304 4417452 140737279117328 18446744073709551615 4264959 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 49310 47333 148 55 0 47196 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 197240
[startup+1.50088 s]
/proc/loadavg: 1.64 2.41 3.26 2/349 24005
/proc/meminfo: memFree=21265912/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=244344 CPUtime=1.48 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 59210 1259 0 0 142 6 0 0 25 0 1 0 655328186 250208256 59110 33554432000 4194304 4417452 140737279117328 18446744073709551615 4261997 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 61086 59110 149 55 0 58972 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 244344
[startup+3.10062 s]
/proc/loadavg: 1.64 2.41 3.26 2/349 24005
/proc/meminfo: memFree=21185692/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=443032 CPUtime=3.09 cores=0-7
/proc/23999/stat : 23999 (plingeling) R 23997 23999 23933 0 -1 4202496 108882 1259 0 0 297 12 0 0 25 0 1 0 655328186 453664768 108782 33554432000 4194304 4417452 140737279117328 18446744073709551615 4231321 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23999/statm: 110758 108782 149 55 0 108644 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 443032
[startup+6.30104 s]
/proc/loadavg: 1.67 2.40 3.25 11/357 24013
/proc/meminfo: memFree=20960204/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=680288 CPUtime=22.91 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 197801 1259 0 0 2252 39 0 0 25 0 9 0 655328186 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 170072 124173 177 55 0 167958 0
[pid=23999/tid=24006] ppid=23997 vsize=680288 CPUtime=2.78 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 10232 1259 0 0 276 2 0 0 22 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4301988 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=680288 CPUtime=2.76 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 9243 1259 0 0 274 2 0 0 22 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=680288 CPUtime=1 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 7735 1259 0 0 94 6 0 0 25 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4284943 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=680288 CPUtime=1.81 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 4830 1259 0 0 181 0 0 0 20 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4260005 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=680288 CPUtime=2.77 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 17910 1259 0 0 274 3 0 0 22 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4270947 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=680288 CPUtime=2.78 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 14039 1259 0 0 274 4 0 0 22 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4261039 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=680288 CPUtime=2.73 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 10404 1259 0 0 272 1 0 0 23 0 9 0 655328532 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4270726 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=680288 CPUtime=2.76 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 14511 1259 0 0 271 5 0 0 23 0 9 0 655328533 696614912 124173 33554432000 4194304 4417452 140737279117328 18446744073709551615 4277567 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 22.91
Current children cumulated vsize (KiB) 680288
[startup+12.701 s]
/proc/loadavg: 2.50 2.56 3.30 9/357 24013
/proc/meminfo: memFree=20964132/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=681400 CPUtime=72.1 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 220041 1259 0 0 7138 72 0 0 25 0 9 0 655328186 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 170350 129891 180 55 0 168236 0
[pid=23999/tid=24006] ppid=23997 vsize=681400 CPUtime=8.98 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 11213 1259 0 0 895 3 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4272441 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=681400 CPUtime=9.05 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 12272 1259 0 0 903 2 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236106 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=681400 CPUtime=6.36 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 13313 1259 0 0 600 36 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=681400 CPUtime=7.74 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 4830 1259 0 0 774 0 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=681400 CPUtime=9.16 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 21806 1259 0 0 913 3 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4249216 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=681400 CPUtime=9.16 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 16663 1259 0 0 912 4 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4235657 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=681400 CPUtime=9.03 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 12902 1259 0 0 901 2 0 0 25 0 9 0 655328532 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=681400 CPUtime=9.08 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 18145 1259 0 0 902 6 0 0 25 0 9 0 655328533 697753600 129891 33554432000 4194304 4417452 140737279117328 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 72.1
Current children cumulated vsize (KiB) 681400
[startup+25.5008 s]
/proc/loadavg: 3.72 2.83 3.37 9/357 24013
/proc/meminfo: memFree=20986416/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=684360 CPUtime=174.33 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 221001 1259 0 0 17361 72 0 0 25 0 9 0 655328186 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 171090 125965 180 55 0 168976 0
[pid=23999/tid=24006] ppid=23997 vsize=684360 CPUtime=21.78 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 11213 1259 0 0 2175 3 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364589 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=684360 CPUtime=21.85 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 12272 1259 0 0 2183 2 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=684360 CPUtime=19.16 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 13953 1259 0 0 1880 36 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281683 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=684360 CPUtime=20.54 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 4830 1259 0 0 2054 0 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=684360 CPUtime=21.96 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 21806 1259 0 0 2193 3 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=684360 CPUtime=21.95 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 16983 1259 0 0 2191 4 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=684360 CPUtime=21.83 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 12902 1259 0 0 2181 2 0 0 25 0 9 0 655328532 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4356960 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=684360 CPUtime=21.73 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 18145 1259 0 0 2167 6 0 0 25 0 9 0 655328533 700784640 125965 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 174.33
Current children cumulated vsize (KiB) 684360
[startup+51.1005 s]
/proc/loadavg: 5.18 3.24 3.49 9/357 24014
/proc/meminfo: memFree=20955580/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=721984 CPUtime=378.72 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 231913 1259 0 0 37789 83 0 0 25 0 9 0 655328186 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 180496 133380 180 55 0 178382 0
[pid=23999/tid=24006] ppid=23997 vsize=721984 CPUtime=47.37 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 12348 1259 0 0 4734 3 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4318492 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=721984 CPUtime=47.46 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 14922 1259 0 0 4743 3 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4258469 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=721984 CPUtime=44.69 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 19786 1259 0 0 4422 47 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4353572 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=721984 CPUtime=46.13 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 5019 1259 0 0 4613 0 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4250986 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=721984 CPUtime=47.55 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 22515 1259 0 0 4752 3 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4252539 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=721984 CPUtime=47.54 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 17073 1259 0 0 4750 4 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4320482 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=721984 CPUtime=47.42 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 13123 1259 0 0 4740 2 0 0 25 0 9 0 655328532 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4336723 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=721984 CPUtime=47.03 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 18230 1259 0 0 4697 6 0 0 25 0 9 0 655328533 739311616 133380 33554432000 4194304 4417452 140737279117328 18446744073709551615 4287492 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 378.72
Current children cumulated vsize (KiB) 721984
[startup+102.314 s]
/proc/loadavg: 6.77 3.97 3.73 9/357 24015
/proc/meminfo: memFree=20944408/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=735192 CPUtime=787.77 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 247969 1259 0 0 78692 85 0 0 25 0 9 0 655328186 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 183798 136682 180 55 0 181684 0
[pid=23999/tid=24006] ppid=23997 vsize=735192 CPUtime=98.59 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 14855 1259 0 0 9856 3 0 0 25 0 9 0 655328532 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=735192 CPUtime=98.67 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 16349 1259 0 0 9864 3 0 0 25 0 9 0 655328532 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=735192 CPUtime=95.9 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 20534 1259 0 0 9543 47 0 0 25 0 9 0 655328532 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=735192 CPUtime=97.32 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 6856 1259 0 0 9731 1 0 0 25 0 9 0 655328532 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=735192 CPUtime=98.75 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 24626 1259 0 0 9872 3 0 0 25 0 9 0 655328532 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=735192 CPUtime=98.75 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 17879 1259 0 0 9871 4 0 0 25 0 9 0 655328532 752836608 136682 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1596834 174 0 0 25 0 9 0 655328186 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324797 279145 180 55 0 322683 0
[pid=23999/tid=24006] ppid=23997 vsize=1299188 CPUtime=1999.4 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 199932 8 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299188 CPUtime=1999.5 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 199937 13 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299188 CPUtime=1996.72 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 199618 54 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299188 CPUtime=1997.09 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 199677 32 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4353598 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299188 CPUtime=1999.17 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 199906 11 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299188 CPUtime=1999.26 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 199911 15 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4357204 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299188 CPUtime=1999.41 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 199931 10 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299188 CPUtime=1975.98 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 197584 14 0 0 25 0 9 0 655328533 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15970.1
Current children cumulated vsize (KiB) 1299188
[startup+2009.5 s]
/proc/loadavg: 8.03 8.03 7.46 9/357 24075
/proc/meminfo: memFree=20373172/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=1299188 CPUtime=16021.1 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1601931 177 0 0 25 0 9 0 655328186 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324797 279145 180 55 0 322683 0
[pid=23999/tid=24006] ppid=23997 vsize=1299188 CPUtime=2005.79 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 200571 8 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4365162 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299188 CPUtime=2005.88 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 200575 13 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299188 CPUtime=2003.1 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 200256 54 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299188 CPUtime=2003.45 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 200310 35 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4357552 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299188 CPUtime=2005.56 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 200545 11 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299188 CPUtime=2005.65 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 200550 15 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299188 CPUtime=2005.8 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 200570 10 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299188 CPUtime=1982.3 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 198216 14 0 0 25 0 9 0 655328533 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16021.1
Current children cumulated vsize (KiB) 1299188
[startup+2012.7 s]
/proc/loadavg: 8.03 8.03 7.46 9/357 24075
/proc/meminfo: memFree=20373048/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=1299188 CPUtime=16046.6 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1604487 177 0 0 25 0 9 0 655328186 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324797 279145 180 55 0 322683 0
[pid=23999/tid=24006] ppid=23997 vsize=1299188 CPUtime=2008.99 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 200891 8 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299188 CPUtime=2009.08 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 200895 13 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299188 CPUtime=2006.31 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 200577 54 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299188 CPUtime=2006.65 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 200630 35 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299188 CPUtime=2008.76 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 200865 11 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299188 CPUtime=2008.85 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 200870 15 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299188 CPUtime=2009 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 200890 10 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299188 CPUtime=1985.47 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 198533 14 0 0 25 0 9 0 655328533 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16046.6
Current children cumulated vsize (KiB) 1299188
[startup+2014.3 s]
/proc/loadavg: 8.03 8.03 7.46 9/357 24076
/proc/meminfo: memFree=20373048/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=1299188 CPUtime=16059.4 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1605764 177 0 0 25 0 9 0 655328186 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324797 279145 180 55 0 322683 0
[pid=23999/tid=24006] ppid=23997 vsize=1299188 CPUtime=2010.59 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 201051 8 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299188 CPUtime=2010.68 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 201055 13 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299188 CPUtime=2007.9 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 200736 54 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299188 CPUtime=2008.25 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 200790 35 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299188 CPUtime=2010.36 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 201025 11 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299188 CPUtime=2010.45 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 201030 15 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4237169 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299188 CPUtime=2010.6 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 201050 10 0 0 25 0 9 0 655328532 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299188 CPUtime=1987.04 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 198690 14 0 0 25 0 9 0 655328533 1330368512 279145 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16059.4
Current children cumulated vsize (KiB) 1299188
[startup+2015.1 s]
/proc/loadavg: 8.03 8.03 7.46 9/357 24076
/proc/meminfo: memFree=20373048/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=1299176 CPUtime=16065.9 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1606411 177 0 0 25 0 9 0 655328186 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324794 279142 180 55 0 322680 0
[pid=23999/tid=24006] ppid=23997 vsize=1299176 CPUtime=2011.4 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 201132 8 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299176 CPUtime=2011.5 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 201137 13 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281683 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299176 CPUtime=2008.72 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 200818 54 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299176 CPUtime=2009.06 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 200871 35 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299176 CPUtime=2011.17 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 201106 11 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299176 CPUtime=2011.26 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 201111 15 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299176 CPUtime=2011.41 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 201131 10 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299176 CPUtime=1987.84 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 198770 14 0 0 25 0 9 0 655328533 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4282496 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16065.9
Current children cumulated vsize (KiB) 1299176
[startup+2015.3 s]
/proc/loadavg: 8.03 8.03 7.46 9/357 24076
/proc/meminfo: memFree=20373048/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=1299176 CPUtime=16067.4 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1606563 177 0 0 25 0 9 0 655328186 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324794 279142 180 55 0 322680 0
[pid=23999/tid=24006] ppid=23997 vsize=1299176 CPUtime=2011.59 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 201151 8 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364495 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299176 CPUtime=2011.68 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 201155 13 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299176 CPUtime=2008.9 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 200836 54 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299176 CPUtime=2009.25 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 200890 35 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299176 CPUtime=2011.36 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 201125 11 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299176 CPUtime=2011.45 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 201130 15 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4353572 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299176 CPUtime=2011.6 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 201150 10 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299176 CPUtime=1988.03 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 198789 14 0 0 25 0 9 0 655328533 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4286255 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16067.4
Current children cumulated vsize (KiB) 1299176
[startup+2015.4 s]
/proc/loadavg: 8.03 8.03 7.46 9/357 24076
/proc/meminfo: memFree=20373048/32951132 swapFree=64495980/67111528
[pid=23999] ppid=23997 vsize=1299176 CPUtime=16068.2 cores=0-7
/proc/23999/stat : 23999 (plingeling) S 23997 23999 23933 0 -1 4202496 677384 1259 0 0 1606643 177 0 0 25 0 9 0 655328186 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 210658949093 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/23999/statm: 324794 279142 180 55 0 322680 0
[pid=23999/tid=24006] ppid=23997 vsize=1299176 CPUtime=2011.69 cores=0-7
/proc/23999/task/24006/stat : 24006 (plingeling) R 23997 23999 23933 0 -1 4202560 57351 1259 0 0 201161 8 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=1299176 CPUtime=2011.78 cores=0-7
/proc/23999/task/24007/stat : 24007 (plingeling) R 23997 23999 23933 0 -1 4202560 75215 1259 0 0 201165 13 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=1299176 CPUtime=2009 cores=0-7
/proc/23999/task/24008/stat : 24008 (plingeling) R 23997 23999 23933 0 -1 4202560 76461 1259 0 0 200846 54 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281863 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=23999/tid=24009] ppid=23997 vsize=1299176 CPUtime=2009.35 cores=0-7
/proc/23999/task/24009/stat : 24009 (plingeling) R 23997 23999 23933 0 -1 4202560 34341 1259 0 0 200900 35 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=23999/tid=24010] ppid=23997 vsize=1299176 CPUtime=2011.46 cores=0-7
/proc/23999/task/24010/stat : 24010 (plingeling) R 23997 23999 23933 0 -1 4202560 81507 1259 0 0 201135 11 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=23999/tid=24011] ppid=23997 vsize=1299176 CPUtime=2011.55 cores=0-7
/proc/23999/task/24011/stat : 24011 (plingeling) R 23997 23999 23933 0 -1 4202560 81970 1259 0 0 201140 15 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4236778 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=23999/tid=24012] ppid=23997 vsize=1299176 CPUtime=2011.7 cores=0-7
/proc/23999/task/24012/stat : 24012 (plingeling) R 23997 23999 23933 0 -1 4202560 70988 1259 0 0 201160 10 0 0 25 0 9 0 655328532 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=23999/tid=24013] ppid=23997 vsize=1299176 CPUtime=1988.13 cores=0-7
/proc/23999/task/24013/stat : 24013 (plingeling) R 23997 23999 23933 0 -1 4202560 90654 1259 0 0 198799 14 0 0 25 0 9 0 655328533 1330356224 279142 33554432000 4194304 4417452 140737279117328 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16068.2
Current children cumulated vsize (KiB) 1299176
Child status: 20
Real time (s): 2015.47
CPU time (s): 16068.4
CPU user time (s): 16066.6
CPU system time (s): 1.82272
CPU usage (%): 797.252
Max. virtual memory (cumulated for all children) (KiB): 1364072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16066.6
system time used= 1.82272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 678647
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= 609
involuntary context switches= 58042
runsolver used 6.26805 second user time and 17.5603 second system time
The end
Begin job on node129 at 2011-05-15 07:28:06
IDJOB=3372311
IDBENCH=71036
IDSOLVER=1851
FILE ID=node129/3372311-1305437285
RUNJOBID= node129-1305437281-23947
PBS_JOBID= 13324767
Free space on /tmp= 73388 MiB
SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372311-1305437285/watcher-3372311-1305437285 -o /tmp/evaluation-result-3372311-1305437285/solver-3372311-1305437285 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372311-1305437285.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=376192846
node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.831
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 21488264 kB
Buffers: 253356 kB
Cached: 6032688 kB
SwapCached: 52668 kB
Active: 2944732 kB
Inactive: 8289788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 21488264 kB
SwapTotal: 67111528 kB
SwapFree: 64495980 kB
Dirty: 26324 kB
Writeback: 0 kB
AnonPages: 4904284 kB
Mapped: 16836 kB
Slab: 122136 kB
PageTables: 37288 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 79732268 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73388 MiB
End job on node129 at 2011-05-15 08:01:41