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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438661-1721207680/watcher-4438661-1721207680 -o /tmp/evaluation-result-4438661-1721207680/solver-4438661-1721207680 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721207693-896650 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4438661-1721207680.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=896709, runsolver pid=896698
Current StackSize limit: 8192 KiB


[startup+0.100481 s]*
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128738304/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=29776 memory=14676 CPUtime=0.1 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 2847 0 0 0 10 0 0 0 20 0 1 0 172934689 30490624 3669 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 7444 3669 922 2726 0 4192 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29776 KiB
Current children cumulated memory: 14676 KiB

[startup+0.216819 s]*
/proc/loadavg: 1.15 1.13 1.35 7/259 896715
/proc/meminfo: memFree=128633292/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=77084 memory=56424 CPUtime=0.21 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 8368 0 0 0 20 1 0 0 20 0 1 0 172934689 78934016 14106 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 19271 14106 954 2726 0 16019 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77084 KiB
Current children cumulated memory: 56424 KiB

[startup+0.306379 s]*
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128607892/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=77084 memory=56988 CPUtime=0.3 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 8389 0 0 0 29 1 0 0 20 0 1 0 172934689 78934016 14247 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 19271 14247 1034 2726 0 16019 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 77084 KiB
Current children cumulated memory: 56988 KiB

[startup+0.700232 s]
/proc/loadavg: 1.15 1.13 1.35 8/259 896715
/proc/meminfo: memFree=128576856/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=119804 memory=99492 CPUtime=0.69 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 19035 0 0 0 66 3 0 0 20 0 1 0 172934689 122679296 24873 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 29951 24873 1034 2726 0 26699 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119804 KiB
Current children cumulated memory: 99492 KiB

[startup+1.50018 s]
/proc/loadavg: 1.15 1.13 1.35 7/259 896715
/proc/meminfo: memFree=128474272/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=252048 memory=211684 CPUtime=1.48 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 28877 0 0 0 142 6 0 0 20 0 1 0 172934689 258097152 52921 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 63012 52921 1066 2726 0 59760 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252048 KiB
Current children cumulated memory: 211684 KiB

[startup+3.10615 s]
/proc/loadavg: 1.15 1.13 1.35 6/259 896761
/proc/meminfo: memFree=127791596/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=788080 memory=747800 CPUtime=3.08 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 155135 0 0 0 284 24 0 0 20 0 1 0 172934689 806993920 186950 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 197020 186950 2618 2726 0 193768 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 788080 KiB
Current children cumulated memory: 747800 KiB

[startup+6.30022 s]
/proc/loadavg: 1.38 1.17 1.37 6/259 896761
/proc/meminfo: memFree=127492848/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1103720 memory=1015216 CPUtime=6.27 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 182720 0 0 0 596 31 0 0 20 0 1 0 172934689 1130209280 253804 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 275930 253804 2650 2726 0 272678 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1103720 KiB
Current children cumulated memory: 1015216 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.22 1.38 5/259 896763
/proc/meminfo: memFree=126946800/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1509728 memory=1390848 CPUtime=12.64 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 243673 0 0 0 1221 43 0 0 20 0 1 0 172934689 1545961472 347712 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 377432 347712 2746 2726 0 374180 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1509728 KiB
Current children cumulated memory: 1390848 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.36 1.43 5/259 896764
/proc/meminfo: memFree=126838340/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1524120 memory=1404976 CPUtime=25.39 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 246738 0 0 0 2495 44 0 0 20 0 1 0 172934689 1560698880 351244 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 381030 351244 2746 2726 0 377778 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1524120 KiB
Current children cumulated memory: 1404976 KiB

[startup+51.1065 s]
/proc/loadavg: 2.84 1.59 1.50 5/259 896769
/proc/meminfo: memFree=126715144/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1526040 memory=1407048 CPUtime=50.91 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 247350 0 0 0 5046 45 0 0 20 0 1 0 172934689 1562664960 351762 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 381510 351762 2746 2726 0 378258 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1526040 KiB
Current children cumulated memory: 1407048 KiB

[startup+102.3 s]
/proc/loadavg: 3.60 1.99 1.64 5/256 896777
/proc/meminfo: memFree=126510656/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1526040 memory=1407292 CPUtime=101.93 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 247471 0 0 0 10147 46 0 0 20 0 1 0 172934689 1562664960 351823 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 381510 351823 2746 2726 0 378258 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 1526040 KiB
Current children cumulated memory: 1407292 KiB

[startup+162.3 s]
/proc/loadavg: 3.95 2.39 1.81 5/256 896788
/proc/meminfo: memFree=126443544/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1533192 memory=1412916 CPUtime=161.72 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 248933 0 0 0 16126 46 0 0 20 0 1 0 172934689 1569988608 353229 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 383298 353229 2746 2726 0 380046 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 1533192 KiB
Current children cumulated memory: 1412916 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.72 1.96 5/256 896798
/proc/meminfo: memFree=126264724/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1655068 memory=1478540 CPUtime=221.52 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 254915 0 0 0 22103 49 0 0 20 0 1 0 172934689 1694789632 369635 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 413767 369635 2762 2726 0 410515 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1655068 KiB
Current children cumulated memory: 1478540 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.97 2.09 5/258 896812
/proc/meminfo: memFree=126138436/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1842068 memory=1533128 CPUtime=281.31 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 265746 0 0 0 28079 52 0 0 20 0 1 0 172934689 1886277632 383282 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 460517 383282 2762 2726 0 457265 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1842068 KiB
Current children cumulated memory: 1533128 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 3.21 2.23 5/256 896825
/proc/meminfo: memFree=125960756/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=2087648 memory=1619480 CPUtime=341.1 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 279896 0 0 0 34056 54 0 0 20 0 1 0 172934689 2137751552 404870 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 521912 404870 2762 2726 0 518660 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 2087648 KiB
Current children cumulated memory: 1619480 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 3.37 2.35 5/256 896836
/proc/meminfo: memFree=125861676/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=2248540 memory=1620288 CPUtime=400.9 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 280044 0 0 0 40036 54 0 0 20 0 1 0 172934689 2302504960 405072 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 562135 405072 2762 2726 0 558883 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 2248540 KiB
Current children cumulated memory: 1620288 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.50 2.46 5/256 896846
/proc/meminfo: memFree=125830768/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=2275356 memory=1620664 CPUtime=460.7 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 280234 0 0 0 46015 55 0 0 20 0 1 0 172934689 2329964544 405166 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0

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

Current children cumulated memory: 1388632 KiB

[startup+2922.3 s]
/proc/loadavg: 4.32 4.18 4.05 5/258 898516
/proc/meminfo: memFree=123018436/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=2912.58 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 292877 0 0 0 291192 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 2912.58 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+2982.3 s]
/proc/loadavg: 4.28 4.19 4.06 5/256 898527
/proc/meminfo: memFree=122980776/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=2972.36 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 292983 0 0 0 297170 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 2972.36 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3042.3 s]
/proc/loadavg: 4.15 4.17 4.06 5/256 898537
/proc/meminfo: memFree=122948700/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3032.14 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 293146 0 0 0 303148 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3032.14 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.17 4.07 5/255 898548
/proc/meminfo: memFree=122886644/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3091.92 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 293270 0 0 0 309126 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3091.92 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.17 4.07 5/255 898559
/proc/meminfo: memFree=122821956/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3151.71 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 293444 0 0 0 315105 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3151.71 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.15 4.07 5/255 898569
/proc/meminfo: memFree=122710056/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3211.49 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 293618 0 0 0 321083 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3211.49 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.08 5/255 898579
/proc/meminfo: memFree=122695268/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3271.27 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 293770 0 0 0 327061 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/257 898593
/proc/meminfo: memFree=122694988/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3331.06 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 293955 0 0 0 333040 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3331.06 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.08 5/256 898604
/proc/meminfo: memFree=122686456/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3390.84 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 294112 0 0 0 339018 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.08 5/256 898614
/proc/meminfo: memFree=122693020/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3450.62 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 294246 0 0 0 344996 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3450.62 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.08 5/257 898626
/proc/meminfo: memFree=122682396/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3510.41 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 294429 0 0 0 350975 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3510.41 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 898637
/proc/meminfo: memFree=122648788/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3570.19 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 294572 0 0 0 356953 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3570.19 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 898734
/proc/meminfo: memFree=124294356/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3600.08 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 294660 0 0 0 359942 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.43 s, system=0.671064 s

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

[startup+3612.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 898734
/proc/meminfo: memFree=124294356/131524600 swapFree=131071996/131071996
[pid=896709] ppid=896698 vsize=1427176 memory=1388632 CPUtime=3600.08 cores=0,2
/proc/896709/stat : 896709 (CASHWMaxSAT-Dis) R 896698 896709 896640 0 -1 4194304 294660 0 0 0 359942 66 0 0 20 0 1 0 172934689 1461428224 347158 134679101440 4194304 15356333 140721642125952 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 17424944 17514448 52260864 140721642128354 140721642128470 140721642128470 140721642135486 0
/proc/896709/statm: 356794 347158 2826 2726 0 353542 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1427176 KiB
Current children cumulated memory: 1388632 KiB

Child status: 10

Real time (s): 3612.3
CPU time (s): 3600.1
CPU user time (s): 3599.43
CPU system time (s): 0.671064
CPU usage (%): 99.662
Max. virtual memory (cumulated for all children) (KiB): 2287448
Max. memory (cumulated for all children) (KiB): 1680984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.43
system time used= 0.671064
maximum resident set size= 1680984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294664
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= 18
involuntary context switches= 24775


# summary of solver processes directly reported to runsolver:
#   pid: 896709
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.43
#   total CPU system time (s): 0.671064

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56478 second user time and 20.088 second system time

The end