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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4481819-1751318531/watcher-4481819-1751318531 -o /tmp/evaluation-result-4481819-1751318531/solver-4481819-1751318531 -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=1025818498 --ls=360 HOME/instance-4481819-1751318531.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=41595, runsolver pid=41592
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 4.04 4.12 4.09 5/265 41596
/proc/meminfo: memFree=129268732/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=0.09 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 9 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+0.205675 s]*
/proc/loadavg: 4.04 4.12 4.09 5/265 41596
/proc/meminfo: memFree=129268732/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=0.2 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 20 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+0.305461 s]*
/proc/loadavg: 4.04 4.12 4.09 5/265 41596
/proc/meminfo: memFree=129268732/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=0.3 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 30 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+0.700169 s]
/proc/loadavg: 4.04 4.12 4.09 5/265 41596
/proc/meminfo: memFree=129268732/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=0.69 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 69 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+1.50018 s]
/proc/loadavg: 4.04 4.12 4.09 5/265 41596
/proc/meminfo: memFree=129268732/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=1.48 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 148 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+3.10554 s]
/proc/loadavg: 4.04 4.12 4.09 5/265 41596
/proc/meminfo: memFree=129270404/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=3.08 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 308 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+6.30018 s]
/proc/loadavg: 4.04 4.12 4.08 5/265 41596
/proc/meminfo: memFree=129250180/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=6.27 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 627 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+12.7002 s]
/proc/loadavg: 4.03 4.12 4.08 5/265 41596
/proc/meminfo: memFree=129243984/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=12.65 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 1265 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.11 4.08 5/265 41596
/proc/meminfo: memFree=129225424/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=25.41 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 2541 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+51.1055 s]
/proc/loadavg: 4.07 4.12 4.09 5/265 41597
/proc/meminfo: memFree=129186672/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=50.94 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 5094 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 41600
/proc/meminfo: memFree=129177620/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=101.98 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3981 0 0 0 10198 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 41649
/proc/meminfo: memFree=129382224/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=161.81 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 3997 0 0 0 16181 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/267 41655
/proc/meminfo: memFree=129401824/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=221.65 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 4005 0 0 0 22165 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/264 41657
/proc/meminfo: memFree=129397728/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=281.5 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 4009 0 0 0 28150 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 41659
/proc/meminfo: memFree=129375164/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=40348 memory=19960 CPUtime=341.34 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 4017 0 0 0 34134 0 0 0 20 0 1 0 47475655 41316352 4990 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 10087 4990 1024 1200 0 8567 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19960 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/264 41661
/proc/meminfo: memFree=129305308/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=82112 memory=72932 CPUtime=401.18 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 14681 0 0 0 40111 7 0 0 20 0 1 0 47475655 84082688 18233 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 20528 18233 1280 1200 0 19008 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 82112 KiB
Current children cumulated memory: 72932 KiB

[startup+462.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/263 41663
/proc/meminfo: memFree=129283352/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=94392 memory=84452 CPUtime=460.98 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 17585 0 0 0 46086 12 0 0 20 0 1 0 47475655 96657408 21113 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 23598 21113 1280 1200 0 22078 0

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

Current children cumulated memory: 153204 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/264 41864
/proc/meminfo: memFree=129299480/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=167512 memory=153972 CPUtime=2854.41 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 33023 0 0 0 285253 188 0 0 20 0 1 0 47475655 171532288 38493 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 41878 38493 1280 1200 0 40358 0
Current children cumulated CPU time: 2854.41 s
Current children cumulated vsize: 167512 KiB
Current children cumulated memory: 153972 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.15 4.11 5/263 41911
/proc/meminfo: memFree=129308948/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=168916 memory=155380 CPUtime=2914.25 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 33375 0 0 0 291234 191 0 0 20 0 1 0 47475655 172969984 38845 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 42229 38845 1280 1200 0 40709 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 168916 KiB
Current children cumulated memory: 155380 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/262 41913
/proc/meminfo: memFree=129291496/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=170976 memory=157428 CPUtime=2974.1 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 33890 0 0 0 297214 196 0 0 20 0 1 0 47475655 175079424 39357 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 42744 39357 1280 1200 0 41224 0
Current children cumulated CPU time: 2974.1 s
Current children cumulated vsize: 170976 KiB
Current children cumulated memory: 157428 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/262 41915
/proc/meminfo: memFree=129288576/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177768 memory=162804 CPUtime=3033.95 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35215 0 0 0 303192 203 0 0 20 0 1 0 47475655 182034432 40701 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44442 40701 1280 1200 0 42922 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 177768 KiB
Current children cumulated memory: 162804 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/263 41918
/proc/meminfo: memFree=129291024/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177968 memory=162932 CPUtime=3093.8 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35271 0 0 0 309172 208 0 0 20 0 1 0 47475655 182239232 40733 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44492 40733 1280 1200 0 42972 0
Current children cumulated CPU time: 3093.8 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 162932 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/264 41921
/proc/meminfo: memFree=129282844/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177968 memory=165188 CPUtime=3153.66 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35305 0 0 0 315153 213 0 0 20 0 1 0 47475655 182239232 41297 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44492 41297 1280 1200 0 42972 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 165188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/265 41926
/proc/meminfo: memFree=129282924/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177968 memory=165188 CPUtime=3213.5 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35312 0 0 0 321132 218 0 0 20 0 1 0 47475655 182239232 41297 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44492 41297 1280 1200 0 42972 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 165188 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/265 42021
/proc/meminfo: memFree=129591124/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177968 memory=165188 CPUtime=3273.35 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35312 0 0 0 327108 227 0 0 20 0 1 0 47475655 182239232 41297 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44492 41297 1280 1200 0 42972 0
Current children cumulated CPU time: 3273.35 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 165188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/265 42023
/proc/meminfo: memFree=129583060/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177968 memory=165700 CPUtime=3333.21 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35314 0 0 0 333089 232 0 0 20 0 1 0 47475655 182239232 41425 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44492 41425 1280 1200 0 42972 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 165700 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 42025
/proc/meminfo: memFree=129580600/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=177968 memory=166340 CPUtime=3393.05 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35316 0 0 0 339069 236 0 0 20 0 1 0 47475655 182239232 41585 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44492 41585 1280 1200 0 42972 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 177968 KiB
Current children cumulated memory: 166340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/265 42028
/proc/meminfo: memFree=129589532/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=178128 memory=166340 CPUtime=3452.91 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35333 0 0 0 345051 240 0 0 20 0 1 0 47475655 182403072 41585 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44532 41585 1280 1200 0 43012 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 178128 KiB
Current children cumulated memory: 166340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 42030
/proc/meminfo: memFree=129593896/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=178128 memory=166468 CPUtime=3512.76 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35345 0 0 0 351032 244 0 0 20 0 1 0 47475655 182403072 41617 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44532 41617 1280 1200 0 43012 0
Current children cumulated CPU time: 3512.76 s
Current children cumulated vsize: 178128 KiB
Current children cumulated memory: 166468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/264 42033
/proc/meminfo: memFree=129594780/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=178448 memory=166724 CPUtime=3572.61 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35493 0 0 0 357013 248 0 0 20 0 1 0 47475655 182730752 41681 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44612 41681 1280 1200 0 43092 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 178448 KiB
Current children cumulated memory: 166724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 42034
/proc/meminfo: memFree=129595284/131250000 swapFree=33010684/33010684
[pid=41595] ppid=41592 vsize=178996 memory=167236 CPUtime=3600.04 cores=0,2
/proc/41595/stat : 41595 (Exact) R 41592 41595 40846 0 -1 4194304 35623 0 0 0 359752 252 0 0 20 0 1 0 47475655 183291904 41809 18446744073709551615 4198400 9112445 140727260863728 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 22724608 140727260866874 140727260867053 140727260867053 140727260872655 0
/proc/41595/statm: 44749 41809 1280 1200 0 43229 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 178996 KiB
Current children cumulated memory: 167236 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.53 s, system=2.52739 s

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

Child status: 10

Real time (s): 3609.81
CPU time (s): 3600.05
CPU user time (s): 3597.53
CPU system time (s): 2.52739
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 178996
Max. memory (cumulated for all children) (KiB): 167236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.52739
maximum resident set size= 167236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35625
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= 64
involuntary context switches= 5200


# summary of solver processes directly reported to runsolver:
#   pid: 41595
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3597.53
#   total CPU system time (s): 2.52739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96298 second user time and 14.7623 second system time

The end