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: 63794 MiB (62165 MiB free)
  memory of node 1: 64507 MiB (63862 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488929-1751342116/watcher-4488929-1751342116 -o /tmp/evaluation-result-4488929-1751342116/solver-4488929-1751342116 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751338435-46687 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4488929-1751342116.opb -total-t=3600 -no-par -v0 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=47741, runsolver pid=47738
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.14 4.14 4.09 5/251 47742
/proc/meminfo: memFree=129052396/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=33868 memory=24704 CPUtime=0.1 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 3924 0 0 0 10 0 0 0 20 0 1 0 49891025 34680832 6176 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 8467 6176 2496 2593 0 5360 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33868 KiB
Current children cumulated memory: 24704 KiB

[startup+0.213021 s]*
/proc/loadavg: 4.14 4.14 4.09 5/251 47742
/proc/meminfo: memFree=129048616/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=41664 memory=32728 CPUtime=0.21 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 5981 0 0 0 20 1 0 0 20 0 1 0 49891025 42663936 8182 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 10416 8182 2560 2593 0 7309 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41664 KiB
Current children cumulated memory: 32728 KiB

[startup+0.312746 s]*
/proc/loadavg: 4.14 4.14 4.09 5/251 47742
/proc/meminfo: memFree=129044584/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=44908 memory=36056 CPUtime=0.31 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 6763 0 0 0 30 1 0 0 20 0 1 0 49891025 45985792 9014 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 11227 9014 2624 2593 0 8120 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 44908 KiB
Current children cumulated memory: 36056 KiB

[startup+0.700256 s]
/proc/loadavg: 4.14 4.14 4.09 5/251 47742
/proc/meminfo: memFree=129043828/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=45976 memory=37208 CPUtime=0.68 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 7036 0 0 0 67 1 0 0 20 0 1 0 49891025 47079424 9302 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 11494 9302 2656 2593 0 8387 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 45976 KiB
Current children cumulated memory: 37208 KiB

[startup+1.50025 s]
/proc/loadavg: 4.14 4.14 4.09 5/251 47742
/proc/meminfo: memFree=129037276/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=50140 memory=40792 CPUtime=1.49 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 7929 0 0 0 147 2 0 0 20 0 1 0 49891025 51343360 10198 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 12535 10198 2656 2593 0 9428 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 50140 KiB
Current children cumulated memory: 40792 KiB

[startup+3.1127 s]
/proc/loadavg: 4.14 4.14 4.09 5/251 47742
/proc/meminfo: memFree=129021188/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=69436 memory=58968 CPUtime=3.09 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 12467 0 0 0 306 3 0 0 20 0 1 0 49891025 71102464 14742 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 17359 14742 2656 2593 0 14252 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 69436 KiB
Current children cumulated memory: 58968 KiB

[startup+6.30024 s]
/proc/loadavg: 4.13 4.14 4.09 5/251 47742
/proc/meminfo: memFree=128965244/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=121112 memory=109376 CPUtime=6.27 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 25522 0 0 0 622 5 0 0 20 0 1 0 49891025 124018688 27344 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 30278 27344 2656 2593 0 27171 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 121112 KiB
Current children cumulated memory: 109376 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.14 4.09 5/251 47742
/proc/meminfo: memFree=128932356/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=163820 memory=149412 CPUtime=12.65 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 35782 0 0 0 1258 7 0 0 20 0 1 0 49891025 167751680 37353 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 40955 37353 2656 2593 0 37848 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 163820 KiB
Current children cumulated memory: 149412 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.15 4.10 5/251 47744
/proc/meminfo: memFree=128860796/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=164992 memory=152100 CPUtime=25.42 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 36450 0 0 0 2535 7 0 0 20 0 1 0 49891025 168951808 38025 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 41248 38025 2656 2593 0 38141 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 164992 KiB
Current children cumulated memory: 152100 KiB

[startup+51.1126 s]
/proc/loadavg: 4.11 4.14 4.09 5/251 47744
/proc/meminfo: memFree=128728244/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=235080 memory=217920 CPUtime=50.97 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 53652 0 0 0 5087 10 0 0 20 0 1 0 49891025 240721920 54480 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 58770 54480 2656 2593 0 55663 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 235080 KiB
Current children cumulated memory: 217920 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/252 47747
/proc/meminfo: memFree=128683136/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=270220 memory=251524 CPUtime=102.02 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 63796 0 0 0 10191 11 0 0 20 0 1 0 49891025 276705280 62881 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 67555 62881 2656 2593 0 64448 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 270220 KiB
Current children cumulated memory: 251524 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/251 47749
/proc/meminfo: memFree=128670872/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=283680 memory=264708 CPUtime=161.86 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 67134 0 0 0 16174 12 0 0 20 0 1 0 49891025 290488320 66177 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 70920 66177 2656 2593 0 67813 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 283680 KiB
Current children cumulated memory: 264708 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 47796
/proc/meminfo: memFree=128991232/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=300896 memory=279940 CPUtime=221.67 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 70959 0 0 0 22153 14 0 0 20 0 1 0 49891025 308117504 69985 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 75224 69985 2656 2593 0 72117 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 300896 KiB
Current children cumulated memory: 279940 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/251 47804
/proc/meminfo: memFree=128750216/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=335092 memory=311556 CPUtime=281.47 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 78885 0 0 0 28131 16 0 0 20 0 1 0 49891025 343134208 77889 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 83773 77889 2656 2593 0 80666 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 335092 KiB
Current children cumulated memory: 311556 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/251 47806
/proc/meminfo: memFree=128630360/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=347488 memory=323588 CPUtime=341.27 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 81917 0 0 0 34110 17 0 0 20 0 1 0 49891025 355827712 80897 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 86872 80897 2656 2593 0 83765 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 347488 KiB
Current children cumulated memory: 323588 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/250 47820
/proc/meminfo: memFree=128602356/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=347488 memory=324100 CPUtime=401.07 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 82110 0 0 0 40090 17 0 0 20 0 1 0 49891025 355827712 81025 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 86872 81025 2656 2593 0 83765 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 347488 KiB
Current children cumulated memory: 324100 KiB

[startup+462.3 s]
/proc/loadavg: 4.36 4.16 4.11 5/250 47822
/proc/meminfo: memFree=128585928/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=346904 memory=324392 CPUtime=460.87 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 83261 0 0 0 46070 17 0 0 20 0 1 0 49891025 355229696 81098 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 86726 81098 2656 2593 0 83619 0
Current children cumulated CPU time: 460.87 s

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

Current children cumulated memory: 557500 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/251 47935
/proc/meminfo: memFree=128066968/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=565764 memory=557500 CPUtime=2854.41 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144017 0 0 0 285407 34 0 0 20 0 1 0 49891025 579342336 139375 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 141441 139375 2656 2593 0 138334 0
Current children cumulated CPU time: 2854.41 s
Current children cumulated vsize: 565764 KiB
Current children cumulated memory: 557500 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/250 47937
/proc/meminfo: memFree=128068264/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=565764 memory=557500 CPUtime=2914.24 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144019 0 0 0 291390 34 0 0 20 0 1 0 49891025 579342336 139375 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 141441 139375 2656 2593 0 138334 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 565764 KiB
Current children cumulated memory: 557500 KiB

[startup+2982.3 s]
/proc/loadavg: 4.58 4.24 4.16 5/249 47939
/proc/meminfo: memFree=128070076/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=567788 memory=558140 CPUtime=2974.08 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144186 0 0 0 297374 34 0 0 20 0 1 0 49891025 581414912 139535 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 141947 139535 2656 2593 0 138840 0
Current children cumulated CPU time: 2974.08 s
Current children cumulated vsize: 567788 KiB
Current children cumulated memory: 558140 KiB

[startup+3042.3 s]
/proc/loadavg: 4.56 4.32 4.19 5/249 47941
/proc/meminfo: memFree=128066892/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=567788 memory=558140 CPUtime=3033.92 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144187 0 0 0 303358 34 0 0 20 0 1 0 49891025 581414912 139535 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 141947 139535 2656 2593 0 138840 0
Current children cumulated CPU time: 3033.92 s
Current children cumulated vsize: 567788 KiB
Current children cumulated memory: 558140 KiB

[startup+3102.3 s]
/proc/loadavg: 4.31 4.29 4.19 5/250 47988
/proc/meminfo: memFree=128463412/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=567788 memory=558140 CPUtime=3093.75 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144187 0 0 0 309340 35 0 0 20 0 1 0 49891025 581414912 139535 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 141947 139535 2656 2593 0 138840 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 567788 KiB
Current children cumulated memory: 558140 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.26 4.18 5/250 47990
/proc/meminfo: memFree=128372512/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=567788 memory=558140 CPUtime=3153.59 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144188 0 0 0 315324 35 0 0 20 0 1 0 49891025 581414912 139535 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 141947 139535 2656 2593 0 138840 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 567788 KiB
Current children cumulated memory: 558140 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.23 4.18 5/250 47992
/proc/meminfo: memFree=128275008/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=559292 CPUtime=3213.43 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144475 0 0 0 321307 36 0 0 20 0 1 0 49891025 585715712 139823 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 139823 2656 2593 0 139890 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 559292 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.20 4.17 5/250 47994
/proc/meminfo: memFree=128276432/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=559420 CPUtime=3273.26 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144514 0 0 0 327290 36 0 0 20 0 1 0 49891025 585715712 139855 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 139855 2656 2593 0 139890 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 559420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.19 4.17 5/251 48004
/proc/meminfo: memFree=128276136/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=559420 CPUtime=3333.1 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144521 0 0 0 333274 36 0 0 20 0 1 0 49891025 585715712 139855 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 139855 2656 2593 0 139890 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 559420 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/250 48006
/proc/meminfo: memFree=128268228/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=559420 CPUtime=3392.93 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144521 0 0 0 339257 36 0 0 20 0 1 0 49891025 585715712 139855 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 139855 2656 2593 0 139890 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 559420 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/250 48008
/proc/meminfo: memFree=128267504/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=559420 CPUtime=3452.76 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144521 0 0 0 345240 36 0 0 20 0 1 0 49891025 585715712 139855 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 139855 2656 2593 0 139890 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 559420 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.16 5/250 48010
/proc/meminfo: memFree=128267528/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=559420 CPUtime=3512.59 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144521 0 0 0 351223 36 0 0 20 0 1 0 49891025 585715712 139855 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 139855 2656 2593 0 139890 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 559420 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.15 5/250 48012
/proc/meminfo: memFree=128259604/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=571988 memory=560700 CPUtime=3572.42 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144521 0 0 0 357206 36 0 0 20 0 1 0 49891025 585715712 140175 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 142997 140175 2656 2593 0 139890 0
Current children cumulated CPU time: 3572.42 s
Current children cumulated vsize: 571988 KiB
Current children cumulated memory: 560700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.20 4.16 4.16 5/251 48058
/proc/meminfo: memFree=128424920/131382120 swapFree=33010416/33010684
[pid=47741] ppid=47738 vsize=467892 memory=460752 CPUtime=3600.05 cores=5,7
/proc/47741/stat : 47741 (CASHWMaxSAT-Dis) R 47738 47741 46674 0 -1 4194304 144525 0 0 0 359967 38 0 0 20 0 1 0 49891025 479121408 115188 18446744073709551615 4198400 14817773 140728648795312 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 28569600 140728648800618 140728648800733 140728648800733 140728648806335 0
/proc/47741/statm: 116973 115188 2688 2593 0 113866 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 467892 KiB
Current children cumulated memory: 460752 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.68 s, system=0.388055 s

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

Child status: 10

Real time (s): 3610.02
CPU time (s): 3600.06
CPU user time (s): 3599.68
CPU system time (s): 0.388055
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 571988
Max. memory (cumulated for all children) (KiB): 560700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.68
system time used= 0.388055
maximum resident set size= 560700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144528
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= 80
involuntary context switches= 1558


# summary of solver processes directly reported to runsolver:
#   pid: 47741
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3599.68
#   total CPU system time (s): 0.388055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0372 second user time and 33.0742 second system time

The end