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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439491-1721201851/watcher-4439491-1721201851 -o /tmp/evaluation-result-4439491-1721201851/solver-4439491-1721201851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721194642-895061 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439491-1721201851.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
Current StackSize limit: 8192 KiB

solver pid=899798, runsolver pid=899795

[startup+0.100614 s]*
/proc/loadavg: 4.16 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127204652/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=43488 memory=34904 CPUtime=0.09 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 6596 0 0 0 9 0 0 0 20 0 1 0 172353331 44531712 8726 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 10872 8726 2634 2550 0 7827 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43488 KiB
Current children cumulated memory: 34904 KiB

[startup+0.205486 s]*
/proc/loadavg: 4.16 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127203120/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=44280 memory=35688 CPUtime=0.19 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 6798 0 0 0 19 0 0 0 20 0 1 0 172353331 45342720 8922 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 11070 8922 2634 2550 0 8025 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44280 KiB
Current children cumulated memory: 35688 KiB

[startup+0.305497 s]*
/proc/loadavg: 4.16 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127201636/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=47368 memory=38388 CPUtime=0.29 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 7490 0 0 0 29 0 0 0 20 0 1 0 172353331 48504832 9597 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 11842 9597 2650 2550 0 8797 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47368 KiB
Current children cumulated memory: 38388 KiB

[startup+0.700227 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127196900/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=49352 memory=39932 CPUtime=0.68 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 7899 0 0 0 68 0 0 0 20 0 1 0 172353331 50536448 9983 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 12338 9983 2650 2550 0 9293 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 49352 KiB
Current children cumulated memory: 39932 KiB

[startup+1.50019 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127194520/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=52768 memory=42572 CPUtime=1.48 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 8542 0 0 0 148 0 0 0 20 0 1 0 172353331 54034432 10643 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 13192 10643 2650 2550 0 10147 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 52768 KiB
Current children cumulated memory: 42572 KiB

[startup+3.10539 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 899799
/proc/meminfo: memFree=127161340/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=71308 memory=60524 CPUtime=3.08 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 13028 0 0 0 307 1 0 0 20 0 1 0 172353331 73019392 15131 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 17827 15131 2650 2550 0 14782 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 71308 KiB
Current children cumulated memory: 60524 KiB

[startup+6.30022 s]
/proc/loadavg: 4.15 4.13 4.09 5/255 899801
/proc/meminfo: memFree=127113420/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=105752 memory=93524 CPUtime=6.27 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 21257 0 0 0 624 3 0 0 20 0 1 0 172353331 108290048 23381 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 26438 23381 2650 2550 0 23393 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 105752 KiB
Current children cumulated memory: 93524 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.12 4.09 5/255 899847
/proc/meminfo: memFree=127127748/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=129924 memory=114116 CPUtime=12.65 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 26441 0 0 0 1262 3 0 0 20 0 1 0 172353331 133042176 28529 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 32481 28529 2650 2550 0 29436 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 129924 KiB
Current children cumulated memory: 114116 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.12 4.09 5/255 899848
/proc/meminfo: memFree=126712764/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=129924 memory=115436 CPUtime=25.43 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 26724 0 0 0 2539 4 0 0 20 0 1 0 172353331 133042176 28859 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 32481 28859 2650 2550 0 29436 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 129924 KiB
Current children cumulated memory: 115436 KiB

[startup+51.1054 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 899854
/proc/meminfo: memFree=126436308/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=195336 memory=174972 CPUtime=50.96 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 42601 0 0 0 5089 7 0 0 20 0 1 0 172353331 200024064 43743 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 48834 43743 2650 2550 0 45789 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 195336 KiB
Current children cumulated memory: 174972 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 899863
/proc/meminfo: memFree=126216008/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=236048 memory=214096 CPUtime=102.02 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 52494 0 0 0 10192 10 0 0 20 0 1 0 172353331 241713152 53524 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 59012 53524 2650 2550 0 55967 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 236048 KiB
Current children cumulated memory: 214096 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 899878
/proc/meminfo: memFree=126170488/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=248148 memory=227028 CPUtime=161.88 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 55727 0 0 0 16177 11 0 0 20 0 1 0 172353331 254103552 56757 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 62037 56757 2650 2550 0 58992 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 248148 KiB
Current children cumulated memory: 227028 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 899889
/proc/meminfo: memFree=126204192/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=285412 memory=262008 CPUtime=221.71 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 64498 0 0 0 22158 13 0 0 20 0 1 0 172353331 292261888 65502 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 71353 65502 2650 2550 0 68308 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 285412 KiB
Current children cumulated memory: 262008 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/258 899899
/proc/meminfo: memFree=126154868/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=289096 memory=265360 CPUtime=281.55 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 65379 0 0 0 28142 13 0 0 20 0 1 0 172353331 296034304 66340 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 72274 66340 2650 2550 0 69229 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 289096 KiB
Current children cumulated memory: 265360 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 899911
/proc/meminfo: memFree=126014504/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=291128 memory=271080 CPUtime=341.4 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 65501 0 0 0 34126 14 0 0 20 0 1 0 172353331 298115072 67770 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 72782 67770 2650 2550 0 69737 0
Current children cumulated CPU time: 341.4 s
Current children cumulated vsize: 291128 KiB
Current children cumulated memory: 271080 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 899924
/proc/meminfo: memFree=126100964/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=297768 memory=281532 CPUtime=401.24 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 66976 0 0 0 40110 14 0 0 20 0 1 0 172353331 304914432 70383 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 74442 70383 2650 2550 0 71397 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 297768 KiB
Current children cumulated memory: 281532 KiB

[startup+462.3 s]
/proc/loadavg: 4.30 4.16 4.10 5/255 899934
/proc/meminfo: memFree=125671036/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=297768 memory=287360 CPUtime=461.09 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 67300 0 0 0 46095 14 0 0 20 0 1 0 172353331 304914432 71840 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 74442 71840 2650 2550 0 71397 0

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

Current children cumulated memory: 358068 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/256 900996
/proc/meminfo: memFree=124556356/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=2853.99 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 97858 0 0 0 285379 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.21 4.18 5/258 901393
/proc/meminfo: memFree=124729136/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=2913.81 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 97942 0 0 0 291361 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 2913.81 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.19 4.17 5/258 901403
/proc/meminfo: memFree=124986388/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=2973.63 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98024 0 0 0 297343 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 2973.63 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.17 4.16 5/260 901585
/proc/meminfo: memFree=125011624/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3033.46 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98106 0 0 0 303326 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3033.46 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.16 4.16 5/259 901595
/proc/meminfo: memFree=124731880/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3093.28 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98187 0 0 0 309308 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3093.28 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/259 901661
/proc/meminfo: memFree=124620976/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3153.1 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98269 0 0 0 315290 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/257 901672
/proc/meminfo: memFree=124863720/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3212.92 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98352 0 0 0 321272 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/257 901682
/proc/meminfo: memFree=124943760/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3272.74 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98434 0 0 0 327254 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/257 901694
/proc/meminfo: memFree=124677304/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3332.56 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98516 0 0 0 333236 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3402.3 s]
/proc/loadavg: 4.47 4.21 4.18 5/256 901706
/proc/meminfo: memFree=124701516/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3392.38 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98598 0 0 0 339218 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.22 4.18 5/255 901716
/proc/meminfo: memFree=124779032/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3452.2 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98682 0 0 0 345200 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3452.2 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.19 4.17 5/255 901726
/proc/meminfo: memFree=124848336/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3512.02 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98765 0 0 0 351182 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3512.02 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/255 901736
/proc/meminfo: memFree=124905508/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3571.85 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98846 0 0 0 357165 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3571.85 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.16 4.18 4.17 4/249 901774
/proc/meminfo: memFree=125229812/131524600 swapFree=131071996/131071996
[pid=899798] ppid=899795 vsize=364876 memory=358068 CPUtime=3600.06 cores=5,7
/proc/899798/stat : 899798 (CASHWMaxSAT-Dis) R 899795 899798 895048 0 -1 4194304 98871 0 0 0 359986 20 0 0 20 0 1 0 172353331 373633024 89517 134679101440 4194304 14636349 140723266303776 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 45076480 140723266307042 140723266307158 140723266307158 140723266314174 0
/proc/899798/statm: 91219 89517 2650 2550 0 88174 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 364876 KiB
Current children cumulated memory: 358068 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.87 s, system=0.204397 s

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

Child status: 10

Real time (s): 3610.6
CPU time (s): 3600.07
CPU user time (s): 3599.87
CPU system time (s): 0.204397
CPU usage (%): 99.7083
Max. virtual memory (cumulated for all children) (KiB): 422380
Max. memory (cumulated for all children) (KiB): 408908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.87
system time used= 0.204397
maximum resident set size= 408908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98874
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= 48
involuntary context switches= 1383


# summary of solver processes directly reported to runsolver:
#   pid: 899798
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.87
#   total CPU system time (s): 0.204397

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38197 second user time and 17.083 second system time

The end