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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481761-1751314196/watcher-4481761-1751314196 -o /tmp/evaluation-result-4481761-1751314196/solver-4481761-1751314196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751313834-40856 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1815945558 --ls=360 HOME/instance-4481761-1751314196.opb 

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=40972, runsolver pid=40969

[startup+0.100064 s]*
/proc/loadavg: 4.09 3.19 2.50 5/264 40973
/proc/meminfo: memFree=129572476/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=46940 memory=25736 CPUtime=0.09 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 5261 0 0 0 8 1 0 0 20 0 1 0 47042159 48066560 6434 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 11735 6434 1024 1200 0 10215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 46940 KiB
Current children cumulated memory: 25736 KiB

[startup+0.205578 s]*
/proc/loadavg: 4.09 3.19 2.50 5/264 40973
/proc/meminfo: memFree=129540128/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=0.2 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9048 0 0 0 18 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+0.305566 s]*
/proc/loadavg: 4.09 3.19 2.50 5/264 40973
/proc/meminfo: memFree=129540128/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=0.3 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9048 0 0 0 28 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+0.700173 s]
/proc/loadavg: 4.09 3.19 2.50 5/264 40973
/proc/meminfo: memFree=129540128/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=0.68 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9048 0 0 0 66 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+1.50018 s]
/proc/loadavg: 4.09 3.19 2.50 5/264 40973
/proc/meminfo: memFree=129516188/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=1.48 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9048 0 0 0 146 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+3.10552 s]
/proc/loadavg: 4.08 3.21 2.51 5/264 40973
/proc/meminfo: memFree=129396600/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=3.08 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9052 0 0 0 306 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+6.30017 s]
/proc/loadavg: 4.08 3.21 2.51 5/264 40973
/proc/meminfo: memFree=129348720/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=6.26 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9056 0 0 0 624 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 3.22 2.52 5/264 40973
/proc/meminfo: memFree=129156604/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=12.64 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9060 0 0 0 1262 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 3.26 2.55 5/264 40974
/proc/meminfo: memFree=128948016/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=25.4 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9064 0 0 0 2538 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 3.32 2.58 5/264 40974
/proc/meminfo: memFree=128378884/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=50.93 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9069 0 0 0 5091 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 3.46 2.67 5/264 40976
/proc/meminfo: memFree=128125772/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=101.97 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9106 0 0 0 10195 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 3.58 2.76 5/264 40978
/proc/meminfo: memFree=127931476/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=161.8 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9121 0 0 0 16178 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.67 2.85 5/264 40983
/proc/meminfo: memFree=127850748/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=221.62 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9136 0 0 0 22160 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 3.75 2.93 5/264 40990
/proc/meminfo: memFree=127793468/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=281.44 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9151 0 0 0 28142 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.81 3.00 5/264 40992
/proc/meminfo: memFree=127761904/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=66248 memory=43952 CPUtime=341.26 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 9151 0 0 0 34124 2 0 0 20 0 1 0 47042159 67837952 10988 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 16562 10988 1024 1200 0 15042 0
Current children cumulated CPU time: 341.26 s
Current children cumulated vsize: 66248 KiB
Current children cumulated memory: 43952 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.86 3.07 5/264 40994
/proc/meminfo: memFree=127375696/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=237116 memory=194640 CPUtime=401.09 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 29629 0 0 0 40096 13 0 0 20 0 1 0 47042159 242806784 48660 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 59279 48660 1280 1200 0 57759 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 237116 KiB
Current children cumulated memory: 194640 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.92 3.15 5/264 40996
/proc/meminfo: memFree=127247628/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=249584 memory=207568 CPUtime=460.92 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 32854 0 0 0 46075 17 0 0 20 0 1 0 47042159 255574016 51892 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 62396 51892 1280 1200 0 60876 0
Current children cumulated CPU time: 460.92 s

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

Current children cumulated memory: 291460 KiB

[startup+2862.3 s]
/proc/loadavg: 4.07 4.09 4.04 5/264 41155
/proc/meminfo: memFree=125906180/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=303260 memory=291460 CPUtime=2854.09 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 47015 0 0 0 285289 120 0 0 20 0 1 0 47042159 310538240 72865 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 75815 72865 1280 1200 0 74295 0
Current children cumulated CPU time: 2854.09 s
Current children cumulated vsize: 303260 KiB
Current children cumulated memory: 291460 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/263 41157
/proc/meminfo: memFree=125906172/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=303948 memory=292228 CPUtime=2913.9 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 47240 0 0 0 291268 122 0 0 20 0 1 0 47042159 311242752 73057 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 75987 73057 1280 1200 0 74467 0
Current children cumulated CPU time: 2913.9 s
Current children cumulated vsize: 303948 KiB
Current children cumulated memory: 292228 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.08 4.04 5/264 41160
/proc/meminfo: memFree=125898500/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=303948 memory=292228 CPUtime=2973.71 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 47243 0 0 0 297246 125 0 0 20 0 1 0 47042159 311242752 73057 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 75987 73057 1280 1200 0 74467 0
Current children cumulated CPU time: 2973.71 s
Current children cumulated vsize: 303948 KiB
Current children cumulated memory: 292228 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.05 5/264 41162
/proc/meminfo: memFree=125907676/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=304272 memory=292740 CPUtime=3033.52 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 47485 0 0 0 303225 127 0 0 20 0 1 0 47042159 311574528 73185 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 76068 73185 1280 1200 0 74548 0
Current children cumulated CPU time: 3033.52 s
Current children cumulated vsize: 304272 KiB
Current children cumulated memory: 292740 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.04 5/265 41176
/proc/meminfo: memFree=125884492/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=305964 memory=294404 CPUtime=3093.34 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 47899 0 0 0 309205 129 0 0 20 0 1 0 47042159 313307136 73601 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 76491 73601 1280 1200 0 74971 0
Current children cumulated CPU time: 3093.34 s
Current children cumulated vsize: 305964 KiB
Current children cumulated memory: 294404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.05 5/265 41178
/proc/meminfo: memFree=125884716/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=307776 memory=295940 CPUtime=3153.14 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 48295 0 0 0 315184 130 0 0 20 0 1 0 47042159 315162624 73985 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 76944 73985 1280 1200 0 75424 0
Current children cumulated CPU time: 3153.14 s
Current children cumulated vsize: 307776 KiB
Current children cumulated memory: 295940 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/265 41180
/proc/meminfo: memFree=125869692/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=308816 memory=296964 CPUtime=3212.95 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 48671 0 0 0 321163 132 0 0 20 0 1 0 47042159 316227584 74241 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 77204 74241 1280 1200 0 75684 0
Current children cumulated CPU time: 3212.95 s
Current children cumulated vsize: 308816 KiB
Current children cumulated memory: 296964 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/263 41274
/proc/meminfo: memFree=129187712/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=309540 memory=297988 CPUtime=3272.76 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 48912 0 0 0 327141 135 0 0 20 0 1 0 47042159 316968960 74497 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 77385 74497 1280 1200 0 75865 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 309540 KiB
Current children cumulated memory: 297988 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/264 41281
/proc/meminfo: memFree=129195152/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=310796 memory=299012 CPUtime=3332.57 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 49246 0 0 0 333120 137 0 0 20 0 1 0 47042159 318255104 74753 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 77699 74753 1280 1200 0 76179 0
Current children cumulated CPU time: 3332.57 s
Current children cumulated vsize: 310796 KiB
Current children cumulated memory: 299012 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.05 5/264 41283
/proc/meminfo: memFree=129183760/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=311712 memory=300164 CPUtime=3392.37 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 49401 0 0 0 339098 139 0 0 20 0 1 0 47042159 319193088 75041 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 77928 75041 1280 1200 0 76408 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 311712 KiB
Current children cumulated memory: 300164 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.05 5/264 41285
/proc/meminfo: memFree=129185392/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=313568 memory=301956 CPUtime=3452.18 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 49845 0 0 0 345075 143 0 0 20 0 1 0 47042159 321093632 75489 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 78392 75489 1280 1200 0 76872 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 313568 KiB
Current children cumulated memory: 301956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/264 41287
/proc/meminfo: memFree=129194452/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=314944 memory=302468 CPUtime=3511.99 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 50011 0 0 0 351053 146 0 0 20 0 1 0 47042159 322502656 75617 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 78736 75617 1280 1200 0 77216 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 314944 KiB
Current children cumulated memory: 302468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.05 5/264 41289
/proc/meminfo: memFree=129185972/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=315124 memory=302468 CPUtime=3571.8 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 50018 0 0 0 357030 150 0 0 20 0 1 0 47042159 322686976 75617 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 78781 75617 1280 1200 0 77261 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 315124 KiB
Current children cumulated memory: 302468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.09 4.08 4.05 5/264 41289
/proc/meminfo: memFree=129185972/131250000 swapFree=33010684/33010684
[pid=40972] ppid=40969 vsize=315124 memory=302468 CPUtime=3600.01 cores=0,2
/proc/40972/stat : 40972 (Exact) R 40969 40972 40846 0 -1 4194304 50022 0 0 0 359850 151 0 0 20 0 1 0 47042159 322686976 75617 18446744073709551615 4198400 9112445 140727467080048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 16474112 140727467084090 140727467084269 140727467084269 140727467089871 0
/proc/40972/statm: 78781 75617 1280 1200 0 77261 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 315124 KiB
Current children cumulated memory: 302468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.52 s, system=1.51637 s

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

Child status: 10

Real time (s): 3610.61
CPU time (s): 3600.03
CPU user time (s): 3598.52
CPU system time (s): 1.51637
CPU usage (%): 99.707
Max. virtual memory (cumulated for all children) (KiB): 315124
Max. memory (cumulated for all children) (KiB): 302468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.52
system time used= 1.51638
maximum resident set size= 302468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50033
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= 66
involuntary context switches= 5239


# summary of solver processes directly reported to runsolver:
#   pid: 40972
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.52
#   total CPU system time (s): 1.51637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82679 second user time and 15.6549 second system time

The end