runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (7050 MiB free)
memory of node 1: 16384 MiB (4480 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305877-1534130372/watcher-4305877-1534130372 -o /tmp/evaluation-result-4305877-1534130372/solver-4305877-1534130372 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534130367-27857 --watchdog 2580 macht 2520 HOME/instance-4305877-1534130372.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=28490, runsolver pid=28487
[startup+0.10049 s]*
/proc/loadavg: 0.84 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11795272/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38636 memory=8512 CPUtime=0.1 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 2310 0 0 0 10 0 0 0 20 0 1 0 230600400 39563264 2128 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9659 2128 489 7860 0 1764 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 8512 KiB
[startup+0.210027 s]*
/proc/loadavg: 0.84 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11785972/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38636 memory=8512 CPUtime=0.21 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 2310 0 0 0 21 0 0 0 20 0 1 0 230600400 39563264 2128 33554432000 4194304 36388816 140724251341648 140724251339048 4294899 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9659 2128 489 7860 0 1764 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 8512 KiB
[startup+0.309342 s]*
/proc/loadavg: 0.84 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11785972/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38636 memory=8776 CPUtime=0.31 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 2328 0 0 0 31 0 0 0 20 0 1 0 230600400 39563264 2194 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9659 2194 498 7860 0 1764 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38636 KiB
Current children cumulated memory: 8776 KiB
[startup+0.700272 s]
/proc/loadavg: 0.84 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11785972/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38768 memory=8776 CPUtime=0.69 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 2334 0 0 0 69 0 0 0 20 0 1 0 230600400 39698432 2194 33554432000 4194304 36388816 140724251341648 140724251339048 4459607 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9692 2194 498 7860 0 1797 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38768 KiB
Current children cumulated memory: 8776 KiB
[startup+1.50027 s]
/proc/loadavg: 0.84 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11785688/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38768 memory=8776 CPUtime=1.49 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 2339 0 0 0 149 0 0 0 20 0 1 0 230600400 39698432 2194 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9692 2194 498 7860 0 1797 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38768 KiB
Current children cumulated memory: 8776 KiB
[startup+3.10933 s]
/proc/loadavg: 0.85 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11744000/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38768 memory=8856 CPUtime=3.1 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 3215 0 0 0 309 1 0 0 20 0 1 0 230600400 39698432 2214 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9692 2214 505 7860 0 1797 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 38768 KiB
Current children cumulated memory: 8856 KiB
[startup+6.30026 s]
/proc/loadavg: 0.85 0.81 1.07 3/195 28501
/proc/meminfo: memFree=11783992/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38768 memory=8884 CPUtime=6.28 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 3530 0 0 0 627 1 0 0 20 0 1 0 230600400 39698432 2221 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9692 2221 505 7860 0 1797 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 38768 KiB
Current children cumulated memory: 8884 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 0.83 1.08 3/195 28501
/proc/meminfo: memFree=11784304/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38768 memory=8916 CPUtime=12.68 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 3850 0 0 0 1265 3 0 0 20 0 1 0 230600400 39698432 2229 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9692 2229 505 7860 0 1797 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 38768 KiB
Current children cumulated memory: 8916 KiB
[startup+25.5003 s]
/proc/loadavg: 1.18 0.89 1.09 3/195 28501
/proc/meminfo: memFree=11785132/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=8956 CPUtime=25.49 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 4501 0 0 0 2543 6 0 0 20 0 1 0 230600400 39833600 2239 33554432000 4194304 36388816 140724251341648 140724251339048 4462086 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2239 505 7860 0 1830 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 8956 KiB
[startup+51.1094 s]
/proc/loadavg: 1.46 0.98 1.12 3/196 28509
/proc/meminfo: memFree=11784632/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=8984 CPUtime=51.09 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 4843 0 0 0 5098 11 0 0 20 0 1 0 230600400 39833600 2246 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2246 505 7860 0 1830 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 8984 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 1.14 1.16 3/196 28510
/proc/meminfo: memFree=11784372/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=9084 CPUtime=102.27 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 5047 0 0 0 10204 23 0 0 20 0 1 0 230600400 39833600 2271 33554432000 4194304 36388816 140724251341648 140724251339048 4462032 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2271 505 7860 0 1830 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 9084 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.29 1.21 3/196 28511
/proc/meminfo: memFree=11783876/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=9104 CPUtime=162.27 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 5256 0 0 0 16188 39 0 0 20 0 1 0 230600400 39833600 2276 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2276 505 7860 0 1830 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 9104 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.42 1.26 3/196 28512
/proc/meminfo: memFree=11783500/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=9120 CPUtime=222.26 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 5469 0 0 0 22172 54 0 0 20 0 1 0 230600400 39833600 2280 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2280 505 7860 0 1830 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 9120 KiB
[startup+282.3 s]
/proc/loadavg: 1.94 1.51 1.30 3/195 28513
/proc/meminfo: memFree=11783724/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=9136 CPUtime=282.27 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 5683 0 0 0 28159 68 0 0 20 0 1 0 230600400 39833600 2284 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2284 505 7860 0 1830 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 9136 KiB
[startup+342.3 s]
/proc/loadavg: 1.98 1.60 1.35 3/191 28516
/proc/meminfo: memFree=11783636/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=38900 memory=9152 CPUtime=342.27 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 5902 0 0 0 34147 80 0 0 20 0 1 0 230600400 39833600 2288 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9725 2288 505 7860 0 1830 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 38900 KiB
Current children cumulated memory: 9152 KiB
[startup+402.3 s]
/proc/loadavg: 1.99 1.67 1.39 3/191 28517
/proc/meminfo: memFree=11783764/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9152 CPUtime=402.27 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 5905 0 0 0 40134 93 0 0 20 0 1 0 230600400 39968768 2288 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2288 505 7860 0 1863 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9152 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.73 1.43 3/191 28518
/proc/meminfo: memFree=11783480/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9172 CPUtime=462.27 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 6126 0 0 0 46119 108 0 0 20 0 1 0 230600400 39968768 2293 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2293 505 7860 0 1863 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9172 KiB
################
# More data... #
################
/proc/28490/statm: 9758 2308 505 7860 0 1863 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9232 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/192 28629
/proc/meminfo: memFree=11793528/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9232 CPUtime=1842.38 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 8673 0 0 0 183815 423 0 0 20 0 1 0 230600400 39968768 2308 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2308 505 7860 0 1863 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9232 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/191 28630
/proc/meminfo: memFree=11794016/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9232 CPUtime=1902.38 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 8910 0 0 0 189801 437 0 0 20 0 1 0 230600400 39968768 2308 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2308 505 7860 0 1863 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9232 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/191 28631
/proc/meminfo: memFree=11793752/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9232 CPUtime=1962.38 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 8910 0 0 0 195789 449 0 0 20 0 1 0 230600400 39968768 2308 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2308 505 7860 0 1863 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9232 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/191 28632
/proc/meminfo: memFree=11793768/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9236 CPUtime=2022.39 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9135 0 0 0 201774 465 0 0 20 0 1 0 230600400 39968768 2309 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2309 505 7860 0 1863 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9236 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/191 28633
/proc/meminfo: memFree=11793748/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9236 CPUtime=2082.38 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9148 0 0 0 207760 478 0 0 20 0 1 0 230600400 39968768 2309 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2309 505 7860 0 1863 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9236 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/190 28635
/proc/meminfo: memFree=11793952/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9244 CPUtime=2142.39 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9373 0 0 0 213749 490 0 0 20 0 1 0 230600400 39968768 2311 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2311 505 7860 0 1863 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9244 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/191 28637
/proc/meminfo: memFree=11793820/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9244 CPUtime=2202.4 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9378 0 0 0 219737 503 0 0 20 0 1 0 230600400 39968768 2311 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2311 505 7860 0 1863 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9244 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/191 28638
/proc/meminfo: memFree=11793588/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9244 CPUtime=2262.4 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9603 0 0 0 225724 516 0 0 20 0 1 0 230600400 39968768 2311 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2311 505 7860 0 1863 0
Current children cumulated CPU time: 2262.4 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9244 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/191 28640
/proc/meminfo: memFree=11794312/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9244 CPUtime=2322.41 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9617 0 0 0 231711 530 0 0 20 0 1 0 230600400 39968768 2311 33554432000 4194304 36388816 140724251341648 140724251339048 6663721 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2311 505 7860 0 1863 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9244 KiB
[startup+2382.3 s]
/proc/loadavg: 2.05 2.02 1.94 3/191 28641
/proc/meminfo: memFree=11793676/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9248 CPUtime=2382.41 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9845 0 0 0 237697 544 0 0 20 0 1 0 230600400 39968768 2312 33554432000 4194304 36388816 140724251341648 140724251339048 4598724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2312 505 7860 0 1863 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9248 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/192 28650
/proc/meminfo: memFree=11792808/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9248 CPUtime=2442.41 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 9850 0 0 0 243682 559 0 0 20 0 1 0 230600400 39968768 2312 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2312 505 7860 0 1863 0
Current children cumulated CPU time: 2442.41 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9248 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/191 28673
/proc/meminfo: memFree=11791908/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9248 CPUtime=2502.42 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 10072 0 0 0 249668 574 0 0 20 0 1 0 230600400 39968768 2312 33554432000 4194304 36388816 140724251341648 140724251339048 4661698 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2312 505 7860 0 1863 0
Current children cumulated CPU time: 2502.42 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.01 2.01 1.95 3/191 28673
/proc/meminfo: memFree=11792572/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9248 CPUtime=2520.01 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 10078 0 0 0 251423 578 0 0 20 0 1 0 230600400 39968768 2312 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2312 505 7860 0 1863 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9248 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.9 s]
# the end of solver process 28490 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.24 s, system=5.7903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.01 2.01 1.95 3/191 28673
/proc/meminfo: memFree=11792572/32770624 swapFree=67108852/67108860
[pid=28490] ppid=28487 vsize=39032 memory=9248 CPUtime=2520.01 cores=1,3,5,7
/proc/28490/stat : 28490 (macht) R 28487 28490 20994 0 -1 4202496 10078 0 0 0 251423 578 0 0 20 0 1 0 230600400 39968768 2312 33554432000 4194304 36388816 140724251341648 140724251339048 8047687 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 38489992 38625312 68304896 140724251346107 140724251346185 140724251346185 140724251348943 0
/proc/28490/statm: 9758 2312 505 7860 0 1863 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 39032 KiB
Current children cumulated memory: 9248 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.9
CPU time (s): 2520.03
CPU user time (s): 2514.24
CPU system time (s): 5.7903
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 39032
Max. memory (cumulated for all children) (KiB): 9248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.24
system time used= 5.7903
maximum resident set size= 9248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10078
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= 5
involuntary context switches= 833
# summary of solver processes directly reported to runsolver:
# pid: 28490
# total CPU time (s): 2520.03
# total CPU user time (s): 2514.24
# total CPU system time (s): 5.7903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.53817 second user time and 16.4266 second system time
The end