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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=883597, runsolver pid=883594

[startup+0.100094 s]*
/proc/loadavg: 4.72 4.39 4.18 5/242 883598
/proc/meminfo: memFree=127100436/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=42352 memory=23816 CPUtime=0.1 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 5362 0 0 0 10 0 0 0 20 0 1 0 171981114 43368448 5954 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 10588 5954 750 2417 0 7690 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42352 KiB
Current children cumulated memory: 23816 KiB

[startup+0.212516 s]*
/proc/loadavg: 4.72 4.39 4.18 5/242 883598
/proc/meminfo: memFree=127080080/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=62832 memory=44068 CPUtime=0.21 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 10430 0 0 0 20 1 0 0 20 0 1 0 171981114 64339968 11017 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 15708 11017 750 2417 0 12810 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62832 KiB
Current children cumulated memory: 44068 KiB

[startup+0.312434 s]*
/proc/loadavg: 4.72 4.39 4.18 6/242 883598
/proc/meminfo: memFree=127059580/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=77568 memory=62352 CPUtime=0.32 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 14579 0 0 0 30 2 0 0 20 0 1 0 171981114 79429632 15588 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 19392 15588 782 2417 0 16494 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 77568 KiB
Current children cumulated memory: 62352 KiB

[startup+0.700319 s]
/proc/loadavg: 4.72 4.39 4.18 5/242 883598
/proc/meminfo: memFree=126962796/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=208688 memory=198324 CPUtime=0.69 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 47987 0 0 0 62 7 0 0 20 0 1 0 171981114 213696512 49581 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 52172 49581 2350 2417 0 49274 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 208688 KiB
Current children cumulated memory: 198324 KiB

[startup+1.50036 s]
/proc/loadavg: 4.72 4.39 4.18 5/242 883598
/proc/meminfo: memFree=126915332/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=374300 memory=339036 CPUtime=1.48 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 58059 0 0 0 138 10 0 0 20 0 1 0 171981114 383283200 84759 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 93575 84759 2414 2417 0 90677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 374300 KiB
Current children cumulated memory: 339036 KiB

[startup+3.11227 s]
/proc/loadavg: 4.66 4.38 4.18 5/242 883598
/proc/meminfo: memFree=126672772/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=492188 memory=454940 CPUtime=3.09 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 75404 0 0 0 295 14 0 0 20 0 1 0 171981114 504000512 113735 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 123047 113735 2510 2417 0 120149 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 492188 KiB
Current children cumulated memory: 454940 KiB

[startup+6.30024 s]
/proc/loadavg: 4.66 4.38 4.18 5/242 883598
/proc/meminfo: memFree=126649472/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=528220 memory=478156 CPUtime=6.27 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 80698 0 0 0 612 15 0 0 20 0 1 0 171981114 540897280 119539 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 132055 119539 2526 2417 0 129157 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 528220 KiB
Current children cumulated memory: 478156 KiB

[startup+12.7003 s]
/proc/loadavg: 4.61 4.38 4.18 5/242 883600
/proc/meminfo: memFree=126632888/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=544568 memory=479452 CPUtime=12.65 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 80997 0 0 0 1250 15 0 0 20 0 1 0 171981114 557637632 119863 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 136142 119863 2526 2417 0 133244 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 544568 KiB
Current children cumulated memory: 479452 KiB

[startup+25.5003 s]
/proc/loadavg: 4.47 4.36 4.18 5/242 883601
/proc/meminfo: memFree=126603604/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=581976 memory=488744 CPUtime=25.42 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 81782 0 0 0 2526 16 0 0 20 0 1 0 171981114 595943424 122186 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 145494 122186 2526 2417 0 142596 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 581976 KiB
Current children cumulated memory: 488744 KiB

[startup+51.1123 s]
/proc/loadavg: 4.37 4.34 4.18 5/242 883606
/proc/meminfo: memFree=126482944/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=781776 memory=596004 CPUtime=50.94 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 117902 0 0 0 5072 22 0 0 20 0 1 0 171981114 800538624 149001 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 195444 149001 2542 2417 0 192546 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 781776 KiB
Current children cumulated memory: 596004 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.32 4.18 5/242 883615
/proc/meminfo: memFree=126462876/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=777296 memory=591776 CPUtime=101.94 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 123137 0 0 0 10171 23 0 0 20 0 1 0 171981114 795951104 147944 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 194324 147944 2542 2417 0 191426 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 777296 KiB
Current children cumulated memory: 591776 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.27 4.17 5/242 883625
/proc/meminfo: memFree=126344412/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=924392 memory=692952 CPUtime=161.73 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 154139 0 0 0 16145 28 0 0 20 0 1 0 171981114 946577408 173238 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 231098 173238 2542 2417 0 228200 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 924392 KiB
Current children cumulated memory: 692952 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 4.27 4.18 5/243 883639
/proc/meminfo: memFree=126263808/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1007708 memory=777148 CPUtime=221.52 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 173359 0 0 0 22121 31 0 0 20 0 1 0 171981114 1031892992 194287 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 251927 194287 2542 2417 0 249029 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 1007708 KiB
Current children cumulated memory: 777148 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.25 4.18 5/243 883649
/proc/meminfo: memFree=126228420/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1021488 memory=783940 CPUtime=281.31 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 182346 0 0 0 28098 33 0 0 20 0 1 0 171981114 1046003712 195985 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 255372 195985 2542 2417 0 252474 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 1021488 KiB
Current children cumulated memory: 783940 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.23 4.18 5/243 883660
/proc/meminfo: memFree=126144508/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1076804 memory=858568 CPUtime=341.11 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 197577 0 0 0 34075 36 0 0 20 0 1 0 171981114 1102647296 214642 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 269201 214642 2542 2417 0 266303 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 1076804 KiB
Current children cumulated memory: 858568 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.20 4.17 5/243 883670
/proc/meminfo: memFree=126031272/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1149512 memory=966536 CPUtime=400.93 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 230679 0 0 0 40052 41 0 0 20 0 1 0 171981114 1177100288 241634 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 287378 241634 2794 2417 0 284480 0
Current children cumulated CPU time: 400.93 s
Current children cumulated vsize: 1149512 KiB
Current children cumulated memory: 966536 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/243 883681
/proc/meminfo: memFree=125947056/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1216300 memory=1033640 CPUtime=460.74 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 246227 0 0 0 46031 43 0 0 20 0 1 0 171981114 1245491200 258410 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0

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

Current children cumulated memory: 1086044 KiB

[startup+2922.3 s]
/proc/loadavg: 4.98 4.63 4.36 5/244 885170
/proc/meminfo: memFree=124997160/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086044 CPUtime=2912.31 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 377220 0 0 0 291159 72 0 0 20 0 1 0 171981114 1250451456 271511 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271511 2794 2417 0 302388 0
Current children cumulated CPU time: 2912.31 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086044 KiB

[startup+2982.3 s]
/proc/loadavg: 4.42 4.53 4.34 5/244 885180
/proc/meminfo: memFree=124947304/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086044 CPUtime=2972.12 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 377371 0 0 0 297140 72 0 0 20 0 1 0 171981114 1250451456 271511 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271511 2794 2417 0 302388 0
Current children cumulated CPU time: 2972.12 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086044 KiB

[startup+3042.3 s]
/proc/loadavg: 4.24 4.46 4.33 5/244 885190
/proc/meminfo: memFree=124890064/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086044 CPUtime=3031.93 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 377522 0 0 0 303121 72 0 0 20 0 1 0 171981114 1250451456 271511 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271511 2794 2417 0 302388 0
Current children cumulated CPU time: 3031.93 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086044 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.40 4.32 5/246 885372
/proc/meminfo: memFree=124890184/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086044 CPUtime=3091.74 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 377673 0 0 0 309102 72 0 0 20 0 1 0 171981114 1250451456 271511 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271511 2794 2417 0 302388 0
Current children cumulated CPU time: 3091.74 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086044 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.34 4.30 5/246 885382
/proc/meminfo: memFree=124843628/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3151.54 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 377826 0 0 0 315082 72 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3151.54 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.29 4.29 5/244 885448
/proc/meminfo: memFree=124850592/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3211.35 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 377978 0 0 0 321063 72 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3211.35 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.27 4.27 5/244 885458
/proc/meminfo: memFree=124828112/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3271.16 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378148 0 0 0 327044 72 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3271.16 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.23 4.26 5/244 885469
/proc/meminfo: memFree=124759564/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3330.96 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378297 0 0 0 333024 72 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3330.96 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.22 4.26 5/243 885479
/proc/meminfo: memFree=124734392/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3390.76 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378462 0 0 0 339004 72 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3390.76 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.24 5/243 885490
/proc/meminfo: memFree=124731832/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3450.57 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378615 0 0 0 344985 72 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3450.57 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.19 4.24 5/242 885501
/proc/meminfo: memFree=124739756/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3510.38 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378776 0 0 0 350965 73 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3510.38 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.17 4.23 5/242 885511
/proc/meminfo: memFree=124754040/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3570.19 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378945 0 0 0 356946 73 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3570.19 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.15 4.17 4.22 5/242 885563
/proc/meminfo: memFree=124288164/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3600.09 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378998 0 0 0 359936 73 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.37 s, system=0.733607 s

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

[startup+3612.3 s]
/proc/loadavg: 4.15 4.17 4.22 5/242 885563
/proc/meminfo: memFree=124288164/131655788 swapFree=131071996/131071996
[pid=883597] ppid=883594 vsize=1221144 memory=1086048 CPUtime=3600.09 cores=0,2
/proc/883597/stat : 883597 (CASHWMaxSAT-Dis) R 883594 883597 881512 0 -1 4194304 378998 0 0 0 359936 73 0 0 20 0 1 0 171981114 1250451456 271512 134679101440 4194304 14093885 140728259069760 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 35340288 140728259072996 140728259073111 140728259073111 140728259080127 0
/proc/883597/statm: 305286 271512 2794 2417 0 302388 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1221144 KiB
Current children cumulated memory: 1086048 KiB

Child status: 10

Real time (s): 3612.3
CPU time (s): 3600.1
CPU user time (s): 3599.37
CPU system time (s): 0.733607
CPU usage (%): 99.6621
Max. virtual memory (cumulated for all children) (KiB): 1878008
Max. memory (cumulated for all children) (KiB): 1617932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.37
system time used= 0.733607
maximum resident set size= 1617932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 379000
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= 79
involuntary context switches= 25191


# summary of solver processes directly reported to runsolver:
#   pid: 883597
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3599.37
#   total CPU system time (s): 0.733607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.724 second user time and 29.3419 second system time

The end