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: 63708 MiB (61466 MiB free)
  memory of node 1: 64465 MiB (62822 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4483585-1751566331/watcher-4483585-1751566331 -o /tmp/evaluation-result-4483585-1751566331/solver-4483585-1751566331 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751566331-78880 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=2067714585 --ls=360 HOME/instance-4483585-1751566331.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=78936, runsolver pid=78921

[startup+0.100061 s]*
/proc/loadavg: 0.50 1.12 2.02 6/265 78937
/proc/meminfo: memFree=127266280/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=0.09 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 9 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+0.204618 s]*
/proc/loadavg: 0.50 1.12 2.02 6/265 78937
/proc/meminfo: memFree=127265788/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=0.2 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 20 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+0.304465 s]*
/proc/loadavg: 0.50 1.12 2.02 6/265 78937
/proc/meminfo: memFree=127265788/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=0.3 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 30 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+0.7001 s]
/proc/loadavg: 0.50 1.12 2.02 6/265 78937
/proc/meminfo: memFree=127265788/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=0.69 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 69 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+1.5001 s]
/proc/loadavg: 0.50 1.12 2.02 6/265 78937
/proc/meminfo: memFree=127265788/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=1.48 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 148 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+3.10437 s]
/proc/loadavg: 0.78 1.17 2.03 6/265 78937
/proc/meminfo: memFree=127265796/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=3.09 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 309 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+6.3001 s]
/proc/loadavg: 0.78 1.17 2.03 6/266 78938
/proc/meminfo: memFree=127266316/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=6.27 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 627 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+12.7001 s]
/proc/loadavg: 1.35 1.28 2.06 6/266 78938
/proc/meminfo: memFree=127266672/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=12.65 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 1265 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+25.5001 s]
/proc/loadavg: 1.76 1.37 2.08 6/266 78938
/proc/meminfo: memFree=127266824/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=25.42 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 2542 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+51.1044 s]
/proc/loadavg: 2.53 1.58 2.13 6/266 78939
/proc/meminfo: memFree=127266912/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=50.95 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 5095 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+102.3 s]
/proc/loadavg: 3.40 1.97 2.24 6/265 78941
/proc/meminfo: memFree=127263464/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=102 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 10200 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+162.3 s]
/proc/loadavg: 4.69 2.60 2.44 6/264 78942
/proc/meminfo: memFree=127263040/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=161.83 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 16183 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+222.3 s]
/proc/loadavg: 4.36 2.90 2.55 6/264 78944
/proc/meminfo: memFree=127264172/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=221.66 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 22166 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+282.3 s]
/proc/loadavg: 4.24 3.14 2.66 6/264 78946
/proc/meminfo: memFree=127263892/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=281.49 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 28149 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.31 2.75 6/263 78949
/proc/meminfo: memFree=127263948/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=31004 memory=7552 CPUtime=341.32 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 1014 0 0 0 34132 0 0 0 20 0 1 0 72311769 31748096 1888 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 7751 1888 1024 1200 0 6231 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 7552 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.47 2.84 6/265 79002
/proc/meminfo: memFree=126232420/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=188248 memory=151872 CPUtime=401.13 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 29164 0 0 0 40071 42 0 0 20 0 1 0 72311769 192765952 37968 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 47062 37968 1248 1200 0 45542 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 188248 KiB
Current children cumulated memory: 151872 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.58 2.92 6/265 79004
/proc/meminfo: memFree=125980716/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=205556 memory=168384 CPUtime=460.93 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 33347 0 0 0 46000 93 0 0 20 0 1 0 72311769 210489344 42096 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 51389 42096 1248 1200 0 49869 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 383860 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.09 4.02 6/266 79136
/proc/meminfo: memFree=124539820/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=416104 memory=385012 CPUtime=2973.75 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 78598 0 0 0 295382 1993 0 0 20 0 1 0 72311769 426090496 96253 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 104026 96253 1280 1200 0 102506 0
Current children cumulated CPU time: 2973.75 s
Current children cumulated vsize: 416104 KiB
Current children cumulated memory: 385012 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/266 79140
/proc/meminfo: memFree=124522996/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=419904 memory=387572 CPUtime=3033.59 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 79228 0 0 0 301323 2036 0 0 20 0 1 0 72311769 429981696 96893 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 104976 96893 1280 1200 0 103456 0
Current children cumulated CPU time: 3033.59 s
Current children cumulated vsize: 419904 KiB
Current children cumulated memory: 387572 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.03 6/265 79142
/proc/meminfo: memFree=124503704/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=422444 memory=389620 CPUtime=3093.44 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 79909 0 0 0 307265 2079 0 0 20 0 1 0 72311769 432582656 97405 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 105611 97405 1280 1200 0 104091 0
Current children cumulated CPU time: 3093.44 s
Current children cumulated vsize: 422444 KiB
Current children cumulated memory: 389620 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.03 6/263 79144
/proc/meminfo: memFree=124492068/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=425644 memory=391796 CPUtime=3153.29 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 80444 0 0 0 313201 2128 0 0 20 0 1 0 72311769 435859456 97949 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 106411 97949 1280 1200 0 104891 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 425644 KiB
Current children cumulated memory: 391796 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/263 79146
/proc/meminfo: memFree=124436032/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=425884 memory=391924 CPUtime=3213.14 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 80642 0 0 0 319142 2172 0 0 20 0 1 0 72311769 436105216 97981 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 106471 97981 1280 1200 0 104951 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 425884 KiB
Current children cumulated memory: 391924 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.03 6/263 79149
/proc/meminfo: memFree=124434852/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=430484 memory=395124 CPUtime=3273 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 81434 0 0 0 325077 2223 0 0 20 0 1 0 72311769 440815616 98781 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 107621 98781 1280 1200 0 106101 0
Current children cumulated CPU time: 3273 s
Current children cumulated vsize: 430484 KiB
Current children cumulated memory: 395124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.10 4.04 6/263 79151
/proc/meminfo: memFree=124410512/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=434324 memory=397940 CPUtime=3332.85 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 82265 0 0 0 331011 2274 0 0 20 0 1 0 72311769 444747776 99485 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 108581 99485 1280 1200 0 107061 0
Current children cumulated CPU time: 3332.85 s
Current children cumulated vsize: 434324 KiB
Current children cumulated memory: 397940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 6/264 79158
/proc/meminfo: memFree=124402476/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=437356 memory=399860 CPUtime=3392.7 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 82760 0 0 0 336951 2319 0 0 20 0 1 0 72311769 447852544 99965 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 109339 99965 1280 1200 0 107819 0
Current children cumulated CPU time: 3392.7 s
Current children cumulated vsize: 437356 KiB
Current children cumulated memory: 399860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.11 4.04 6/264 79160
/proc/meminfo: memFree=124399516/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=439084 memory=400884 CPUtime=3452.56 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 83170 0 0 0 342891 2365 0 0 20 0 1 0 72311769 449622016 100221 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 109771 100221 1280 1200 0 108251 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 439084 KiB
Current children cumulated memory: 400884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.04 6/264 79162
/proc/meminfo: memFree=124399436/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=439084 memory=400884 CPUtime=3512.41 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 83197 0 0 0 348830 2411 0 0 20 0 1 0 72311769 449622016 100221 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 109771 100221 1280 1200 0 108251 0
Current children cumulated CPU time: 3512.41 s
Current children cumulated vsize: 439084 KiB
Current children cumulated memory: 400884 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.04 6/264 79164
/proc/meminfo: memFree=124397268/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=440236 memory=401780 CPUtime=3572.26 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 83536 0 0 0 354770 2456 0 0 20 0 1 0 72311769 450801664 100445 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 110059 100445 1280 1200 0 108539 0
Current children cumulated CPU time: 3572.26 s
Current children cumulated vsize: 440236 KiB
Current children cumulated memory: 401780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.1 s]
/proc/loadavg: 4.11 4.10 4.05 6/260 79176
/proc/meminfo: memFree=125327532/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=441256 memory=405364 CPUtime=3600 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 83808 0 0 0 357522 2478 0 0 20 0 1 0 72311769 451846144 101341 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 110314 101341 1280 1200 0 108794 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 441256 KiB
Current children cumulated memory: 405364 KiB

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

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

# cumulated CPU time of all completed processes:  user=3575.79 s, system=24.805 s

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

[startup+3610.4 s]
/proc/loadavg: 4.11 4.10 4.05 6/260 79176
/proc/meminfo: memFree=125327532/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=441256 memory=405364 CPUtime=3600.3 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 83808 0 0 0 357551 2479 0 0 20 0 1 0 72311769 451846144 101341 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 110314 101341 1280 1200 0 108794 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 441256 KiB
Current children cumulated memory: 405364 KiB

[startup+3610.6 s]
/proc/loadavg: 4.11 4.10 4.05 6/260 79176
/proc/meminfo: memFree=125327532/131250000 swapFree=33010672/33010684
[pid=78936] ppid=78921 vsize=441256 memory=405364 CPUtime=3600.5 cores=1,3
/proc/78936/stat : 78936 (Exact) R 78921 78936 78865 0 -1 4194304 83808 0 0 0 357570 2480 0 0 20 0 1 0 72311769 451846144 101341 18446744073709551615 4198400 9112445 140726245729472 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 29569024 140726245734714 140726245734893 140726245734893 140726245740495 0
/proc/78936/statm: 110314 101341 1280 1200 0 108794 0
Current children cumulated CPU time: 3600.5 s
Current children cumulated vsize: 441256 KiB
Current children cumulated memory: 405364 KiB

Child status: 10

Real time (s): 3610.69
CPU time (s): 3600.59
CPU user time (s): 3575.79
CPU system time (s): 24.805
CPU usage (%): 99.7204
Max. virtual memory (cumulated for all children) (KiB): 441256
Max. memory (cumulated for all children) (KiB): 405364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.79
system time used= 24.805
maximum resident set size= 405364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83809
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= 53
involuntary context switches= 2182


# summary of solver processes directly reported to runsolver:
#   pid: 78936
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3575.79
#   total CPU system time (s): 24.805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.19744 second user time and 12.0519 second system time

The end