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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439893-1721210130/watcher-4439893-1721210130 -o /tmp/evaluation-result-4439893-1721210130/solver-4439893-1721210130 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721206118-898710 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4439893-1721210130.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100091 s]*
/proc/loadavg: 4.11 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126478376/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=44008 memory=35260 CPUtime=0.09 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 6552 0 0 0 9 0 0 0 20 0 1 0 173181946 45064192 8815 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 11002 8815 2510 2417 0 8104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 44008 KiB
Current children cumulated memory: 35260 KiB

[startup+0.205477 s]*
/proc/loadavg: 4.11 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126477536/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=44828 memory=36044 CPUtime=0.2 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 6761 0 0 0 20 0 0 0 20 0 1 0 173181946 45903872 9011 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 11207 9011 2510 2417 0 8309 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 44828 KiB
Current children cumulated memory: 36044 KiB

[startup+0.305417 s]*
/proc/loadavg: 4.11 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126475516/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=47880 memory=39008 CPUtime=0.3 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 7468 0 0 0 30 0 0 0 20 0 1 0 173181946 49029120 9752 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 11970 9752 2526 2417 0 9072 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47880 KiB
Current children cumulated memory: 39008 KiB

[startup+0.700221 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126473500/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=49372 memory=40032 CPUtime=0.68 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 7782 0 0 0 68 0 0 0 20 0 1 0 173181946 50556928 10008 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 12343 10008 2526 2417 0 9445 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49372 KiB
Current children cumulated memory: 40032 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126471148/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=51604 memory=41616 CPUtime=1.48 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 8161 0 0 0 148 0 0 0 20 0 1 0 173181946 52842496 10404 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 12901 10404 2526 2417 0 10003 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51604 KiB
Current children cumulated memory: 41616 KiB

[startup+3.1056 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126440548/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=73108 memory=62472 CPUtime=3.09 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 13388 0 0 0 308 1 0 0 20 0 1 0 173181946 74862592 15618 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 18277 15618 2526 2417 0 15379 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73108 KiB
Current children cumulated memory: 62472 KiB

[startup+6.30019 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 901424
/proc/meminfo: memFree=126393092/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=135608 memory=123720 CPUtime=6.28 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 28698 0 0 0 625 3 0 0 20 0 1 0 173181946 138862592 30930 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 33902 30930 2526 2417 0 31004 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 135608 KiB
Current children cumulated memory: 123720 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 901809
/proc/meminfo: memFree=126359540/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=152292 memory=137184 CPUtime=12.66 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 32072 0 0 0 1263 3 0 0 20 0 1 0 173181946 155947008 34296 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 38073 34296 2526 2417 0 35175 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 152292 KiB
Current children cumulated memory: 137184 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 901811
/proc/meminfo: memFree=126336580/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=152292 memory=137448 CPUtime=25.43 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 32116 0 0 0 2540 3 0 0 20 0 1 0 173181946 155947008 34362 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 38073 34362 2526 2417 0 35175 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 152292 KiB
Current children cumulated memory: 137448 KiB

[startup+51.1053 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 901816
/proc/meminfo: memFree=126198388/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=227280 memory=210124 CPUtime=50.97 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 50330 0 0 0 5089 8 0 0 20 0 1 0 173181946 232734720 52531 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 56820 52531 2526 2417 0 53922 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 227280 KiB
Current children cumulated memory: 210124 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 901824
/proc/meminfo: memFree=126112684/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=291132 memory=270620 CPUtime=102.03 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 65433 0 0 0 10188 15 0 0 20 0 1 0 173181946 298119168 67655 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 72783 67655 2542 2417 0 69885 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 291132 KiB
Current children cumulated memory: 270620 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/257 901835
/proc/meminfo: memFree=126060352/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=333612 memory=309064 CPUtime=161.88 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 75670 0 0 0 16170 18 0 0 20 0 1 0 173181946 341618688 77266 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 83403 77266 2542 2417 0 80505 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 333612 KiB
Current children cumulated memory: 309064 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/259 902016
/proc/meminfo: memFree=125994956/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=342952 memory=318476 CPUtime=221.73 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 78268 0 0 0 22154 19 0 0 20 0 1 0 173181946 351182848 79619 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 85738 79619 2542 2417 0 82840 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 342952 KiB
Current children cumulated memory: 318476 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 902026
/proc/meminfo: memFree=125968432/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=369356 memory=343196 CPUtime=281.59 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 84426 0 0 0 28139 20 0 0 20 0 1 0 173181946 378220544 85799 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 92339 85799 2542 2417 0 89441 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 369356 KiB
Current children cumulated memory: 343196 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 902052
/proc/meminfo: memFree=125885904/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=369356 memory=343196 CPUtime=341.44 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 84468 0 0 0 34124 20 0 0 20 0 1 0 173181946 378220544 85799 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 92339 85799 2542 2417 0 89441 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 369356 KiB
Current children cumulated memory: 343196 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/258 902062
/proc/meminfo: memFree=125870536/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=371736 memory=345540 CPUtime=401.3 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 85080 0 0 0 40109 21 0 0 20 0 1 0 173181946 380657664 86385 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 92934 86385 2542 2417 0 90036 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 371736 KiB
Current children cumulated memory: 345540 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 902073
/proc/meminfo: memFree=125868640/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=379740 memory=352388 CPUtime=461.15 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 86779 0 0 0 46094 21 0 0 20 0 1 0 173181946 388853760 88097 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 94935 88097 2542 2417 0 92037 0

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

Current children cumulated memory: 591188 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/257 903125
/proc/meminfo: memFree=125194760/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=604956 memory=591976 CPUtime=2855.18 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 142800 0 0 0 285484 34 0 0 20 0 1 0 173181946 619474944 147994 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151239 147994 2542 2417 0 148341 0
Current children cumulated CPU time: 2855.18 s
Current children cumulated vsize: 604956 KiB
Current children cumulated memory: 591976 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/257 903135
/proc/meminfo: memFree=125157692/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=604956 memory=592512 CPUtime=2915 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 143098 0 0 0 291466 34 0 0 20 0 1 0 173181946 619474944 148128 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151239 148128 2542 2417 0 148341 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 604956 KiB
Current children cumulated memory: 592512 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.14 5/257 903145
/proc/meminfo: memFree=125049832/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=604956 memory=593300 CPUtime=2974.82 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 143371 0 0 0 297448 34 0 0 20 0 1 0 173181946 619474944 148325 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151239 148325 2542 2417 0 148341 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 604956 KiB
Current children cumulated memory: 593300 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.13 5/255 903156
/proc/meminfo: memFree=125037892/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=604956 memory=595124 CPUtime=3034.65 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 143655 0 0 0 303431 34 0 0 20 0 1 0 173181946 619474944 148781 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151239 148781 2542 2417 0 148341 0
Current children cumulated CPU time: 3034.65 s
Current children cumulated vsize: 604956 KiB
Current children cumulated memory: 595124 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.13 4.13 5/255 903166
/proc/meminfo: memFree=125031012/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=604956 memory=596876 CPUtime=3094.51 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 144085 0 0 0 309417 34 0 0 20 0 1 0 173181946 619474944 149219 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151239 149219 2542 2417 0 148341 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 604956 KiB
Current children cumulated memory: 596876 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/254 903176
/proc/meminfo: memFree=125029708/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=604956 memory=597188 CPUtime=3154.37 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 144436 0 0 0 315403 34 0 0 20 0 1 0 173181946 619474944 149297 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151239 149297 2542 2417 0 148341 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 604956 KiB
Current children cumulated memory: 597188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/254 903233
/proc/meminfo: memFree=125739748/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=607388 memory=597628 CPUtime=3214.22 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 144867 0 0 0 321388 34 0 0 20 0 1 0 173181946 621965312 149407 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151847 149407 2542 2417 0 148949 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 607388 KiB
Current children cumulated memory: 597628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.12 5/255 903244
/proc/meminfo: memFree=125607428/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=607388 memory=597844 CPUtime=3274.08 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 145157 0 0 0 327374 34 0 0 20 0 1 0 173181946 621965312 149461 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151847 149461 2542 2417 0 148949 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 607388 KiB
Current children cumulated memory: 597844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.12 5/257 903305
/proc/meminfo: memFree=125845616/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=607388 memory=598092 CPUtime=3333.94 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 145541 0 0 0 333360 34 0 0 20 0 1 0 173181946 621965312 149523 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151847 149523 2542 2417 0 148949 0
Current children cumulated CPU time: 3333.94 s
Current children cumulated vsize: 607388 KiB
Current children cumulated memory: 598092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.11 5/257 903315
/proc/meminfo: memFree=125836396/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=607388 memory=598416 CPUtime=3393.79 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 145869 0 0 0 339345 34 0 0 20 0 1 0 173181946 621965312 149604 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 151847 149604 2542 2417 0 148949 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 607388 KiB
Current children cumulated memory: 598416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/257 903326
/proc/meminfo: memFree=125835424/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=612420 memory=598516 CPUtime=3453.65 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 146161 0 0 0 345331 34 0 0 20 0 1 0 173181946 627118080 149629 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 153105 149629 2542 2417 0 150207 0
Current children cumulated CPU time: 3453.65 s
Current children cumulated vsize: 612420 KiB
Current children cumulated memory: 598516 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/257 903337
/proc/meminfo: memFree=125831616/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=612420 memory=600880 CPUtime=3513.51 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 146503 0 0 0 351317 34 0 0 20 0 1 0 173181946 627118080 150220 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 153105 150220 2542 2417 0 150207 0
Current children cumulated CPU time: 3513.51 s
Current children cumulated vsize: 612420 KiB
Current children cumulated memory: 600880 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/257 903350
/proc/meminfo: memFree=125801460/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=612420 memory=601448 CPUtime=3573.36 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 146917 0 0 0 357302 34 0 0 20 0 1 0 173181946 627118080 150362 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 153105 150362 2542 2417 0 150207 0
Current children cumulated CPU time: 3573.36 s
Current children cumulated vsize: 612420 KiB
Current children cumulated memory: 601448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.20 4.12 4.10 5/259 903788
/proc/meminfo: memFree=126338040/131524600 swapFree=131071996/131071996
[pid=901423] ppid=901420 vsize=567628 memory=560788 CPUtime=3600.01 cores=1,3
/proc/901423/stat : 901423 (CASHWMaxSAT-Dis) R 901420 901423 898698 0 -1 4194304 147045 0 0 0 359966 35 0 0 20 0 1 0 173181946 581251072 140197 134679101440 4194304 14093885 140722071903520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 36716544 140722071905252 140722071905367 140722071905367 140722071912383 0
/proc/901423/statm: 141907 140197 2542 2417 0 139009 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 567628 KiB
Current children cumulated memory: 560788 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.66 s, system=0.352057 s

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

Child status: 10

Real time (s): 3609.01
CPU time (s): 3600.02
CPU user time (s): 3599.66
CPU system time (s): 0.352057
CPU usage (%): 99.7508
Max. virtual memory (cumulated for all children) (KiB): 612420
Max. memory (cumulated for all children) (KiB): 601452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.66
system time used= 0.352057
maximum resident set size= 601452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147048
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= 52
involuntary context switches= 1820


# summary of solver processes directly reported to runsolver:
#   pid: 901423
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3599.66
#   total CPU system time (s): 0.352057

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43243 second user time and 15.195 second system time

The end