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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439149-1721201851/watcher-4439149-1721201851 -o /tmp/evaluation-result-4439149-1721201851/solver-4439149-1721201851 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721194641-888536 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439149-1721201851.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
Current StackSize limit: 8192 KiB
solver pid=892696, runsolver pid=892693


[startup+0.100068 s]*
/proc/loadavg: 4.17 4.13 4.09 5/237 892718
/proc/meminfo: memFree=121488712/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=38536 memory=24120 CPUtime=0.1 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 5276 0 0 0 10 0 0 0 20 0 1 0 172343863 39460864 6030 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 9634 6030 878 2594 0 6527 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38536 KiB
Current children cumulated memory: 24120 KiB

[startup+0.213208 s]*
/proc/loadavg: 4.17 4.13 4.09 5/238 892723
/proc/meminfo: memFree=121453732/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=57772 memory=43392 CPUtime=0.21 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 10107 0 0 0 20 1 0 0 20 0 1 0 172343863 59158528 10848 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 14443 10848 878 2594 0 11336 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57772 KiB
Current children cumulated memory: 43392 KiB

[startup+0.313336 s]*
/proc/loadavg: 4.17 4.13 4.09 5/241 892729
/proc/meminfo: memFree=121413768/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=74224 memory=59808 CPUtime=0.31 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 14248 0 0 0 30 1 0 0 20 0 1 0 172343863 76005376 14952 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 18556 14952 926 2594 0 15449 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 74224 KiB
Current children cumulated memory: 59808 KiB

[startup+0.700347 s]
/proc/loadavg: 4.17 4.13 4.09 5/241 892729
/proc/meminfo: memFree=121278812/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=189708 memory=179128 CPUtime=0.69 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 43256 0 0 0 63 6 0 0 20 0 1 0 172343863 194260992 44782 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 47427 44782 2526 2594 0 44320 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 189708 KiB
Current children cumulated memory: 179128 KiB

[startup+1.50036 s]
/proc/loadavg: 4.15 4.13 4.09 5/241 892729
/proc/meminfo: memFree=121222052/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=272248 memory=244960 CPUtime=1.49 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 59269 0 0 0 140 9 0 0 20 0 1 0 172343863 278781952 61240 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 68062 61240 2558 2594 0 64955 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 272248 KiB
Current children cumulated memory: 244960 KiB

[startup+3.11308 s]
/proc/loadavg: 4.15 4.13 4.09 5/241 892729
/proc/meminfo: memFree=120967976/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=496936 memory=454604 CPUtime=3.1 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 85372 0 0 0 294 16 0 0 20 0 1 0 172343863 508862464 113651 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 124234 113651 2654 2594 0 121127 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 496936 KiB
Current children cumulated memory: 454604 KiB

[startup+6.30031 s]
/proc/loadavg: 4.14 4.13 4.09 5/241 892729
/proc/meminfo: memFree=120913228/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=529804 memory=476440 CPUtime=6.28 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 90232 0 0 0 611 17 0 0 20 0 1 0 172343863 542519296 119110 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 132451 119110 2670 2594 0 129344 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 529804 KiB
Current children cumulated memory: 476440 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 892730
/proc/meminfo: memFree=120901816/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=548776 memory=483908 CPUtime=12.65 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 91114 0 0 0 1248 17 0 0 20 0 1 0 172343863 561946624 120977 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 137194 120977 2670 2594 0 134087 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 548776 KiB
Current children cumulated memory: 483908 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.12 4.09 5/241 892732
/proc/meminfo: memFree=120882656/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=585476 memory=493272 CPUtime=25.42 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 93968 0 0 0 2524 18 0 0 20 0 1 0 172343863 599527424 123318 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 146369 123318 2670 2594 0 143262 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 585476 KiB
Current children cumulated memory: 493272 KiB

[startup+51.1127 s]
/proc/loadavg: 4.13 4.12 4.09 5/241 892736
/proc/meminfo: memFree=120680328/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=807712 memory=620420 CPUtime=50.96 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 137780 0 0 0 5071 25 0 0 20 0 1 0 172343863 827097088 155105 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 201928 155105 2670 2594 0 198821 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 807712 KiB
Current children cumulated memory: 620420 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/241 892747
/proc/meminfo: memFree=120568988/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=809396 memory=623260 CPUtime=101.99 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 138530 0 0 0 10173 26 0 0 20 0 1 0 172343863 828821504 155815 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 202349 155815 2670 2594 0 199242 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 809396 KiB
Current children cumulated memory: 623260 KiB

[startup+162.3 s]
/proc/loadavg: 4.76 4.30 4.16 5/242 892803
/proc/meminfo: memFree=120392088/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=930332 memory=699248 CPUtime=161.82 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 169181 0 0 0 16151 31 0 0 20 0 1 0 172343863 952659968 174812 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 232583 174812 2670 2594 0 229476 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 930332 KiB
Current children cumulated memory: 699248 KiB

[startup+222.3 s]
/proc/loadavg: 4.50 4.32 4.17 5/245 892818
/proc/meminfo: memFree=120264932/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=998936 memory=766836 CPUtime=221.65 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 185146 0 0 0 22131 34 0 0 20 0 1 0 172343863 1022910464 191709 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 249734 191709 2670 2594 0 246627 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 998936 KiB
Current children cumulated memory: 766836 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.27 4.17 5/245 892829
/proc/meminfo: memFree=120055460/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1037000 memory=798732 CPUtime=281.47 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 196609 0 0 0 28110 37 0 0 20 0 1 0 172343863 1061888000 199683 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 259250 199683 2670 2594 0 256143 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 1037000 KiB
Current children cumulated memory: 798732 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.23 4.16 5/245 892840
/proc/meminfo: memFree=119990704/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1065752 memory=811716 CPUtime=341.29 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 211263 0 0 0 34090 39 0 0 20 0 1 0 172343863 1091330048 202929 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 266438 202929 2670 2594 0 263331 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 1065752 KiB
Current children cumulated memory: 811716 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.23 4.17 5/245 892850
/proc/meminfo: memFree=119744004/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1122416 memory=869024 CPUtime=401.1 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 228931 0 0 0 40068 42 0 0 20 0 1 0 172343863 1149353984 217256 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 280604 217256 2938 2594 0 277497 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 1122416 KiB
Current children cumulated memory: 869024 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.20 4.16 5/244 892862
/proc/meminfo: memFree=119602548/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1160308 memory=907252 CPUtime=460.94 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 250161 0 0 0 46048 46 0 0 20 0 1 0 172343863 1188155392 226813 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 290077 226813 2938 2594 0 286970 0

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

Current children cumulated memory: 978212 KiB

[startup+2922.3 s]
/proc/loadavg: 3.89 4.08 4.08 4/235 894339
/proc/meminfo: memFree=121170360/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=2912.88 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417149 0 0 0 291185 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 2912.88 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+2982.3 s]
/proc/loadavg: 3.43 3.91 4.02 4/235 894349
/proc/meminfo: memFree=121130284/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=2972.73 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417228 0 0 0 297170 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 2972.73 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3042.3 s]
/proc/loadavg: 3.20 3.76 3.96 4/235 894359
/proc/meminfo: memFree=121093484/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3032.58 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417310 0 0 0 303155 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3032.58 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3102.3 s]
/proc/loadavg: 3.18 3.65 3.91 4/238 894541
/proc/meminfo: memFree=121070500/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3092.43 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417408 0 0 0 309140 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3092.43 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3162.3 s]
/proc/loadavg: 3.74 3.71 3.91 4/238 894551
/proc/meminfo: memFree=121069976/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3152.29 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417468 0 0 0 315126 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3152.29 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3222.3 s]
/proc/loadavg: 3.63 3.69 3.90 4/237 894617
/proc/meminfo: memFree=121054400/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3212.14 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417544 0 0 0 321111 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3212.14 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3282.3 s]
/proc/loadavg: 3.29 3.58 3.84 4/237 894627
/proc/meminfo: memFree=121079644/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3271.98 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417632 0 0 0 327095 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3342.3 s]
/proc/loadavg: 3.15 3.49 3.79 4/237 894638
/proc/meminfo: memFree=121075560/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3331.83 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417718 0 0 0 333080 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3402.3 s]
/proc/loadavg: 3.17 3.43 3.75 4/235 894648
/proc/meminfo: memFree=121050832/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3391.66 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417818 0 0 0 339063 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3462.3 s]
/proc/loadavg: 3.11 3.36 3.71 4/235 894659
/proc/meminfo: memFree=121050824/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3451.49 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417873 0 0 0 345046 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3451.49 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3522.3 s]
/proc/loadavg: 3.39 3.39 3.69 4/234 894671
/proc/meminfo: memFree=120920344/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3511.31 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 417965 0 0 0 351028 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

[startup+3582.3 s]
/proc/loadavg: 3.58 3.45 3.70 4/234 894681
/proc/meminfo: memFree=121045576/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3571.13 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 418071 0 0 0 357010 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 3.64 3.48 3.70 4/234 894686
/proc/meminfo: memFree=121044344/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3600.05 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 418099 0 0 0 359902 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.02 s, system=1.04127 s

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

[startup+3611.3 s]
/proc/loadavg: 3.64 3.48 3.70 4/234 894686
/proc/meminfo: memFree=121044344/131655788 swapFree=131071996/131071996
[pid=892696] ppid=892693 vsize=1130716 memory=979004 CPUtime=3600.05 cores=1,3
/proc/892696/stat : 892696 (CASHWMaxSAT-Dis) R 892693 892696 888524 0 -1 4194304 418099 0 0 0 359902 103 0 0 20 0 1 0 172343863 1157853184 244751 134679101440 4194304 14817773 140722120888528 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 55009280 140722120897508 140722120897623 140722120897623 140722120904639 0
/proc/892696/statm: 282679 244751 2986 2594 0 279572 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1130716 KiB
Current children cumulated memory: 979004 KiB

Child status: 10

Real time (s): 3611.3
CPU time (s): 3600.07
CPU user time (s): 3599.02
CPU system time (s): 1.04127
CPU usage (%): 99.6888
Max. virtual memory (cumulated for all children) (KiB): 1874252
Max. memory (cumulated for all children) (KiB): 1554880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.04127
maximum resident set size= 1555112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418101
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= 53
involuntary context switches= 1809


# summary of solver processes directly reported to runsolver:
#   pid: 892696
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3599.02
#   total CPU system time (s): 1.04127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2438 second user time and 35.6157 second system time

The end