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 (61922 MiB free)
  memory of node 1: 64507 MiB (63279 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484743-1751294089/watcher-4484743-1751294089 -o /tmp/evaluation-result-4484743-1751294089/solver-4484743-1751294089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751290134-37754 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4484743-1751294089.opb -total-t=3600 -no-par -v0 

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
solver pid=38316, runsolver pid=38313
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 38317
/proc/meminfo: memFree=128204624/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=37792 memory=23424 CPUtime=0.09 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 5107 0 0 0 9 0 0 0 20 0 1 0 45088762 38699008 5856 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 9448 5856 864 2593 0 6341 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 37792 KiB
Current children cumulated memory: 23424 KiB

[startup+0.205476 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 38317
/proc/meminfo: memFree=128182448/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=56824 memory=42496 CPUtime=0.2 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 9885 0 0 0 19 1 0 0 20 0 1 0 45088762 58187776 10624 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 14206 10624 864 2593 0 11099 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56824 KiB
Current children cumulated memory: 42496 KiB

[startup+0.305515 s]*
/proc/loadavg: 4.09 4.10 4.09 5/263 38317
/proc/meminfo: memFree=128166320/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=75008 memory=60672 CPUtime=0.3 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 14419 0 0 0 29 1 0 0 20 0 1 0 45088762 76808192 15168 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 18752 15168 864 2593 0 15645 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75008 KiB
Current children cumulated memory: 60672 KiB

[startup+0.700195 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 38317
/proc/meminfo: memFree=128088452/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=235416 memory=224972 CPUtime=0.69 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 54223 0 0 0 63 6 0 0 20 0 1 0 45088762 241065984 56243 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 58854 56243 2496 2593 0 55747 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 235416 KiB
Current children cumulated memory: 224972 KiB

[startup+1.50021 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 38317
/proc/meminfo: memFree=127943300/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=274252 memory=261752 CPUtime=1.48 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 71078 0 0 0 140 8 0 0 20 0 1 0 45088762 280834048 65438 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 68563 65438 2528 2593 0 65456 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 274252 KiB
Current children cumulated memory: 261752 KiB

[startup+3.10535 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 38317
/proc/meminfo: memFree=127660856/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=601744 memory=553744 CPUtime=3.09 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 106479 0 0 0 291 18 0 0 20 0 1 0 45088762 616185856 138436 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 150436 138436 2624 2593 0 147329 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 601744 KiB
Current children cumulated memory: 553744 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 38317
/proc/meminfo: memFree=127628852/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=632544 memory=576144 CPUtime=6.27 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 112069 0 0 0 608 19 0 0 20 0 1 0 45088762 647725056 144036 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 158136 144036 2656 2593 0 155029 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 632544 KiB
Current children cumulated memory: 576144 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 38317
/proc/meminfo: memFree=127627248/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=665288 memory=590832 CPUtime=12.66 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 115134 0 0 0 1246 20 0 0 20 0 1 0 45088762 681254912 147708 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 166322 147708 2656 2593 0 163215 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 665288 KiB
Current children cumulated memory: 590832 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 38317
/proc/meminfo: memFree=127628068/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=696076 memory=592880 CPUtime=25.43 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 115640 0 0 0 2523 20 0 0 20 0 1 0 45088762 712781824 148220 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 174019 148220 2656 2593 0 170912 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 696076 KiB
Current children cumulated memory: 592880 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.09 5/263 38318
/proc/meminfo: memFree=127482192/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=985312 memory=733996 CPUtime=50.95 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 151487 0 0 0 5070 25 0 0 20 0 1 0 45088762 1008959488 183499 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 246328 183499 2656 2593 0 243221 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 985312 KiB
Current children cumulated memory: 733996 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 38319
/proc/meminfo: memFree=127451476/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=985352 memory=734760 CPUtime=101.98 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 159016 0 0 0 10172 26 0 0 20 0 1 0 45088762 1009000448 183690 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 246338 183690 2656 2593 0 243231 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 985352 KiB
Current children cumulated memory: 734760 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 38327
/proc/meminfo: memFree=127294676/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1097336 memory=836816 CPUtime=161.78 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 202622 0 0 0 16145 33 0 0 20 0 1 0 45088762 1123672064 209204 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 274334 209204 2656 2593 0 271227 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1097336 KiB
Current children cumulated memory: 836816 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/262 38329
/proc/meminfo: memFree=127250200/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1118028 memory=807900 CPUtime=221.59 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 205978 0 0 0 22126 33 0 0 20 0 1 0 45088762 1144860672 201975 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 279507 201975 2656 2593 0 276400 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 1118028 KiB
Current children cumulated memory: 807900 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 38333
/proc/meminfo: memFree=127130436/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1276552 memory=946484 CPUtime=281.39 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 255747 0 0 0 28096 43 0 0 20 0 1 0 45088762 1307189248 236621 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 319138 236621 2656 2593 0 316031 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 1276552 KiB
Current children cumulated memory: 946484 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/263 38335
/proc/meminfo: memFree=127107648/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1279140 memory=950964 CPUtime=341.19 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 256332 0 0 0 34076 43 0 0 20 0 1 0 45088762 1309839360 237741 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 319785 237741 2656 2593 0 316678 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 1279140 KiB
Current children cumulated memory: 950964 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 38337
/proc/meminfo: memFree=127093952/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1300240 memory=986912 CPUtime=401.02 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 257754 0 0 0 40059 43 0 0 20 0 1 0 45088762 1331445760 246728 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 325060 246728 2656 2593 0 321953 0
Current children cumulated CPU time: 401.02 s
Current children cumulated vsize: 1300240 KiB
Current children cumulated memory: 986912 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 38339
/proc/meminfo: memFree=127029744/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1340420 memory=1047352 CPUtime=460.85 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 260228 0 0 0 46041 44 0 0 20 0 1 0 45088762 1372590080 261838 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 335105 261838 2656 2593 0 331998 0
Current children cumulated CPU time: 460.85 s

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

Current children cumulated memory: 1341664 KiB

[startup+2862.3 s]
/proc/loadavg: 4.39 4.22 4.13 5/262 38502
/proc/meminfo: memFree=126772612/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1341664 CPUtime=2854.2 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 498948 0 0 0 285328 92 0 0 20 0 1 0 45088762 1670000640 335416 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 335416 2976 2593 0 404608 0
Current children cumulated CPU time: 2854.2 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1341664 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/262 38504
/proc/meminfo: memFree=126699516/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1341664 CPUtime=2914.01 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 498993 0 0 0 291309 92 0 0 20 0 1 0 45088762 1670000640 335416 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 335416 2976 2593 0 404608 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1341664 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.18 4.12 5/262 38506
/proc/meminfo: memFree=126690700/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1341664 CPUtime=2973.81 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499031 0 0 0 297289 92 0 0 20 0 1 0 45088762 1670000640 335416 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 335416 2976 2593 0 404608 0
Current children cumulated CPU time: 2973.81 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1341664 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/262 38508
/proc/meminfo: memFree=126613788/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1341792 CPUtime=3033.63 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499105 0 0 0 303271 92 0 0 20 0 1 0 45088762 1670000640 335448 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 335448 2976 2593 0 404608 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1341792 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.15 4.11 5/262 38510
/proc/meminfo: memFree=126611680/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1355104 CPUtime=3093.46 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499186 0 0 0 309254 92 0 0 20 0 1 0 45088762 1670000640 338776 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 338776 2976 2593 0 404608 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1355104 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/262 38512
/proc/meminfo: memFree=126552744/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3153.3 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499254 0 0 0 315238 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3153.3 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/263 38521
/proc/meminfo: memFree=126524704/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3213.14 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499320 0 0 0 321222 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3213.14 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.10 5/263 38613
/proc/meminfo: memFree=125038652/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3272.97 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499416 0 0 0 327205 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/263 38615
/proc/meminfo: memFree=124967784/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3332.78 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499499 0 0 0 333186 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 38617
/proc/meminfo: memFree=124835024/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3392.59 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499584 0 0 0 339167 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3392.59 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 38619
/proc/meminfo: memFree=124768456/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3452.4 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499676 0 0 0 345148 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3452.4 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 38621
/proc/meminfo: memFree=124712352/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3512.21 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499737 0 0 0 351129 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3512.21 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/262 38623
/proc/meminfo: memFree=124621332/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3572.02 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499834 0 0 0 357110 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3572.02 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 38624
/proc/meminfo: memFree=124564952/131250000 swapFree=33010684/33010684
[pid=38316] ppid=38313 vsize=1630860 memory=1356512 CPUtime=3600.03 cores=1,3
/proc/38316/stat : 38316 (CASHWMaxSAT-Dis) R 38313 38316 37742 0 -1 4194304 499877 0 0 0 359911 92 0 0 20 0 1 0 45088762 1670000640 339128 18446744073709551615 4198400 14817773 140734367455200 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 23310336 140734367459690 140734367459805 140734367459805 140734367465407 0
/proc/38316/statm: 407715 339128 2976 2593 0 404608 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1630860 KiB
Current children cumulated memory: 1356512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.11 s, system=0.930223 s

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

Child status: 10

Real time (s): 3610.4
CPU time (s): 3600.04
CPU user time (s): 3599.11
CPU system time (s): 0.930223
CPU usage (%): 99.713
Max. virtual memory (cumulated for all children) (KiB): 2347032
Max. memory (cumulated for all children) (KiB): 2004340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 0.930223
maximum resident set size= 2004340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499879
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= 88
involuntary context switches= 1857


# summary of solver processes directly reported to runsolver:
#   pid: 38316
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.11
#   total CPU system time (s): 0.930223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94889 second user time and 15.8274 second system time

The end