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: 63968 MiB (62811 MiB free)
  memory of node 1: 64473 MiB (60340 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=907519, runsolver pid=907516

[startup+0.101026 s]*
/proc/loadavg: 4.14 4.12 4.09 5/254 907520
/proc/meminfo: memFree=126089220/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=39852 memory=21348 CPUtime=0.09 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 4723 0 0 0 9 0 0 0 20 0 1 0 174941219 40808448 5337 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 9963 5337 750 2417 0 7065 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39852 KiB
Current children cumulated memory: 21348 KiB

[startup+0.2055 s]*
/proc/loadavg: 4.14 4.12 4.09 6/254 907520
/proc/meminfo: memFree=126071756/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=57852 memory=39320 CPUtime=0.19 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 9199 0 0 0 18 1 0 0 20 0 1 0 174941219 59240448 9830 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 14463 9830 750 2417 0 11565 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57852 KiB
Current children cumulated memory: 39320 KiB

[startup+0.305424 s]*
/proc/loadavg: 4.14 4.12 4.09 5/254 907520
/proc/meminfo: memFree=126054844/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=74096 memory=56336 CPUtime=0.29 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 13412 0 0 0 27 2 0 0 20 0 1 0 174941219 75874304 14084 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 18524 14084 782 2417 0 15626 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 74096 KiB
Current children cumulated memory: 56336 KiB

[startup+0.700214 s]
/proc/loadavg: 4.14 4.12 4.09 6/254 907520
/proc/meminfo: memFree=125976380/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=197496 memory=186560 CPUtime=0.68 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 45618 0 0 0 61 7 0 0 20 0 1 0 174941219 202235904 46640 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 49374 46640 2350 2417 0 46476 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 197496 KiB
Current children cumulated memory: 186560 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 907520
/proc/meminfo: memFree=125917888/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=249352 memory=235808 CPUtime=1.48 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 57796 0 0 0 139 9 0 0 20 0 1 0 174941219 255336448 58952 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62338 58952 2510 2417 0 59440 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 249352 KiB
Current children cumulated memory: 235808 KiB

[startup+3.10544 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 907520
/proc/meminfo: memFree=125863732/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=249528 memory=236592 CPUtime=3.08 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 57995 0 0 0 299 9 0 0 20 0 1 0 174941219 255516672 59148 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62382 59148 2510 2417 0 59484 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 249528 KiB
Current children cumulated memory: 236592 KiB

[startup+6.30019 s]
/proc/loadavg: 4.13 4.12 4.09 5/254 907520
/proc/meminfo: memFree=125863448/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=249528 memory=236592 CPUtime=6.26 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58012 0 0 0 617 9 0 0 20 0 1 0 174941219 255516672 59148 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62382 59148 2510 2417 0 59484 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 249528 KiB
Current children cumulated memory: 236592 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 907521
/proc/meminfo: memFree=125862284/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=12.65 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58305 0 0 0 1255 10 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 907523
/proc/meminfo: memFree=125860992/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=25.4 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58308 0 0 0 2530 10 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+51.1056 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 907531
/proc/meminfo: memFree=125860464/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=50.91 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58311 0 0 0 5081 10 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/256 907541
/proc/meminfo: memFree=125842896/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=101.93 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58313 0 0 0 10183 10 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.08 5/256 907551
/proc/meminfo: memFree=125832828/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=161.71 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58315 0 0 0 16161 10 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 907561
/proc/meminfo: memFree=125470528/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=221.51 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58316 0 0 0 22140 11 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 907572
/proc/meminfo: memFree=125312632/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=250856 memory=237904 CPUtime=281.28 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58317 0 0 0 28117 11 0 0 20 0 1 0 174941219 256876544 59476 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62714 59476 2510 2417 0 59816 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 250856 KiB
Current children cumulated memory: 237904 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/256 907583
/proc/meminfo: memFree=125284232/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=251340 memory=238440 CPUtime=341.05 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58439 0 0 0 34094 11 0 0 20 0 1 0 174941219 257372160 59610 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62835 59610 2526 2417 0 59937 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 251340 KiB
Current children cumulated memory: 238440 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 907977
/proc/meminfo: memFree=125234604/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=251340 memory=238440 CPUtime=400.83 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58441 0 0 0 40072 11 0 0 20 0 1 0 174941219 257372160 59610 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62835 59610 2526 2417 0 59937 0
Current children cumulated CPU time: 400.83 s
Current children cumulated vsize: 251340 KiB
Current children cumulated memory: 238440 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 907988
/proc/meminfo: memFree=125231192/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=251340 memory=238440 CPUtime=460.61 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 58442 0 0 0 46050 11 0 0 20 0 1 0 174941219 257372160 59610 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 62835 59610 2526 2417 0 59937 0

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

/proc/loadavg: 4.12 4.11 4.09 5/257 909369
/proc/meminfo: memFree=126465084/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3150.6 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 103647 0 0 0 315040 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3150.6 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3222.3 s]
/proc/loadavg: 3.47 3.96 4.04 3/243 909440
/proc/meminfo: memFree=128330336/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3210.38 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 103726 0 0 0 321018 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3210.38 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3282.3 s]
/proc/loadavg: 2.64 3.63 3.92 3/242 909451
/proc/meminfo: memFree=128330344/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3270.18 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 103795 0 0 0 326998 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3270.18 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3342.3 s]
/proc/loadavg: 2.28 3.35 3.80 3/243 909463
/proc/meminfo: memFree=128330072/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3329.97 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 103860 0 0 0 332977 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3329.97 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3402.3 s]
/proc/loadavg: 2.14 3.11 3.69 3/241 909473
/proc/meminfo: memFree=128329768/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3389.76 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104034 0 0 0 338956 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3389.76 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.92 3.59 3/241 909483
/proc/meminfo: memFree=128329280/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3449.56 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104213 0 0 0 344936 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3449.56 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.77 3.49 3/241 909494
/proc/meminfo: memFree=128329144/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3509.36 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104292 0 0 0 350916 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3509.36 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3582.3 s]
/proc/loadavg: 2.14 2.66 3.41 3/241 909504
/proc/meminfo: memFree=128328804/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3569.15 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104363 0 0 0 356895 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3569.15 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3601.01 s]
# the end of solver process 907519 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=3587.6 s, system=0.209319 s

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

[startup+3584 s]*
/proc/loadavg: 2.13 2.65 3.40 3/241 909504
/proc/meminfo: memFree=128328804/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3570.85 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104363 0 0 0 357065 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3570.85 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3590.4 s]
/proc/loadavg: 2.12 2.64 3.39 3/241 909506
/proc/meminfo: memFree=128328812/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3577.22 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104364 0 0 0 357702 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3577.22 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3596.8 s]
/proc/loadavg: 2.11 2.63 3.38 3/241 909506
/proc/meminfo: memFree=128328812/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3583.6 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104365 0 0 0 358340 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3583.6 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3598.4 s]
/proc/loadavg: 2.11 2.63 3.38 3/241 909507
/proc/meminfo: memFree=128328804/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3585.19 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104365 0 0 0 358499 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3585.19 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3600 s]*
/proc/loadavg: 2.10 2.61 3.37 3/241 909507
/proc/meminfo: memFree=128328748/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3586.79 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104365 0 0 0 358659 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3586.79 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3600.8 s]
/proc/loadavg: 2.10 2.61 3.37 3/241 909507
/proc/meminfo: memFree=128328748/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3587.59 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104489 0 0 0 358739 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3587.59 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

[startup+3601 s]*
/proc/loadavg: 2.10 2.61 3.37 3/241 909507
/proc/meminfo: memFree=128328756/131524600 swapFree=131071996/131071996
[pid=907519] ppid=907516 vsize=500960 memory=447980 CPUtime=3587.79 cores=0,2
/proc/907519/stat : 907519 (CASHWMaxSAT-Dis) R 907516 907519 902317 0 -1 4194304 104489 0 0 0 358759 20 0 0 20 0 1 0 174941219 512983040 111995 134679101440 4194304 14093885 140736364894592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33099776 140736364901348 140736364901463 140736364901463 140736364908479 0
/proc/907519/statm: 125240 111995 2810 2417 0 122342 0
Current children cumulated CPU time: 3587.79 s
Current children cumulated vsize: 500960 KiB
Current children cumulated memory: 447980 KiB

Child status: 30

Real time (s): 3601.01
CPU time (s): 3587.81
CPU user time (s): 3587.6
CPU system time (s): 0.209319
CPU usage (%): 99.6334
Max. virtual memory (cumulated for all children) (KiB): 518804
Max. memory (cumulated for all children) (KiB): 447980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.6
system time used= 0.209319
maximum resident set size= 447980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104489
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= 34
involuntary context switches= 24592


# summary of solver processes directly reported to runsolver:
#   pid: 907519
#   total CPU time (s): 3587.81
#   total CPU user time (s): 3587.6
#   total CPU system time (s): 0.209319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.52783 second user time and 16.5893 second system time

The end