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: 63968 MiB (50804 MiB free)
  memory of node 1: 64473 MiB (49225 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459252-1721885084/watcher-4459252-1721885084 -o /tmp/evaluation-result-4459252-1721885084/solver-4459252-1721885084 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721877863-276061 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4459252-1721885084.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=280185, runsolver pid=280182
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 4.65 4.35 4.20 6/257 280186
/proc/meminfo: memFree=102398912/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=49760 memory=40092 CPUtime=0.09 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 8078 0 0 0 9 0 0 0 20 0 1 0 25037823 50954240 10023 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 12440 10023 2506 2550 0 9395 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49760 KiB
Current children cumulated memory: 40092 KiB

[startup+0.205755 s]*
/proc/loadavg: 4.65 4.35 4.20 5/257 280186
/proc/meminfo: memFree=102389180/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=59580 memory=49512 CPUtime=0.2 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 10354 0 0 0 20 0 0 0 20 0 1 0 25037823 61009920 12378 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 14895 12378 2554 2550 0 11850 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59580 KiB
Current children cumulated memory: 49512 KiB

[startup+0.305613 s]*
/proc/loadavg: 4.65 4.35 4.20 5/257 280186
/proc/meminfo: memFree=102385788/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=60996 memory=50568 CPUtime=0.29 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 10611 0 0 0 29 0 0 0 20 0 1 0 25037823 62459904 12642 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 15249 12642 2554 2550 0 12204 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 60996 KiB
Current children cumulated memory: 50568 KiB

[startup+0.70023 s]
/proc/loadavg: 4.65 4.35 4.20 5/257 280186
/proc/meminfo: memFree=102353592/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=94704 memory=82780 CPUtime=0.68 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 18625 0 0 0 67 1 0 0 20 0 1 0 25037823 96976896 20695 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 23676 20695 2650 2550 0 20631 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 94704 KiB
Current children cumulated memory: 82780 KiB

[startup+1.50022 s]
/proc/loadavg: 4.65 4.35 4.20 5/257 280186
/proc/meminfo: memFree=102341292/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=109880 memory=97520 CPUtime=1.49 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 22338 0 0 0 147 2 0 0 20 0 1 0 25037823 112517120 24380 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 27470 24380 2650 2550 0 24425 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 109880 KiB
Current children cumulated memory: 97520 KiB

[startup+3.105 s]
/proc/loadavg: 4.59 4.35 4.20 5/257 280186
/proc/meminfo: memFree=102304476/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=125160 memory=111248 CPUtime=3.09 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 25747 0 0 0 307 2 0 0 20 0 1 0 25037823 128163840 27812 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 31290 27812 2650 2550 0 28245 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125160 KiB
Current children cumulated memory: 111248 KiB

[startup+6.30017 s]
/proc/loadavg: 4.59 4.35 4.20 5/257 280186
/proc/meminfo: memFree=102257312/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=135420 memory=117320 CPUtime=6.27 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 27292 0 0 0 625 2 0 0 20 0 1 0 25037823 138670080 29330 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 33855 29330 2650 2550 0 30810 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 135420 KiB
Current children cumulated memory: 117320 KiB

[startup+12.7002 s]
/proc/loadavg: 4.50 4.33 4.20 5/257 280234
/proc/meminfo: memFree=102539404/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=153424 memory=134408 CPUtime=12.66 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 31525 0 0 0 1263 3 0 0 20 0 1 0 25037823 157106176 33602 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 38356 33602 2650 2550 0 35311 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 153424 KiB
Current children cumulated memory: 134408 KiB

[startup+25.5002 s]
/proc/loadavg: 4.50 4.34 4.20 5/257 280281
/proc/meminfo: memFree=102777164/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=153424 memory=134408 CPUtime=25.42 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 31541 0 0 0 2539 3 0 0 20 0 1 0 25037823 157106176 33602 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 38356 33602 2650 2550 0 35311 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 153424 KiB
Current children cumulated memory: 134408 KiB

[startup+51.1059 s]
/proc/loadavg: 4.62 4.38 4.21 5/257 280668
/proc/meminfo: memFree=101823704/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=159444 memory=140292 CPUtime=50.95 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 33046 0 0 0 5090 5 0 0 20 0 1 0 25037823 163270656 35073 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 39861 35073 2650 2550 0 36816 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 159444 KiB
Current children cumulated memory: 140292 KiB

[startup+102.3 s]
/proc/loadavg: 4.35 4.34 4.21 5/254 280677
/proc/meminfo: memFree=100591668/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=208224 memory=187864 CPUtime=101.99 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 44970 0 0 0 10187 12 0 0 20 0 1 0 25037823 213221376 46966 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 52056 46966 2666 2550 0 49011 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 208224 KiB
Current children cumulated memory: 187864 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.31 4.20 5/255 280689
/proc/meminfo: memFree=98489032/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=224548 memory=206824 CPUtime=161.82 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 49553 0 0 0 16164 18 0 0 20 0 1 0 25037823 229937152 51706 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 56137 51706 2936 2550 0 53092 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 224548 KiB
Current children cumulated memory: 206824 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 4.28 4.20 5/255 280700
/proc/meminfo: memFree=98452164/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=234944 memory=215880 CPUtime=221.63 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 51945 0 0 0 22144 19 0 0 20 0 1 0 25037823 240582656 53970 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 58736 53970 2936 2550 0 55691 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 234944 KiB
Current children cumulated memory: 215880 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.24 4.19 5/257 280880
/proc/meminfo: memFree=97788912/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=241296 memory=222216 CPUtime=281.45 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 53549 0 0 0 28125 20 0 0 20 0 1 0 25037823 247087104 55554 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 60324 55554 2936 2550 0 57279 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 241296 KiB
Current children cumulated memory: 222216 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.21 4.18 5/257 280891
/proc/meminfo: memFree=96877580/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=245864 memory=222976 CPUtime=341.27 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 53737 0 0 0 34106 21 0 0 20 0 1 0 25037823 251764736 55744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 61466 55744 2936 2550 0 58421 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 245864 KiB
Current children cumulated memory: 222976 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/260 280961
/proc/meminfo: memFree=95112152/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=322204 memory=261260 CPUtime=401.07 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 63407 0 0 0 40084 23 0 0 20 0 1 0 25037823 329936896 65315 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 80551 65315 2936 2550 0 77506 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 322204 KiB
Current children cumulated memory: 261260 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.16 4.16 5/260 280973
/proc/meminfo: memFree=79636012/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=346064 memory=282516 CPUtime=460.88 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 68786 0 0 0 46063 25 0 0 20 0 1 0 25037823 354369536 70629 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 86516 70629 2936 2550 0 83471 0

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

Current children cumulated memory: 518976 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 282097
/proc/meminfo: memFree=100165344/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=2914.08 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 142247 0 0 0 291364 44 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 2914.08 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/257 282107
/proc/meminfo: memFree=100075224/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=2973.94 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 142370 0 0 0 297350 44 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 282119
/proc/meminfo: memFree=100082916/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3033.8 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 142497 0 0 0 303336 44 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3033.8 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3102.3 s]
/proc/loadavg: 4.32 4.16 4.12 5/255 282130
/proc/meminfo: memFree=100132168/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3093.66 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 142624 0 0 0 309322 44 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/255 282140
/proc/meminfo: memFree=99989888/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3153.53 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 142751 0 0 0 315308 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/255 282150
/proc/meminfo: memFree=99978064/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3213.38 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 142877 0 0 0 321293 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3282.3 s]
/proc/loadavg: 4.28 4.18 4.12 5/254 282161
/proc/meminfo: memFree=100017236/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3273.24 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143006 0 0 0 327279 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/255 282172
/proc/meminfo: memFree=100029200/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3333.1 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143130 0 0 0 333265 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/257 282186
/proc/meminfo: memFree=100009660/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3392.96 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143253 0 0 0 339251 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.11 5/257 282198
/proc/meminfo: memFree=99620016/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3452.81 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143377 0 0 0 345236 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3522.3 s]
/proc/loadavg: 3.66 4.03 4.07 4/250 282238
/proc/meminfo: memFree=106737104/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3512.67 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143500 0 0 0 351222 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3512.67 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

[startup+3582.3 s]
/proc/loadavg: 3.41 3.90 4.02 4/250 282248
/proc/meminfo: memFree=106759088/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3572.52 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143624 0 0 0 357207 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 3.25 3.81 3.99 4/250 282253
/proc/meminfo: memFree=106752284/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3600.06 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143675 0 0 0 359961 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.61 s, system=0.463006 s

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

[startup+3609.9 s]
/proc/loadavg: 3.25 3.81 3.99 4/250 282253
/proc/meminfo: memFree=106752284/131524600 swapFree=131071728/131071996
[pid=280185] ppid=280182 vsize=527284 memory=518976 CPUtime=3600.06 cores=4,6
/proc/280185/stat : 280185 (CASHWMaxSAT-Dis) R 280182 280185 276050 0 -1 4194304 143675 0 0 0 359961 45 0 0 20 0 1 0 25037823 539938816 129744 134679101440 4194304 14636349 140735825605888 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 51699712 140735825609699 140735825609815 140735825609815 140735825616830 0
/proc/280185/statm: 131821 129744 2936 2550 0 128776 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 527284 KiB
Current children cumulated memory: 518976 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.08
CPU user time (s): 3599.61
CPU system time (s): 0.463006
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 584532
Max. memory (cumulated for all children) (KiB): 572832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.61
system time used= 0.463006
maximum resident set size= 572832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143678
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= 72
involuntary context switches= 3435


# summary of solver processes directly reported to runsolver:
#   pid: 280185
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.61
#   total CPU system time (s): 0.463006

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2558 second user time and 16.4274 second system time

The end