runsolver version 3.4.2 (svn: 4680) 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: 63665 MiB (61547 MiB free)
  memory of node 1: 64507 MiB (63815 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488555-1751328726/watcher-4488555-1751328726 -o /tmp/evaluation-result-4488555-1751328726/solver-4488555-1751328726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751325114-48339 --watchdog 3760 HOME/uwrmaxsat HOME/instance-4488555-1751328726.opb -mem-lim=31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49003, runsolver pid=49000

[startup+0.100063 s]*
/proc/loadavg: 4.09 4.10 4.10 4/260 49004
/proc/meminfo: memFree=128351564/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=6728 memory=6016 CPUtime=0.09 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 1090 0 0 0 9 0 0 0 20 0 1 0 48550492 6889472 1504 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 1682 1504 512 484 0 1093 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 6728 KiB
Current children cumulated memory: 6016 KiB

[startup+0.205508 s]*
/proc/loadavg: 4.09 4.10 4.10 4/260 49004
/proc/meminfo: memFree=128327548/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=7384 memory=6656 CPUtime=0.2 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 1255 0 0 0 20 0 0 0 20 0 1 0 48550492 7561216 1664 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 1846 1664 512 484 0 1257 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 7384 KiB
Current children cumulated memory: 6656 KiB

[startup+0.305606 s]*
/proc/loadavg: 4.09 4.10 4.10 4/260 49004
/proc/meminfo: memFree=128311672/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=9460 memory=8588 CPUtime=0.3 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 1942 0 0 0 30 0 0 0 20 0 1 0 48550492 9687040 2147 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 2365 2147 512 484 0 1776 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 9460 KiB
Current children cumulated memory: 8588 KiB

[startup+0.700122 s]
/proc/loadavg: 4.09 4.10 4.10 4/263 49010
/proc/meminfo: memFree=128271304/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=9960 memory=9192 CPUtime=0.68 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 3112 0 0 0 68 0 0 0 20 0 1 0 48550492 10199040 2298 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 2490 2298 512 484 0 1901 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 9960 KiB
Current children cumulated memory: 9192 KiB

[startup+1.50013 s]
/proc/loadavg: 4.09 4.10 4.10 5/264 49041
/proc/meminfo: memFree=128182624/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=14912 memory=14104 CPUtime=1.48 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 5181 0 0 0 148 0 0 0 20 0 1 0 48550492 15269888 3526 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 3728 3526 512 484 0 3139 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 14912 KiB
Current children cumulated memory: 14104 KiB

[startup+3.10574 s]
/proc/loadavg: 4.09 4.10 4.10 5/264 49041
/proc/meminfo: memFree=128075308/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=17704 memory=16940 CPUtime=3.08 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 6366 0 0 0 307 1 0 0 20 0 1 0 48550492 18128896 4235 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 4426 4235 512 484 0 3837 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 17704 KiB
Current children cumulated memory: 16940 KiB

[startup+6.30013 s]
/proc/loadavg: 4.09 4.10 4.10 5/264 49042
/proc/meminfo: memFree=128072020/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=17948 memory=17164 CPUtime=6.27 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 6922 0 0 0 626 1 0 0 20 0 1 0 48550492 18378752 4291 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 4487 4291 512 484 0 3898 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 17948 KiB
Current children cumulated memory: 17164 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.10 5/264 49087
/proc/meminfo: memFree=128246352/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=19324 memory=18508 CPUtime=12.62 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 12483 0 0 0 1257 5 0 0 20 0 1 0 48550492 19787776 4627 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 4831 4627 512 484 0 4242 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 19324 KiB
Current children cumulated memory: 18508 KiB

[startup+25.5001 s]
/proc/loadavg: 4.14 4.10 4.10 5/263 49087
/proc/meminfo: memFree=128219032/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=23876 memory=23268 CPUtime=25.38 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 16537 0 0 0 2532 6 0 0 20 0 1 0 48550492 24449024 5817 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 5969 5817 512 484 0 5380 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 23876 KiB
Current children cumulated memory: 23268 KiB

[startup+51.1053 s]
/proc/loadavg: 4.09 4.10 4.10 5/263 49087
/proc/meminfo: memFree=126708136/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=29120 memory=28384 CPUtime=50.89 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 20685 0 0 0 5082 7 0 0 20 0 1 0 48550492 29818880 7096 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 7280 7096 512 484 0 6691 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 29120 KiB
Current children cumulated memory: 28384 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.12 4.11 5/263 49089
/proc/meminfo: memFree=126648120/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=36376 memory=35612 CPUtime=101.89 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 26556 0 0 0 10180 9 0 0 20 0 1 0 48550492 37249024 8903 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 9094 8903 512 484 0 8505 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 36376 KiB
Current children cumulated memory: 35612 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/263 49092
/proc/meminfo: memFree=126100292/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=40160 memory=38400 CPUtime=161.68 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 30655 0 0 0 16157 11 0 0 20 0 1 0 48550492 41123840 9600 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 10040 9600 512 484 0 9451 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 40160 KiB
Current children cumulated memory: 38400 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 49138
/proc/meminfo: memFree=128408988/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=59012 memory=58184 CPUtime=221.46 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 37049 0 0 0 22134 12 0 0 20 0 1 0 48550492 60428288 14546 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 14753 14546 512 484 0 14164 0
Current children cumulated CPU time: 221.46 s
Current children cumulated vsize: 59012 KiB
Current children cumulated memory: 58184 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.15 4.11 5/264 49141
/proc/meminfo: memFree=128386140/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=50756 memory=49348 CPUtime=281.26 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 42810 0 0 0 28111 15 0 0 20 0 1 0 48550492 51974144 12337 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 12689 12337 512 484 0 12100 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 50756 KiB
Current children cumulated memory: 49348 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/264 49145
/proc/meminfo: memFree=128347584/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=49592 memory=48812 CPUtime=341.05 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 46951 0 0 0 34088 17 0 0 20 0 1 0 48550492 50782208 12203 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 12398 12203 512 484 0 11809 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 49592 KiB
Current children cumulated memory: 48812 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/265 49152
/proc/meminfo: memFree=128354944/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=72636 memory=71756 CPUtime=400.85 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 51594 0 0 0 40066 19 0 0 20 0 1 0 48550492 74379264 17939 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 18159 17939 512 484 0 17570 0
Current children cumulated CPU time: 400.85 s
Current children cumulated vsize: 72636 KiB
Current children cumulated memory: 71756 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/265 49155
/proc/meminfo: memFree=128336752/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=62512 memory=61860 CPUtime=460.64 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 53089 0 0 0 46044 20 0 0 20 0 1 0 48550492 64012288 15465 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 15628 15465 512 484 0 15039 0
Current children cumulated CPU time: 460.64 s

################
# More data... #
################

Current children cumulated memory: 189132 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 49274
/proc/meminfo: memFree=127896544/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=195948 memory=195148 CPUtime=2913.26 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91332 0 0 0 291275 51 0 0 20 0 1 0 48550492 200650752 48787 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 48987 48787 512 484 0 48398 0
Current children cumulated CPU time: 2913.26 s
Current children cumulated vsize: 195948 KiB
Current children cumulated memory: 195148 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 49291
/proc/meminfo: memFree=127896924/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=195948 memory=195148 CPUtime=2973.08 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91352 0 0 0 297257 51 0 0 20 0 1 0 48550492 200650752 48787 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 48987 48787 512 484 0 48398 0
Current children cumulated CPU time: 2973.08 s
Current children cumulated vsize: 195948 KiB
Current children cumulated memory: 195148 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 49293
/proc/meminfo: memFree=127919616/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3032.9 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91638 0 0 0 303239 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3032.9 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 49296
/proc/meminfo: memFree=127928924/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3092.72 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91694 0 0 0 309221 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3092.72 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 49298
/proc/meminfo: memFree=127930488/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3152.55 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91730 0 0 0 315204 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3152.55 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 49300
/proc/meminfo: memFree=127933736/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3212.37 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91730 0 0 0 321186 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3212.37 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 49302
/proc/meminfo: memFree=127934932/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3272.19 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91788 0 0 0 327168 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3272.19 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 49307
/proc/meminfo: memFree=127927132/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3332.02 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91810 0 0 0 333151 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 49314
/proc/meminfo: memFree=127927460/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=197044 memory=196172 CPUtime=3391.84 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 91810 0 0 0 339133 51 0 0 20 0 1 0 48550492 201773056 49043 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49261 49043 512 484 0 48672 0
Current children cumulated CPU time: 3391.84 s
Current children cumulated vsize: 197044 KiB
Current children cumulated memory: 196172 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 49316
/proc/meminfo: memFree=127996208/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=135164 memory=134384 CPUtime=3451.66 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 92847 0 0 0 345114 52 0 0 20 0 1 0 48550492 138407936 33596 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 33791 33596 512 484 0 33202 0
Current children cumulated CPU time: 3451.66 s
Current children cumulated vsize: 135164 KiB
Current children cumulated memory: 134384 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/265 49320
/proc/meminfo: memFree=127982620/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=166984 memory=166092 CPUtime=3511.48 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 93651 0 0 0 351095 53 0 0 20 0 1 0 48550492 170991616 41523 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 41746 41523 512 484 0 41157 0
Current children cumulated CPU time: 3511.48 s
Current children cumulated vsize: 166984 KiB
Current children cumulated memory: 166092 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 49322
/proc/meminfo: memFree=127912000/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=199476 memory=198604 CPUtime=3571.31 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 94109 0 0 0 357077 54 0 0 20 0 1 0 48550492 204263424 49651 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49869 49651 512 484 0 49280 0
Current children cumulated CPU time: 3571.31 s
Current children cumulated vsize: 199476 KiB
Current children cumulated memory: 198604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 49323
/proc/meminfo: memFree=127914888/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=199476 memory=198604 CPUtime=3600.03 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 94109 0 0 0 359949 54 0 0 20 0 1 0 48550492 204263424 49651 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49869 49651 512 484 0 49280 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 199476 KiB
Current children cumulated memory: 198604 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.11 s]
# the end of solver process 49003 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3599.49 s, system=0.543026 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.11 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 49323
/proc/meminfo: memFree=127914888/131250000 swapFree=33010684/33010684
[pid=49003] ppid=49000 vsize=199476 memory=198604 CPUtime=3600.03 cores=0,2
/proc/49003/stat : 49003 (uwrmaxsat) R 49000 49003 48329 0 -1 4194304 94109 0 0 0 359949 54 0 0 20 0 1 0 48550492 204263424 49651 18446744073709551615 4198400 6176925 140725037810288 0 0 0 0 0 8416290 0 0 0 17 0 0 0 0 0 0 6553704 6596784 15536128 140725037812074 140725037812201 140725037812201 140725037817803 0
/proc/49003/statm: 49869 49651 512 484 0 49280 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 199476 KiB
Current children cumulated memory: 198604 KiB

Child status: 10

Real time (s): 3611.11
CPU time (s): 3600.04
CPU user time (s): 3599.49
CPU system time (s): 0.543026
CPU usage (%): 99.6934
Max. virtual memory (cumulated for all children) (KiB): 232052
Max. memory (cumulated for all children) (KiB): 231172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.49
system time used= 0.543026
maximum resident set size= 231172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94112
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= 29
involuntary context switches= 22049


# summary of solver processes directly reported to runsolver:
#   pid: 49003
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.49
#   total CPU system time (s): 0.543026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87765 second user time and 15.5007 second system time

The end