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: 63931 MiB (59624 MiB free)
  memory of node 1: 64510 MiB (59153 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=919757, runsolver pid=919754
Current StackSize limit: 8192 KiB


[startup+0.100098 s]*
/proc/loadavg: 4.08 4.13 4.10 5/254 919758
/proc/meminfo: memFree=121604724/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=43600 memory=34696 CPUtime=0.09 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 6530 0 0 0 9 0 0 0 20 0 1 0 173492480 44646400 8674 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 10900 8674 2746 2726 0 7648 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43600 KiB
Current children cumulated memory: 34696 KiB

[startup+0.205593 s]*
/proc/loadavg: 4.08 4.13 4.10 5/254 919758
/proc/meminfo: memFree=121602204/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=45160 memory=36268 CPUtime=0.2 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 6948 0 0 0 20 0 0 0 20 0 1 0 173492480 46243840 9067 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 11290 9067 2746 2726 0 8038 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 45160 KiB
Current children cumulated memory: 36268 KiB

[startup+0.305465 s]*
/proc/loadavg: 4.08 4.13 4.10 5/254 919758
/proc/meminfo: memFree=121601756/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=46544 memory=37384 CPUtime=0.3 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 7203 0 0 0 30 0 0 0 20 0 1 0 173492480 47661056 9346 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 11636 9346 2762 2726 0 8384 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46544 KiB
Current children cumulated memory: 37384 KiB

[startup+0.700245 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 919758
/proc/meminfo: memFree=121598592/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=50228 memory=40776 CPUtime=0.68 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 8028 0 0 0 68 0 0 0 20 0 1 0 173492480 51433472 10194 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 12557 10194 2762 2726 0 9305 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50228 KiB
Current children cumulated memory: 40776 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 919758
/proc/meminfo: memFree=121597456/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=53648 memory=43152 CPUtime=1.49 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 8653 0 0 0 148 1 0 0 20 0 1 0 173492480 54935552 10788 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 13412 10788 2762 2726 0 10160 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 53648 KiB
Current children cumulated memory: 43152 KiB

[startup+3.1054 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 919758
/proc/meminfo: memFree=121553480/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=72396 memory=61104 CPUtime=3.08 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 13162 0 0 0 307 1 0 0 20 0 1 0 173492480 74133504 15276 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 18099 15276 2762 2726 0 14847 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72396 KiB
Current children cumulated memory: 61104 KiB

[startup+6.30023 s]
/proc/loadavg: 4.07 4.13 4.10 5/254 919759
/proc/meminfo: memFree=121520076/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=106880 memory=94368 CPUtime=6.27 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 21438 0 0 0 625 2 0 0 20 0 1 0 173492480 109445120 23592 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 26720 23592 2762 2726 0 23468 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106880 KiB
Current children cumulated memory: 94368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.13 4.10 5/254 919759
/proc/meminfo: memFree=121504000/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=125808 memory=110328 CPUtime=12.66 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 26593 0 0 0 1262 4 0 0 20 0 1 0 173492480 128827392 27582 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 31452 27582 2762 2726 0 28200 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 125808 KiB
Current children cumulated memory: 110328 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.12 4.10 5/254 919761
/proc/meminfo: memFree=121500276/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=129076 memory=114020 CPUtime=25.42 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 27536 0 0 0 2538 4 0 0 20 0 1 0 173492480 132173824 28505 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 32269 28505 2762 2726 0 29017 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 129076 KiB
Current children cumulated memory: 114020 KiB

[startup+51.1054 s]
/proc/loadavg: 4.10 4.13 4.10 5/254 919765
/proc/meminfo: memFree=121411740/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=178644 memory=158976 CPUtime=50.96 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 38920 0 0 0 5090 6 0 0 20 0 1 0 173492480 182931456 39744 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 44661 39744 2762 2726 0 41409 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 178644 KiB
Current children cumulated memory: 158976 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 919774
/proc/meminfo: memFree=121292628/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=205392 memory=180140 CPUtime=102.02 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 46581 0 0 0 10194 8 0 0 20 0 1 0 173492480 210321408 45035 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 51348 45035 2762 2726 0 48096 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 205392 KiB
Current children cumulated memory: 180140 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/254 919785
/proc/meminfo: memFree=121203276/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=249556 memory=223172 CPUtime=161.85 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 57443 0 0 0 16175 10 0 0 20 0 1 0 173492480 255545344 55793 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 62389 55793 2762 2726 0 59137 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 249556 KiB
Current children cumulated memory: 223172 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 919802
/proc/meminfo: memFree=121353284/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=261748 memory=232096 CPUtime=221.7 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 59831 0 0 0 22158 12 0 0 20 0 1 0 173492480 268029952 58024 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 65437 58024 2762 2726 0 62185 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 261748 KiB
Current children cumulated memory: 232096 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 919858
/proc/meminfo: memFree=121651484/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=261748 memory=232888 CPUtime=281.53 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 60016 0 0 0 28141 12 0 0 20 0 1 0 173492480 268029952 58222 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 65437 58222 2762 2726 0 62185 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 261748 KiB
Current children cumulated memory: 232888 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 919915
/proc/meminfo: memFree=122500680/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=272736 memory=243304 CPUtime=341.34 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 63198 0 0 0 34121 13 0 0 20 0 1 0 173492480 279281664 60826 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 68184 60826 2762 2726 0 64932 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 272736 KiB
Current children cumulated memory: 243304 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 919925
/proc/meminfo: memFree=122380596/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=278632 memory=255112 CPUtime=401.16 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 64345 0 0 0 40102 14 0 0 20 0 1 0 173492480 285319168 63778 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 69658 63778 2762 2726 0 66406 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 278632 KiB
Current children cumulated memory: 255112 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/257 919936
/proc/meminfo: memFree=122298164/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=278632 memory=268704 CPUtime=461 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 64673 0 0 0 46086 14 0 0 20 0 1 0 173492480 285319168 67176 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 69658 67176 2762 2726 0 66406 0

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

Current children cumulated memory: 246180 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/256 921589
/proc/meminfo: memFree=122499900/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=2853.93 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 150632 0 0 0 285362 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 2853.93 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/258 921603
/proc/meminfo: memFree=122499124/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=2913.75 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 150705 0 0 0 291344 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/256 921613
/proc/meminfo: memFree=122498576/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=2973.58 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 150790 0 0 0 297327 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 2973.58 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/256 921624
/proc/meminfo: memFree=122498368/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3033.4 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 150859 0 0 0 303309 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3033.4 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 921634
/proc/meminfo: memFree=122497948/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3093.22 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 150932 0 0 0 309291 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 921644
/proc/meminfo: memFree=122485056/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3153.04 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151008 0 0 0 315273 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 921660
/proc/meminfo: memFree=122484052/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3212.86 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151071 0 0 0 321255 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 921670
/proc/meminfo: memFree=122483668/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3272.68 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151143 0 0 0 327237 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3272.68 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 921681
/proc/meminfo: memFree=122483220/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3332.51 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151224 0 0 0 333220 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/256 921691
/proc/meminfo: memFree=122482800/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3392.33 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151301 0 0 0 339202 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3392.33 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/256 921702
/proc/meminfo: memFree=122482388/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3452.15 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151378 0 0 0 345184 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3452.15 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3522.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/254 921713
/proc/meminfo: memFree=122481828/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3511.97 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151457 0 0 0 351166 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3511.97 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 921723
/proc/meminfo: memFree=122481324/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3571.8 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151538 0 0 0 357149 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3571.8 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 921729
/proc/meminfo: memFree=122481212/131524600 swapFree=131071996/131071996
[pid=919757] ppid=919754 vsize=253132 memory=246180 CPUtime=3600.01 cores=5,7
/proc/919757/stat : 919757 (CASHWMaxSAT-Dis) R 919754 919757 914117 0 -1 4194304 151606 0 0 0 359970 31 0 0 20 0 1 0 173492480 259207168 61545 134679101440 4194304 15356333 140726120101840 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 17424944 17514448 37273600 140726120109026 140726120109142 140726120109142 140726120116158 0
/proc/919757/statm: 63283 61545 2810 2726 0 60031 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 253132 KiB
Current children cumulated memory: 246180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.71 s, system=0.320998 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.03
CPU user time (s): 3599.71
CPU system time (s): 0.320998
CPU usage (%): 99.7071
Max. virtual memory (cumulated for all children) (KiB): 597424
Max. memory (cumulated for all children) (KiB): 585252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.320998
maximum resident set size= 585252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151608
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= 42
involuntary context switches= 1822


# summary of solver processes directly reported to runsolver:
#   pid: 919757
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.71
#   total CPU system time (s): 0.320998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99124 second user time and 15.7452 second system time

The end