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 (13469 MiB free)
memory of node 1: 16384 MiB (13875 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300695-1532855665/watcher-4300695-1532855665 -o /tmp/evaluation-result-4300695-1532855665/solver-4300695-1532855665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532845227-1222 --watchdog 2580 minimacht 2520 HOME/instance-4300695-1532855665.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
solver pid=2339, runsolver pid=2336
Current StackSize limit: 8192 KiB
[startup+0.100119 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=28000472/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26528 memory=3196 CPUtime=0.09 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 983 0 0 0 9 0 0 0 20 0 1 0 103129685 27164672 799 33554432000 4194304 5224576 140728317505696 140728317502696 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6632 799 648 252 0 178 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 3196 KiB
[startup+0.20933 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=28000472/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26528 memory=3196 CPUtime=0.21 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 988 0 0 0 20 1 0 0 20 0 1 0 103129685 27164672 799 33554432000 4194304 5224576 140728317505696 140728317502696 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6632 799 648 252 0 178 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 26528 KiB
Current children cumulated memory: 3196 KiB
[startup+0.308797 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=28000472/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26660 memory=3196 CPUtime=0.3 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 992 0 0 0 29 1 0 0 20 0 1 0 103129685 27299840 799 33554432000 4194304 5224576 140728317505696 140728317502696 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6665 799 648 252 0 211 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3196 KiB
[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=28000472/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26660 memory=3196 CPUtime=0.69 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 999 0 0 0 64 5 0 0 20 0 1 0 103129685 27299840 799 33554432000 4194304 5224576 140728317505696 140728317502696 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6665 799 648 252 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3196 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=28000444/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26660 memory=3196 CPUtime=1.49 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 1009 0 0 0 137 12 0 0 20 0 1 0 103129685 27299840 799 33554432000 4194304 5224576 140728317505696 140728317502696 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6665 799 648 252 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3196 KiB
[startup+3.10893 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=28000172/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26660 memory=3404 CPUtime=3.1 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 1134 0 0 0 286 24 0 0 20 0 1 0 103129685 27299840 851 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6665 851 659 252 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 26660 KiB
Current children cumulated memory: 3404 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=27999792/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26792 memory=3436 CPUtime=6.28 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 1259 0 0 0 581 47 0 0 20 0 1 0 103129685 27435008 859 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6698 859 659 252 0 244 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3436 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=27999832/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26792 memory=3460 CPUtime=12.69 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 1410 0 0 0 1178 91 0 0 20 0 1 0 103129685 27435008 865 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6698 865 659 252 0 244 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3460 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 2340
/proc/meminfo: memFree=27999832/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26792 memory=3524 CPUtime=25.49 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 1687 0 0 0 2359 190 0 0 20 0 1 0 103129685 27435008 881 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6698 881 659 252 0 244 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3524 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2340
/proc/meminfo: memFree=28000076/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26792 memory=3564 CPUtime=51.11 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 1871 0 0 0 4710 401 0 0 20 0 1 0 103129685 27435008 891 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6698 891 664 252 0 244 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 26792 KiB
Current children cumulated memory: 3564 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2341
/proc/meminfo: memFree=27999704/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3596 CPUtime=102.3 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2002 0 0 0 9438 792 0 0 20 0 1 0 103129685 27570176 899 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 899 664 252 0 277 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3596 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2342
/proc/meminfo: memFree=27999524/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3624 CPUtime=162.3 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2212 0 0 0 14956 1274 0 0 20 0 1 0 103129685 27570176 906 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 906 664 252 0 277 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3624 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 2343
/proc/meminfo: memFree=27999684/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3656 CPUtime=222.31 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2392 0 0 0 20488 1743 0 0 20 0 1 0 103129685 27570176 914 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 914 664 252 0 277 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3656 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 2344
/proc/meminfo: memFree=27999676/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3656 CPUtime=282.32 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2395 0 0 0 26013 2219 0 0 20 0 1 0 103129685 27570176 914 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 914 664 252 0 277 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3656 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2352
/proc/meminfo: memFree=27998864/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3688 CPUtime=342.33 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2581 0 0 0 31527 2706 0 0 20 0 1 0 103129685 27570176 922 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 922 664 252 0 277 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3688 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2354
/proc/meminfo: memFree=27999112/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3688 CPUtime=402.34 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2586 0 0 0 37026 3208 0 0 20 0 1 0 103129685 27570176 922 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 922 664 252 0 277 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3688 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 2355
/proc/meminfo: memFree=27999544/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=26924 memory=3712 CPUtime=462.34 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 2728 0 0 0 42507 3727 0 0 20 0 1 0 103129685 27570176 928 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6731 928 664 252 0 277 0
Current children cumulated CPU time: 462.34 s
Current children cumulated vsize: 26924 KiB
Current children cumulated memory: 3712 KiB
################
# More data... #
################
Current children cumulated memory: 3800 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 2403
/proc/meminfo: memFree=27999672/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3800 CPUtime=2082.53 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 4735 0 0 0 191377 16876 0 0 20 0 1 0 103129685 27705344 950 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 950 664 252 0 310 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3800 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 2412
/proc/meminfo: memFree=27998892/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3808 CPUtime=2142.54 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 4848 0 0 0 196915 17339 0 0 20 0 1 0 103129685 27705344 952 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 952 664 252 0 310 0
Current children cumulated CPU time: 2142.54 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3808 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 2474
/proc/meminfo: memFree=28001916/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3808 CPUtime=2202.55 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 4854 0 0 0 202426 17829 0 0 20 0 1 0 103129685 27705344 952 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 952 664 252 0 310 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3808 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 2475
/proc/meminfo: memFree=28001916/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3808 CPUtime=2262.55 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 4961 0 0 0 207949 18306 0 0 20 0 1 0 103129685 27705344 952 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 952 664 252 0 310 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3808 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 2476
/proc/meminfo: memFree=28001652/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3808 CPUtime=2322.56 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 4972 0 0 0 213476 18780 0 0 20 0 1 0 103129685 27705344 952 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 952 664 252 0 310 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3808 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 2477
/proc/meminfo: memFree=28001140/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2382.57 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5080 0 0 0 219035 19222 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2382.57 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 2479
/proc/meminfo: memFree=28000832/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2442.58 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5084 0 0 0 224578 19680 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000120/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2502.59 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 230112 20147 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2502.59 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2519.71 s]
# the end of solver process 2339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2317.2 s, system=202.807 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000120/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2509.08 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 230713 20195 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2509.08 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2515.2 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000244/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2515.48 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 231304 20244 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2515.48 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2516.8 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000244/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2517.09 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 231451 20258 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2517.09 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2518.4 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000244/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2518.68 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 231599 20269 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2518.68 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2519.2 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000244/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2519.48 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 231673 20275 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2519.48 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2519.6 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000244/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2519.89 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 231710 20279 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
[startup+2519.7 s]
/proc/loadavg: 2.03 2.01 2.05 3/187 2480
/proc/meminfo: memFree=28000244/32770624 swapFree=67108532/67108860
[pid=2339] ppid=2336 vsize=27056 memory=3812 CPUtime=2519.98 cores=1,3,5,7
/proc/2339/stat : 2339 (minimacht) R 2336 2339 1190 0 -1 4202496 5193 0 0 0 231718 20280 0 0 20 0 1 0 103129685 27705344 953 33554432000 4194304 5224576 140728317505696 140728317504552 140368032035196 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 7325440 7329888 25792512 140728317510835 140728317510917 140728317510917 140728317513675 0
/proc/2339/statm: 6764 953 664 252 0 310 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 27056 KiB
Current children cumulated memory: 3812 KiB
Child status: 0
Real time (s): 2519.71
CPU time (s): 2520.01
CPU user time (s): 2317.2
CPU system time (s): 202.807
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 27056
Max. memory (cumulated for all children) (KiB): 3812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2317.2
system time used= 202.807
maximum resident set size= 3828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5338
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= 8
involuntary context switches= 749
# summary of solver processes directly reported to runsolver:
# pid: 2339
# total CPU time (s): 2520.01
# total CPU user time (s): 2317.2
# total CPU system time (s): 202.807
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.60555 second user time and 15.8433 second system time
The end