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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458317-1721879556/watcher-4458317-1721879556 -o /tmp/evaluation-result-4458317-1721879556/solver-4458317-1721879556 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721875931-226581 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4458317-1721879556.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=228775, runsolver pid=228772
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 4.93 4.42 4.21 5/257 228776
/proc/meminfo: memFree=126568228/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=54716 memory=44888 CPUtime=0.09 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 9623 0 0 0 8 1 0 0 20 0 1 0 24484277 56029184 11222 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 13679 11222 2350 2417 0 10781 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 54716 KiB
Current children cumulated memory: 44888 KiB

[startup+0.205639 s]*
/proc/loadavg: 4.93 4.42 4.21 5/257 228776
/proc/meminfo: memFree=126552940/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=70440 memory=60700 CPUtime=0.2 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 13424 0 0 0 18 2 0 0 20 0 1 0 24484277 72130560 15175 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 17610 15175 2510 2417 0 14712 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70440 KiB
Current children cumulated memory: 60700 KiB

[startup+0.305479 s]*
/proc/loadavg: 4.93 4.42 4.21 5/257 228776
/proc/meminfo: memFree=126552128/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=71128 memory=61228 CPUtime=0.3 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 13568 0 0 0 28 2 0 0 20 0 1 0 24484277 72835072 15307 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 17782 15307 2510 2417 0 14884 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71128 KiB
Current children cumulated memory: 61228 KiB

[startup+0.700155 s]
/proc/loadavg: 4.93 4.42 4.21 5/257 228776
/proc/meminfo: memFree=126551652/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=71372 memory=61492 CPUtime=0.69 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 13605 0 0 0 67 2 0 0 20 0 1 0 24484277 73084928 15373 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 17843 15373 2510 2417 0 14945 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 71372 KiB
Current children cumulated memory: 61492 KiB

[startup+1.50016 s]
/proc/loadavg: 4.93 4.42 4.21 5/257 228778
/proc/meminfo: memFree=126551348/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=91300 memory=79280 CPUtime=1.48 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 18028 0 0 0 146 2 0 0 20 0 1 0 24484277 93491200 19820 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 22825 19820 2542 2417 0 19927 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 91300 KiB
Current children cumulated memory: 79280 KiB

[startup+3.10541 s]
/proc/loadavg: 4.86 4.41 4.21 5/257 228778
/proc/meminfo: memFree=126523452/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=95284 memory=83760 CPUtime=3.08 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 19195 0 0 0 306 2 0 0 20 0 1 0 24484277 97570816 20940 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 23821 20940 2542 2417 0 20923 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95284 KiB
Current children cumulated memory: 83760 KiB

[startup+6.30016 s]
/proc/loadavg: 4.86 4.41 4.21 5/257 228778
/proc/meminfo: memFree=126496116/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=123664 memory=106200 CPUtime=6.27 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 24775 0 0 0 624 3 0 0 20 0 1 0 24484277 126631936 26550 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 30916 26550 2542 2417 0 28018 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123664 KiB
Current children cumulated memory: 106200 KiB

[startup+12.7002 s]
/proc/loadavg: 4.73 4.40 4.20 5/257 228779
/proc/meminfo: memFree=126477556/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=130352 memory=109104 CPUtime=12.65 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 25485 0 0 0 1262 3 0 0 20 0 1 0 24484277 133480448 27276 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 32588 27276 2542 2417 0 29690 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 130352 KiB
Current children cumulated memory: 109104 KiB

[startup+25.5002 s]
/proc/loadavg: 4.61 4.39 4.20 5/257 228782
/proc/meminfo: memFree=126473468/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=130352 memory=109104 CPUtime=25.43 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 25485 0 0 0 2540 3 0 0 20 0 1 0 24484277 133480448 27276 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 32588 27276 2542 2417 0 29690 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 130352 KiB
Current children cumulated memory: 109104 KiB

[startup+51.1054 s]
/proc/loadavg: 4.48 4.37 4.20 5/257 228786
/proc/meminfo: memFree=126403912/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=156804 memory=133892 CPUtime=50.98 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 31722 0 0 0 5092 6 0 0 20 0 1 0 24484277 160567296 33473 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 39201 33473 2542 2417 0 36303 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 156804 KiB
Current children cumulated memory: 133892 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.32 4.19 5/257 228795
/proc/meminfo: memFree=126330796/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=171780 memory=150504 CPUtime=102.05 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 35892 0 0 0 10194 11 0 0 20 0 1 0 24484277 175902720 37626 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 42945 37626 2542 2417 0 40047 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 171780 KiB
Current children cumulated memory: 150504 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.28 4.18 5/259 229189
/proc/meminfo: memFree=126290232/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=204844 memory=177164 CPUtime=161.91 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 42522 0 0 0 16173 18 0 0 20 0 1 0 24484277 209760256 44291 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 51211 44291 2542 2417 0 48313 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 204844 KiB
Current children cumulated memory: 177164 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.25 4.18 5/257 229201
/proc/meminfo: memFree=126266440/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=224712 memory=199756 CPUtime=221.75 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 47761 0 0 0 22152 23 0 0 20 0 1 0 24484277 230105088 49939 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 56178 49939 2542 2417 0 53280 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 224712 KiB
Current children cumulated memory: 199756 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.24 4.18 5/257 229212
/proc/meminfo: memFree=126231384/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=240364 memory=226708 CPUtime=281.59 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 51720 0 0 0 28135 24 0 0 20 0 1 0 24484277 246132736 56677 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 60091 56677 2542 2417 0 57193 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 240364 KiB
Current children cumulated memory: 226708 KiB

[startup+342.3 s]
/proc/loadavg: 4.39 4.27 4.19 5/259 229393
/proc/meminfo: memFree=126173080/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=262156 memory=255220 CPUtime=341.44 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 57457 0 0 0 34119 25 0 0 20 0 1 0 24484277 268447744 63805 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 65539 63805 2542 2417 0 62641 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 262156 KiB
Current children cumulated memory: 255220 KiB

[startup+402.3 s]
/proc/loadavg: 4.36 4.30 4.21 5/259 229403
/proc/meminfo: memFree=126133764/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=291612 memory=273688 CPUtime=401.3 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 62483 0 0 0 40104 26 0 0 20 0 1 0 24484277 298610688 68422 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 72903 68422 2542 2417 0 70005 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 291612 KiB
Current children cumulated memory: 273688 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.26 4.19 5/260 229416
/proc/meminfo: memFree=126086172/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=308788 memory=291596 CPUtime=461.16 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 66958 0 0 0 46089 27 0 0 20 0 1 0 24484277 316198912 72899 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 77197 72899 2542 2417 0 74299 0

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

Current children cumulated memory: 546304 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 230507
/proc/meminfo: memFree=125570632/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=2915 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 145252 0 0 0 291454 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 230518
/proc/meminfo: memFree=125566340/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=2974.84 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 145391 0 0 0 297438 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 230530
/proc/meminfo: memFree=125563308/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3034.69 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 145530 0 0 0 303423 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/257 230540
/proc/meminfo: memFree=125562624/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3094.52 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 145669 0 0 0 309406 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3094.52 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 230551
/proc/meminfo: memFree=125562028/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3154.37 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 145808 0 0 0 315391 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 230561
/proc/meminfo: memFree=125561352/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3214.22 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 145948 0 0 0 321376 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 230572
/proc/meminfo: memFree=125560340/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3274.06 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146097 0 0 0 327360 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/255 230582
/proc/meminfo: memFree=125559780/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3333.9 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146241 0 0 0 333344 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3333.9 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 230593
/proc/meminfo: memFree=125558912/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3393.73 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146385 0 0 0 339327 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3393.73 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 230608
/proc/meminfo: memFree=125552112/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3453.57 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146529 0 0 0 345311 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3453.57 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 230620
/proc/meminfo: memFree=125551292/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3513.42 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146673 0 0 0 351296 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3513.42 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 230630
/proc/meminfo: memFree=125550340/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3573.27 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146817 0 0 0 357281 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 230863
/proc/meminfo: memFree=124366484/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3600 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146890 0 0 0 359954 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.54 s, system=0.466692 s

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

[startup+3609.11 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 230863
/proc/meminfo: memFree=124366484/131524600 swapFree=131059368/131071996
[pid=228775] ppid=228772 vsize=552204 memory=546304 CPUtime=3600 cores=5,7
/proc/228775/stat : 228775 (CASHWMaxSAT-Dis) R 228772 228775 226568 0 -1 4194304 146890 0 0 0 359954 46 0 0 20 0 1 0 24484277 565456896 136576 134679101440 4194304 14093885 140730660415136 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 21897216 140730660418533 140730660418648 140730660418648 140730660425663 0
/proc/228775/statm: 138051 136576 2794 2417 0 135153 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 552204 KiB
Current children cumulated memory: 546304 KiB

Child status: 10

Real time (s): 3609.11
CPU time (s): 3600.01
CPU user time (s): 3599.54
CPU system time (s): 0.466692
CPU usage (%): 99.7478
Max. virtual memory (cumulated for all children) (KiB): 829516
Max. memory (cumulated for all children) (KiB): 816692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.54
system time used= 0.466692
maximum resident set size= 816692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146895
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= 58
involuntary context switches= 2107


# summary of solver processes directly reported to runsolver:
#   pid: 228775
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3599.54
#   total CPU system time (s): 0.466692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08173 second user time and 17.3282 second system time

The end