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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439156-1721194629/watcher-4439156-1721194629 -o /tmp/evaluation-result-4439156-1721194629/solver-4439156-1721194629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721194641-890811 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439156-1721194629.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=890874, runsolver pid=890860

[startup+0.100262 s]*
/proc/loadavg: 0.54 0.29 0.16 8/247 890877
/proc/meminfo: memFree=127509056/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=25988 memory=11372 CPUtime=0.1 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 2237 0 0 0 10 0 0 0 20 0 1 0 171621038 26611712 2843 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 6497 2843 926 2594 0 3390 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25988 KiB
Current children cumulated memory: 11372 KiB

[startup+0.21508 s]*
/proc/loadavg: 0.54 0.29 0.16 8/247 890877
/proc/meminfo: memFree=127469252/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=46876 memory=30448 CPUtime=0.22 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 7653 0 0 0 20 2 0 0 20 0 1 0 171621038 48001024 7612 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 11719 7612 926 2594 0 8612 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 46876 KiB
Current children cumulated memory: 30448 KiB

[startup+0.315072 s]*
/proc/loadavg: 0.54 0.29 0.16 8/247 890877
/proc/meminfo: memFree=127433740/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=59928 memory=42516 CPUtime=0.32 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 10749 0 0 0 28 4 0 0 20 0 1 0 171621038 61366272 10629 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 14982 10629 926 2594 0 11875 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 59928 KiB
Current children cumulated memory: 42516 KiB

[startup+0.700362 s]
/proc/loadavg: 0.54 0.29 0.16 8/247 890877
/proc/meminfo: memFree=127325720/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=126868 memory=112684 CPUtime=0.68 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 27789 0 0 0 60 8 0 0 20 0 1 0 171621038 129912832 28171 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 31717 28171 2286 2594 0 28610 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 126868 KiB
Current children cumulated memory: 112684 KiB

[startup+1.50037 s]
/proc/loadavg: 0.54 0.29 0.16 8/247 890877
/proc/meminfo: memFree=126942960/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=411784 memory=398276 CPUtime=1.48 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 98583 0 0 0 120 28 0 0 20 0 1 0 171621038 421666816 99569 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 102946 99569 2430 2594 0 99839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 411784 KiB
Current children cumulated memory: 398276 KiB

[startup+3.11408 s]
/proc/loadavg: 0.90 0.37 0.19 8/247 890879
/proc/meminfo: memFree=126036188/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=648984 memory=627692 CPUtime=3.09 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 154020 0 0 0 270 39 0 0 20 0 1 0 171621038 664559616 156923 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 162246 156923 2510 2594 0 159139 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 648984 KiB
Current children cumulated memory: 627692 KiB

[startup+6.30032 s]
/proc/loadavg: 0.90 0.37 0.19 8/247 890879
/proc/meminfo: memFree=125940892/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=661128 memory=641560 CPUtime=6.27 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 155618 0 0 0 587 40 0 0 20 0 1 0 171621038 676995072 160390 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 165282 160390 2542 2594 0 162175 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 661128 KiB
Current children cumulated memory: 641560 KiB

[startup+12.7003 s]
/proc/loadavg: 1.15 0.43 0.21 8/247 890879
/proc/meminfo: memFree=125813936/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=661128 memory=641560 CPUtime=12.65 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 155621 0 0 0 1225 40 0 0 20 0 1 0 171621038 676995072 160390 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 165282 160390 2542 2594 0 162175 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 661128 KiB
Current children cumulated memory: 641560 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 0.65 0.29 8/247 890882
/proc/meminfo: memFree=125787460/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=661128 memory=641812 CPUtime=25.41 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 155624 0 0 0 2500 41 0 0 20 0 1 0 171621038 676995072 160453 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 165282 160453 2542 2594 0 162175 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 661128 KiB
Current children cumulated memory: 641812 KiB

[startup+51.1139 s]
/proc/loadavg: 2.82 0.95 0.40 8/247 890885
/proc/meminfo: memFree=125093872/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1401784 memory=1329144 CPUtime=50.96 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 233532 0 0 0 5035 61 0 0 20 0 1 0 171621038 1435426816 332286 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 350446 332286 2638 2594 0 347339 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1401784 KiB
Current children cumulated memory: 1329144 KiB

[startup+102.3 s]
/proc/loadavg: 3.80 1.52 0.62 8/247 890894
/proc/meminfo: memFree=125101504/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1409728 memory=1337320 CPUtime=102 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 234613 0 0 0 10137 63 0 0 20 0 1 0 171621038 1443561472 334330 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 352432 334330 2638 2594 0 349325 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1409728 KiB
Current children cumulated memory: 1337320 KiB

[startup+162.3 s]
/proc/loadavg: 4.39 2.12 0.89 8/247 890905
/proc/meminfo: memFree=124990404/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1409728 memory=1337748 CPUtime=161.83 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 234889 0 0 0 16117 66 0 0 20 0 1 0 171621038 1443561472 334437 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 352432 334437 2638 2594 0 349325 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 1409728 KiB
Current children cumulated memory: 1337748 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 2.52 1.11 8/249 890920
/proc/meminfo: memFree=124913008/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1414028 memory=1341976 CPUtime=221.67 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 235982 0 0 0 22099 68 0 0 20 0 1 0 171621038 1447964672 335494 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 353507 335494 2638 2594 0 350400 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 1414028 KiB
Current children cumulated memory: 1341976 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 2.82 1.30 8/249 890930
/proc/meminfo: memFree=124928020/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1414028 memory=1342212 CPUtime=281.49 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 236133 0 0 0 28078 71 0 0 20 0 1 0 171621038 1447964672 335553 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 353507 335553 2638 2594 0 350400 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 1414028 KiB
Current children cumulated memory: 1342212 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.06 1.48 8/243 890941
/proc/meminfo: memFree=124868600/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1418968 memory=1347944 CPUtime=341.32 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 237154 0 0 0 34058 74 0 0 20 0 1 0 171621038 1453023232 336986 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 354742 336986 2638 2594 0 351635 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 1418968 KiB
Current children cumulated memory: 1347944 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 3.26 1.65 8/244 890953
/proc/meminfo: memFree=124871960/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1418968 memory=1347996 CPUtime=401.15 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 237280 0 0 0 40037 78 0 0 20 0 1 0 171621038 1453023232 336999 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 354742 336999 2638 2594 0 351635 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 1418968 KiB
Current children cumulated memory: 1347996 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 3.43 1.81 8/244 890963
/proc/meminfo: memFree=124825704/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=1418968 memory=1348004 CPUtime=460.97 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 237395 0 0 0 46016 81 0 0 20 0 1 0 171621038 1453023232 337001 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 354742 337001 2638 2594 0 351635 0

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

Current children cumulated memory: 941280 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.01 6/243 892473
/proc/meminfo: memFree=124662832/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=2914.18 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 241498 0 0 0 291294 124 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+2982.3 s]
/proc/loadavg: 4.30 4.17 4.03 6/243 892484
/proc/meminfo: memFree=124580728/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=2974.03 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 241630 0 0 0 297279 124 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 2974.03 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3042.3 s]
/proc/loadavg: 4.22 4.16 4.04 6/243 892494
/proc/meminfo: memFree=124575832/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3033.87 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 241791 0 0 0 303263 124 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3033.87 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3102.3 s]
/proc/loadavg: 4.21 4.16 4.04 6/245 892675
/proc/meminfo: memFree=124588760/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3093.72 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 241984 0 0 0 309248 124 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3093.72 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.16 4.05 6/245 892686
/proc/meminfo: memFree=124585504/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3153.57 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 242120 0 0 0 315232 125 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.14 4.05 6/247 892754
/proc/meminfo: memFree=124657324/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3213.42 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 242262 0 0 0 321217 125 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3213.42 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.05 6/245 892764
/proc/meminfo: memFree=124563124/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3273.26 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 242418 0 0 0 327201 125 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.15 4.06 6/246 892776
/proc/meminfo: memFree=124656544/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3333.1 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 242570 0 0 0 333185 125 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.06 6/244 892786
/proc/meminfo: memFree=124532244/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3392.95 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 242713 0 0 0 339169 126 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.16 4.07 6/244 892797
/proc/meminfo: memFree=124626036/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3452.8 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 242926 0 0 0 345153 127 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3452.8 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3522.3 s]
/proc/loadavg: 4.42 4.21 4.10 6/244 892809
/proc/meminfo: memFree=124620872/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3512.65 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 243126 0 0 0 351138 127 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

[startup+3582.3 s]
/proc/loadavg: 4.61 4.32 4.14 6/242 892820
/proc/meminfo: memFree=124564880/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3572.5 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 243288 0 0 0 357123 127 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3572.5 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.87 4.42 4.18 6/242 892825
/proc/meminfo: memFree=124650452/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3600.02 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 243322 0 0 0 359875 127 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.76 s, system=1.27658 s

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

[startup+3609.9 s]
/proc/loadavg: 4.87 4.42 4.18 6/242 892825
/proc/meminfo: memFree=124650452/131655788 swapFree=131071996/131071996
[pid=890874] ppid=890860 vsize=950868 memory=941280 CPUtime=3600.02 cores=5,7
/proc/890874/stat : 890874 (CASHWMaxSAT-Dis) R 890860 890874 890798 0 -1 4194304 243322 0 0 0 359875 127 0 0 20 0 1 0 171621038 973688832 235320 134679101440 4194304 14817773 140733574872896 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 53972992 140733574882276 140733574882391 140733574882391 140733574889407 0
/proc/890874/statm: 237717 235320 2702 2594 0 234610 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 950868 KiB
Current children cumulated memory: 941280 KiB

Child status: 10

Real time (s): 3609.9
CPU time (s): 3600.04
CPU user time (s): 3598.76
CPU system time (s): 1.27658
CPU usage (%): 99.7267
Max. virtual memory (cumulated for all children) (KiB): 1418968
Max. memory (cumulated for all children) (KiB): 1360452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.76
system time used= 1.27658
maximum resident set size= 1360452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243327
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= 16
involuntary context switches= 1203


# summary of solver processes directly reported to runsolver:
#   pid: 890874
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.76
#   total CPU system time (s): 1.27658

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4359 second user time and 35.7747 second system time

The end