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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=899752, runsolver pid=899749
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 4.16 4.13 4.09 5/256 899753
/proc/meminfo: memFree=122138796/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=45180 memory=36604 CPUtime=0.09 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 7060 0 0 0 8 1 0 0 20 0 1 0 172353205 46264320 9151 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 11295 9151 2634 2550 0 8250 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45180 KiB
Current children cumulated memory: 36604 KiB

[startup+0.205715 s]*
/proc/loadavg: 4.16 4.13 4.09 5/256 899753
/proc/meminfo: memFree=122136612/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=46368 memory=37920 CPUtime=0.2 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 7359 0 0 0 19 1 0 0 20 0 1 0 172353205 47480832 9480 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 11592 9480 2634 2550 0 8547 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 46368 KiB
Current children cumulated memory: 37920 KiB

[startup+0.305625 s]*
/proc/loadavg: 4.16 4.13 4.09 5/256 899753
/proc/meminfo: memFree=122136136/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=46676 memory=38240 CPUtime=0.3 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 7453 0 0 0 29 1 0 0 20 0 1 0 172353205 47796224 9560 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 11669 9560 2650 2550 0 8624 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46676 KiB
Current children cumulated memory: 38240 KiB

[startup+0.700221 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 899753
/proc/meminfo: memFree=122131596/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=50228 memory=41100 CPUtime=0.68 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 8201 0 0 0 67 1 0 0 20 0 1 0 172353205 51433472 10275 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 12557 10275 2650 2550 0 9512 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 50228 KiB
Current children cumulated memory: 41100 KiB

[startup+1.50022 s]
/proc/loadavg: 4.16 4.13 4.09 5/254 899767
/proc/meminfo: memFree=127225196/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=52068 memory=42156 CPUtime=1.48 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 8406 0 0 0 147 1 0 0 20 0 1 0 172353205 53317632 10539 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 13017 10539 2650 2550 0 9972 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52068 KiB
Current children cumulated memory: 42156 KiB

[startup+3.10547 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127181760/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=61892 memory=51396 CPUtime=3.09 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 10754 0 0 0 307 2 0 0 20 0 1 0 172353205 63377408 12849 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 15473 12849 2650 2550 0 12428 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61892 KiB
Current children cumulated memory: 51396 KiB

[startup+6.30019 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 899799
/proc/meminfo: memFree=127134868/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=79068 memory=68028 CPUtime=6.27 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 14896 0 0 0 624 3 0 0 20 0 1 0 172353205 80965632 17007 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 19767 17007 2650 2550 0 16722 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79068 KiB
Current children cumulated memory: 68028 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 899847
/proc/meminfo: memFree=127254596/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=134576 memory=119508 CPUtime=12.65 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 27780 0 0 0 1261 4 0 0 20 0 1 0 172353205 137805824 29877 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 33644 29877 2650 2550 0 30599 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 134576 KiB
Current children cumulated memory: 119508 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 899848
/proc/meminfo: memFree=126699068/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=134576 memory=119772 CPUtime=25.4 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 27823 0 0 0 2536 4 0 0 20 0 1 0 172353205 137805824 29943 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 33644 29943 2650 2550 0 30599 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 134576 KiB
Current children cumulated memory: 119772 KiB

[startup+51.1055 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 899854
/proc/meminfo: memFree=126450880/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=200328 memory=181732 CPUtime=50.93 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 43357 0 0 0 5086 7 0 0 20 0 1 0 172353205 205135872 45433 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 50082 45433 2650 2550 0 47037 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 200328 KiB
Current children cumulated memory: 181732 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 899863
/proc/meminfo: memFree=126264996/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=212220 memory=194092 CPUtime=101.95 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 46464 0 0 0 10188 7 0 0 20 0 1 0 172353205 217313280 48523 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 53055 48523 2650 2550 0 50010 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 212220 KiB
Current children cumulated memory: 194092 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 899878
/proc/meminfo: memFree=126219612/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=277376 memory=257276 CPUtime=161.76 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 61514 0 0 0 16163 13 0 0 20 0 1 0 172353205 284033024 64319 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 69344 64319 2650 2550 0 66299 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 277376 KiB
Current children cumulated memory: 257276 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 899889
/proc/meminfo: memFree=126134728/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=277376 memory=263180 CPUtime=221.6 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 62094 0 0 0 22147 13 0 0 20 0 1 0 172353205 284033024 65795 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 69344 65795 2650 2550 0 66299 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 277376 KiB
Current children cumulated memory: 263180 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/258 899899
/proc/meminfo: memFree=126094292/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=292984 memory=282856 CPUtime=281.44 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 66383 0 0 0 28130 14 0 0 20 0 1 0 172353205 300015616 70714 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 73246 70714 2650 2550 0 70201 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 292984 KiB
Current children cumulated memory: 282856 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/258 899911
/proc/meminfo: memFree=126049360/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=297048 memory=289916 CPUtime=341.28 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 67488 0 0 0 34114 14 0 0 20 0 1 0 172353205 304177152 72479 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 74262 72479 2650 2550 0 71217 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 297048 KiB
Current children cumulated memory: 289916 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 899924
/proc/meminfo: memFree=126141924/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=302756 memory=293592 CPUtime=401.12 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 68576 0 0 0 40098 14 0 0 20 0 1 0 172353205 310022144 73398 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 75689 73398 2650 2550 0 72644 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 302756 KiB
Current children cumulated memory: 293592 KiB

[startup+462.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/257 899934
/proc/meminfo: memFree=125872480/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=312164 memory=301240 CPUtime=460.97 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 70596 0 0 0 46083 14 0 0 20 0 1 0 172353205 319655936 75310 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 78041 75310 2650 2550 0 74996 0

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

Current children cumulated memory: 435748 KiB

[startup+2862.3 s]
/proc/loadavg: 4.18 4.23 4.18 5/256 900996
/proc/meminfo: memFree=124613812/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=2854.85 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111085 0 0 0 285463 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 2854.85 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/258 901393
/proc/meminfo: memFree=124782408/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=2914.69 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111175 0 0 0 291447 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 2914.69 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/258 901403
/proc/meminfo: memFree=124952868/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=2974.54 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111265 0 0 0 297432 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 2974.54 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.17 4.17 5/260 901585
/proc/meminfo: memFree=125081976/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3034.39 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111349 0 0 0 303417 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3034.39 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/259 901595
/proc/meminfo: memFree=124797464/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3094.24 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111433 0 0 0 309402 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3094.24 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.15 4.16 5/259 901661
/proc/meminfo: memFree=124673184/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3154.08 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111517 0 0 0 315386 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.16 5/257 901672
/proc/meminfo: memFree=124916712/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3213.92 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111601 0 0 0 321370 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3213.92 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/257 901682
/proc/meminfo: memFree=124915088/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3273.77 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111685 0 0 0 327355 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/257 901694
/proc/meminfo: memFree=124732656/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3333.62 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111769 0 0 0 333340 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.47 4.21 4.18 5/256 901706
/proc/meminfo: memFree=124764904/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3393.46 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111853 0 0 0 339324 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3393.46 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.22 4.18 5/255 901716
/proc/meminfo: memFree=124834392/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3453.3 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 111937 0 0 0 345308 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/255 901726
/proc/meminfo: memFree=124909136/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3513.15 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 112021 0 0 0 351293 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3513.15 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/255 901736
/proc/meminfo: memFree=124960804/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3572.99 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 112115 0 0 0 357277 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3572.99 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.16 4.18 4.17 5/256 901743
/proc/meminfo: memFree=124817508/131524600 swapFree=131071996/131071996
[pid=899752] ppid=899749 vsize=442488 memory=435748 CPUtime=3600.03 cores=4,6
/proc/899752/stat : 899752 (CASHWMaxSAT-Dis) R 899749 899752 895048 0 -1 4194304 112142 0 0 0 359981 22 0 0 20 0 1 0 172353205 453107712 108937 134679101440 4194304 14636349 140723676276768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 52199424 140723676279778 140723676279894 140723676279894 140723676286910 0
/proc/899752/statm: 110622 108937 2650 2550 0 107577 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 442488 KiB
Current children cumulated memory: 435748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.81 s, system=0.230094 s

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

Child status: 10

Real time (s): 3609.4
CPU time (s): 3600.04
CPU user time (s): 3599.81
CPU system time (s): 0.230094
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 476744
Max. memory (cumulated for all children) (KiB): 469140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.81
system time used= 0.230094
maximum resident set size= 469140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112145
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= 38
involuntary context switches= 2985


# summary of solver processes directly reported to runsolver:
#   pid: 899752
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3599.81
#   total CPU system time (s): 0.230094

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56146 second user time and 15.7656 second system time

The end