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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=886735, runsolver pid=886724
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 0.09 0.09 0.09 7/243 886741
/proc/meminfo: memFree=125372820/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=29548 memory=11080 CPUtime=0.1 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 2231 0 0 0 10 0 0 0 20 0 1 0 171622231 30257152 2770 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 7420 2770 782 2417 0 4522 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29548 KiB
Current children cumulated memory: 11080 KiB

[startup+0.21485 s]*
/proc/loadavg: 0.09 0.09 0.09 6/243 886741
/proc/meminfo: memFree=125331948/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=50680 memory=30944 CPUtime=0.22 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 6304 0 0 0 20 2 0 0 20 0 1 0 171622231 51896320 7736 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 12670 7736 782 2417 0 9772 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 50680 KiB
Current children cumulated memory: 30944 KiB

[startup+0.313921 s]*
/proc/loadavg: 0.09 0.09 0.09 5/243 886741
/proc/meminfo: memFree=125289484/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=59532 memory=43600 CPUtime=0.32 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 8486 0 0 0 29 3 0 0 20 0 1 0 171622231 60960768 10900 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 14883 10900 782 2417 0 11985 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 59532 KiB
Current children cumulated memory: 43600 KiB

[startup+0.700331 s]
/proc/loadavg: 0.09 0.09 0.09 5/243 886741
/proc/meminfo: memFree=125172040/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=79316 memory=60400 CPUtime=0.69 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 13997 0 0 0 64 5 0 0 20 0 1 0 171622231 81219584 15100 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 19829 15100 782 2417 0 16931 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79316 KiB
Current children cumulated memory: 60400 KiB

[startup+1.50035 s]
/proc/loadavg: 0.40 0.15 0.11 7/243 886741
/proc/meminfo: memFree=125027632/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=240140 memory=224928 CPUtime=1.48 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 54457 0 0 0 132 16 0 0 20 0 1 0 171622231 245903360 56232 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 60035 56232 2142 2417 0 57137 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 240140 KiB
Current children cumulated memory: 224928 KiB

[startup+3.1136 s]
/proc/loadavg: 0.40 0.15 0.11 7/243 886741
/proc/meminfo: memFree=124206324/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=641016 memory=621436 CPUtime=3.09 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 151334 0 0 0 277 32 0 0 20 0 1 0 171622231 656400384 155359 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 160254 155359 2350 2417 0 157356 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 641016 KiB
Current children cumulated memory: 621436 KiB

[startup+6.30031 s]
/proc/loadavg: 0.69 0.22 0.13 6/243 886787
/proc/meminfo: memFree=123720436/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=648300 memory=629924 CPUtime=6.27 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 151926 0 0 0 594 33 0 0 20 0 1 0 171622231 663859200 157481 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 162075 157481 2382 2417 0 159177 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 648300 KiB
Current children cumulated memory: 629924 KiB

[startup+12.7003 s]
/proc/loadavg: 0.95 0.28 0.15 6/243 886788
/proc/meminfo: memFree=123013600/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=648300 memory=629924 CPUtime=12.65 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 151926 0 0 0 1231 34 0 0 20 0 1 0 171622231 663859200 157481 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 162075 157481 2382 2417 0 159177 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 648300 KiB
Current children cumulated memory: 629924 KiB

[startup+25.5004 s]
/proc/loadavg: 1.42 0.40 0.19 7/243 886790
/proc/meminfo: memFree=122164508/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1356900 memory=1271996 CPUtime=25.4 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 220282 0 0 0 2486 54 0 0 20 0 1 0 171622231 1389465600 317999 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 339225 317999 2526 2417 0 336327 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1356900 KiB
Current children cumulated memory: 1271996 KiB

[startup+51.1133 s]
/proc/loadavg: 2.51 0.76 0.32 6/243 886794
/proc/meminfo: memFree=122092940/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1382132 memory=1300136 CPUtime=50.91 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 226384 0 0 0 5035 56 0 0 20 0 1 0 171622231 1415303168 325034 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 345533 325034 2526 2417 0 342635 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1382132 KiB
Current children cumulated memory: 1300136 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.28 0.52 5/243 886803
/proc/meminfo: memFree=122081468/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1383212 memory=1301744 CPUtime=101.91 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 226833 0 0 0 10133 58 0 0 20 0 1 0 171622231 1416409088 325436 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 345803 325436 2526 2417 0 342905 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 1383212 KiB
Current children cumulated memory: 1301744 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 1.79 0.75 5/243 886814
/proc/meminfo: memFree=122072384/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1383636 memory=1302564 CPUtime=161.69 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 227085 0 0 0 16109 60 0 0 20 0 1 0 171622231 1416843264 325641 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 345909 325641 2526 2417 0 343011 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 1383636 KiB
Current children cumulated memory: 1302564 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.21 0.96 6/246 886829
/proc/meminfo: memFree=121952384/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1384356 memory=1303368 CPUtime=221.48 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 227372 0 0 0 22086 62 0 0 20 0 1 0 171622231 1417580544 325842 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 346089 325842 2526 2417 0 343191 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 1384356 KiB
Current children cumulated memory: 1303368 KiB

[startup+282.3 s]
/proc/loadavg: 4.05 2.55 1.16 7/246 886839
/proc/meminfo: memFree=121904612/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1402144 memory=1320928 CPUtime=281.28 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 231275 0 0 0 28063 65 0 0 20 0 1 0 171622231 1435795456 330232 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 350536 330232 2526 2417 0 347638 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 1402144 KiB
Current children cumulated memory: 1320928 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 2.85 1.35 5/244 886851
/proc/meminfo: memFree=121887984/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1402144 memory=1320972 CPUtime=341.05 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 231356 0 0 0 34039 66 0 0 20 0 1 0 171622231 1435795456 330243 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 350536 330243 2526 2417 0 347638 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 1402144 KiB
Current children cumulated memory: 1320972 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.09 1.53 7/244 886862
/proc/meminfo: memFree=121884708/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1402144 memory=1320988 CPUtime=400.83 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 231451 0 0 0 40014 69 0 0 20 0 1 0 171622231 1435795456 330247 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 350536 330247 2526 2417 0 347638 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 1402144 KiB
Current children cumulated memory: 1320988 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 3.26 1.69 5/244 886873
/proc/meminfo: memFree=121799228/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=1404148 memory=1323000 CPUtime=460.61 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 232059 0 0 0 45989 72 0 0 20 0 1 0 171622231 1437847552 330750 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 351037 330750 2526 2417 0 348139 0

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

Current children cumulated memory: 987400 KiB

[startup+2922.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/241 888265
/proc/meminfo: memFree=122620756/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=2914.29 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237206 0 0 0 291354 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.11 4.01 6/242 888276
/proc/meminfo: memFree=122714384/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=2974.15 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237337 0 0 0 297340 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.01 7/242 888287
/proc/meminfo: memFree=122690000/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3034.02 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237468 0 0 0 303327 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/245 888468
/proc/meminfo: memFree=122647416/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3093.88 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237595 0 0 0 309313 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.01 5/245 888479
/proc/meminfo: memFree=122644744/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3153.74 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237728 0 0 0 315299 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3153.74 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/247 888547
/proc/meminfo: memFree=122678044/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3213.61 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237851 0 0 0 321286 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.01 5/247 888557
/proc/meminfo: memFree=122643932/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3273.48 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 237984 0 0 0 327273 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3273.48 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.02 5/246 888568
/proc/meminfo: memFree=122587128/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3333.34 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238112 0 0 0 333259 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3333.34 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/243 888578
/proc/meminfo: memFree=122622528/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3393.2 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238235 0 0 0 339245 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.03 7/243 888589
/proc/meminfo: memFree=122639236/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3453.06 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238355 0 0 0 345231 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.09 4.02 5/241 888600
/proc/meminfo: memFree=122567700/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3512.92 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238473 0 0 0 351217 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3512.92 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/241 888610
/proc/meminfo: memFree=122569764/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3572.75 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238602 0 0 0 357200 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3572.75 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888613
/proc/meminfo: memFree=122564336/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3600.07 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238634 0 0 0 359932 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.32 s, system=0.758194 s

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

[startup+3609.7 s]
/proc/loadavg: 4.08 4.09 4.03 5/241 888613
/proc/meminfo: memFree=122564336/131655788 swapFree=131071996/131071996
[pid=886735] ppid=886724 vsize=996400 memory=987400 CPUtime=3600.07 cores=4,6
/proc/886735/stat : 886735 (CASHWMaxSAT-Dis) R 886724 886735 886664 0 -1 4194304 238634 0 0 0 359932 75 0 0 20 0 1 0 171622231 1020313600 246850 134679101440 4194304 14093885 140734128301344 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 37494784 140734128309220 140734128309335 140734128309335 140734128316351 0
/proc/886735/statm: 249100 246850 2526 2417 0 246202 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 996400 KiB
Current children cumulated memory: 987400 KiB

Child status: 10

Real time (s): 3609.7
CPU time (s): 3600.08
CPU user time (s): 3599.32
CPU system time (s): 0.758194
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 1407540
Max. memory (cumulated for all children) (KiB): 1341024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.32
system time used= 0.758194
maximum resident set size= 1341024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238640
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= 1882


# summary of solver processes directly reported to runsolver:
#   pid: 886735
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.32
#   total CPU system time (s): 0.758194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2722 second user time and 35.7052 second system time

The end