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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439437-1721198245/watcher-4439437-1721198245 -o /tmp/evaluation-result-4439437-1721198245/solver-4439437-1721198245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721194641-894780 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439437-1721198245.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=896973, runsolver pid=896970

[startup+0.100624 s]*
/proc/loadavg: 4.08 4.14 4.08 5/255 896974
/proc/meminfo: memFree=121890988/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=41416 memory=22852 CPUtime=0.09 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 6306 0 0 0 9 0 0 0 20 0 1 0 171995101 42409984 5647 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 10354 5713 922 2550 0 7309 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41416 KiB
Current children cumulated memory: 22852 KiB

[startup+0.206149 s]*
/proc/loadavg: 4.08 4.14 4.08 5/255 896974
/proc/meminfo: memFree=121853020/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=79204 memory=69824 CPUtime=0.19 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 16801 0 0 0 18 1 0 0 20 0 1 0 171995101 81104896 17456 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 19801 17456 2442 2550 0 16756 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79204 KiB
Current children cumulated memory: 69824 KiB

[startup+0.306209 s]*
/proc/loadavg: 4.08 4.14 4.08 5/255 896974
/proc/meminfo: memFree=121828380/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=99420 memory=88748 CPUtime=0.29 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 21504 0 0 0 27 2 0 0 20 0 1 0 171995101 101806080 22187 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 24855 22187 2490 2550 0 21810 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 99420 KiB
Current children cumulated memory: 88748 KiB

[startup+0.700234 s]
/proc/loadavg: 4.08 4.14 4.08 5/255 896974
/proc/meminfo: memFree=121825552/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=100988 memory=91304 CPUtime=0.68 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 22054 0 0 0 66 2 0 0 20 0 1 0 171995101 103411712 22826 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 25247 22826 2538 2550 0 22202 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 100988 KiB
Current children cumulated memory: 91304 KiB

[startup+1.50024 s]
/proc/loadavg: 4.08 4.14 4.08 5/255 896974
/proc/meminfo: memFree=121823256/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=102884 memory=93152 CPUtime=1.48 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 22526 0 0 0 146 2 0 0 20 0 1 0 171995101 105353216 23288 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 25721 23288 2538 2550 0 22676 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 102884 KiB
Current children cumulated memory: 93152 KiB

[startup+3.10614 s]
/proc/loadavg: 4.08 4.13 4.08 5/255 896976
/proc/meminfo: memFree=121725780/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=217196 memory=199756 CPUtime=3.08 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 43152 0 0 0 302 6 0 0 20 0 1 0 171995101 222408704 49939 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 54299 49939 2618 2550 0 51254 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 217196 KiB
Current children cumulated memory: 199756 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.13 4.08 5/255 896976
/proc/meminfo: memFree=121448024/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=226812 memory=209316 CPUtime=6.27 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 45573 0 0 0 620 7 0 0 20 0 1 0 171995101 232255488 52329 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 56703 52329 2634 2550 0 53658 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 226812 KiB
Current children cumulated memory: 209316 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.13 4.08 5/256 896977
/proc/meminfo: memFree=121371492/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=272140 memory=226448 CPUtime=12.64 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 49346 0 0 0 1256 8 0 0 20 0 1 0 171995101 278671360 56612 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 68035 56612 2650 2550 0 64990 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 272140 KiB
Current children cumulated memory: 226448 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.08 5/256 896980
/proc/meminfo: memFree=120258524/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=302572 memory=257196 CPUtime=25.4 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 59156 0 0 0 2530 10 0 0 20 0 1 0 171995101 309833728 64299 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 75643 64299 2650 2550 0 72598 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 302572 KiB
Current children cumulated memory: 257196 KiB

[startup+51.1062 s]
/proc/loadavg: 4.08 4.13 4.08 5/255 896983
/proc/meminfo: memFree=119522460/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=307980 memory=257696 CPUtime=50.91 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 59351 0 0 0 5081 10 0 0 20 0 1 0 171995101 315371520 64424 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 76995 64424 2650 2550 0 73950 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 307980 KiB
Current children cumulated memory: 257696 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.12 4.08 5/255 896992
/proc/meminfo: memFree=119400292/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=452980 memory=371764 CPUtime=101.91 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 87903 0 0 0 10177 14 0 0 20 0 1 0 171995101 463851520 92941 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 113245 92941 2650 2550 0 110200 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 452980 KiB
Current children cumulated memory: 371764 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.14 4.09 5/255 897139
/proc/meminfo: memFree=120800636/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=542612 memory=399792 CPUtime=161.7 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 101646 0 0 0 16153 17 0 0 20 0 1 0 171995101 555634688 99948 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 135653 99948 2650 2550 0 132608 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 542612 KiB
Current children cumulated memory: 399792 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/259 897156
/proc/meminfo: memFree=120721568/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=641516 memory=473784 CPUtime=221.51 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 119108 0 0 0 22130 21 0 0 20 0 1 0 171995101 656912384 118446 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 160379 118446 2650 2550 0 157334 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 641516 KiB
Current children cumulated memory: 473784 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/259 897167
/proc/meminfo: memFree=120698284/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=718320 memory=495360 CPUtime=281.3 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 124015 0 0 0 28108 22 0 0 20 0 1 0 171995101 735559680 123840 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 179580 123840 2650 2550 0 176535 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 718320 KiB
Current children cumulated memory: 495360 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/258 897177
/proc/meminfo: memFree=111189948/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=769796 memory=503756 CPUtime=341.09 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 125728 0 0 0 34086 23 0 0 20 0 1 0 171995101 788271104 125939 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 192449 125939 2650 2550 0 189404 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 769796 KiB
Current children cumulated memory: 503756 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 897188
/proc/meminfo: memFree=107060436/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=830744 memory=515220 CPUtime=400.88 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 128398 0 0 0 40064 24 0 0 20 0 1 0 171995101 850681856 128805 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 207686 128805 2920 2550 0 204641 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 830744 KiB
Current children cumulated memory: 515220 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/259 897199
/proc/meminfo: memFree=106055872/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=905732 memory=553504 CPUtime=460.66 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 144580 0 0 0 46040 26 0 0 20 0 1 0 171995101 927469568 138376 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 226433 138376 2920 2550 0 223388 0

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

/proc/loadavg: 4.20 4.19 4.13 5/259 897963
/proc/meminfo: memFree=106187916/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1495600 memory=852556 CPUtime=1536.25 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 228308 0 0 0 153576 49 0 0 20 0 1 0 171995101 1531494400 213139 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 373900 213139 2920 2550 0 370855 0
Current children cumulated CPU time: 1536.25 s
Current children cumulated vsize: 1495600 KiB
Current children cumulated memory: 852556 KiB

[startup+1602.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/257 897974
/proc/meminfo: memFree=106167896/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1550364 memory=866708 CPUtime=1596 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 231381 0 0 0 159550 50 0 0 20 0 1 0 171995101 1587572736 216677 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 387591 216677 2920 2550 0 384546 0
Current children cumulated CPU time: 1596 s
Current children cumulated vsize: 1550364 KiB
Current children cumulated memory: 866708 KiB

[startup+1662.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/257 897984
/proc/meminfo: memFree=106112132/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1648872 memory=915440 CPUtime=1655.75 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 243056 0 0 0 165523 52 0 0 20 0 1 0 171995101 1688444928 228860 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 412218 228860 2920 2550 0 409173 0
Current children cumulated CPU time: 1655.75 s
Current children cumulated vsize: 1648872 KiB
Current children cumulated memory: 915440 KiB

[startup+1722.3 s]
/proc/loadavg: 4.11 4.15 4.12 5/255 897994
/proc/meminfo: memFree=106106648/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1648872 memory=915440 CPUtime=1715.51 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 243083 0 0 0 171497 54 0 0 20 0 1 0 171995101 1688444928 228860 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 412218 228860 2920 2550 0 409173 0
Current children cumulated CPU time: 1715.51 s
Current children cumulated vsize: 1648872 KiB
Current children cumulated memory: 915440 KiB

[startup+1782.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/255 898005
/proc/meminfo: memFree=106100328/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1648872 memory=916448 CPUtime=1775.25 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 243343 0 0 0 177471 54 0 0 20 0 1 0 171995101 1688444928 229112 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 412218 229112 2920 2550 0 409173 0
Current children cumulated CPU time: 1775.25 s
Current children cumulated vsize: 1648872 KiB
Current children cumulated memory: 916448 KiB

[startup+1842.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/255 898016
/proc/meminfo: memFree=106837780/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=878700 CPUtime=1835.02 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 249321 0 0 0 183443 59 0 0 20 0 1 0 171995101 1612603392 219675 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 219675 2920 2550 0 390657 0
Current children cumulated CPU time: 1835.02 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 878700 KiB

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

# cumulated CPU time of all completed processes:  user=1865.97 s, system=0.639533 s

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

[startup+1843.2 s]
/proc/loadavg: 4.12 4.14 4.12 5/255 898018
/proc/meminfo: memFree=106837416/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=878700 CPUtime=1835.92 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 249321 0 0 0 183533 59 0 0 20 0 1 0 171995101 1612603392 219675 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 219675 2920 2550 0 390657 0
Current children cumulated CPU time: 1835.92 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 878700 KiB

[startup+1856 s]*
/proc/loadavg: 4.09 4.13 4.11 5/255 898021
/proc/meminfo: memFree=106824660/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=882868 CPUtime=1848.68 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 250102 0 0 0 184808 60 0 0 20 0 1 0 171995101 1612603392 220717 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 220717 2920 2550 0 390657 0
Current children cumulated CPU time: 1848.68 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 882868 KiB

[startup+1862.4 s]
/proc/loadavg: 4.08 4.13 4.11 5/255 898021
/proc/meminfo: memFree=106821408/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=886036 CPUtime=1855.05 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 250928 0 0 0 185445 60 0 0 20 0 1 0 171995101 1612603392 221509 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 221509 2920 2550 0 390657 0
Current children cumulated CPU time: 1855.05 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 886036 KiB

[startup+1868.8 s]
/proc/loadavg: 4.08 4.13 4.11 5/255 898022
/proc/meminfo: memFree=106814652/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=891676 CPUtime=1861.43 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 251753 0 0 0 186082 61 0 0 20 0 1 0 171995101 1612603392 222919 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 222919 2920 2550 0 390657 0
Current children cumulated CPU time: 1861.43 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 891676 KiB

[startup+1872 s]*
/proc/loadavg: 4.15 4.14 4.12 5/255 898022
/proc/meminfo: memFree=106813672/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=891676 CPUtime=1864.63 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 251758 0 0 0 186402 61 0 0 20 0 1 0 171995101 1612603392 222919 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 222919 2920 2550 0 390657 0
Current children cumulated CPU time: 1864.63 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 891676 KiB

[startup+1872.8 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 898022
/proc/meminfo: memFree=106813672/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=891676 CPUtime=1865.42 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 251758 0 0 0 186481 61 0 0 20 0 1 0 171995101 1612603392 222919 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 222919 2920 2550 0 390657 0
Current children cumulated CPU time: 1865.42 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 891676 KiB

[startup+1873.6 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 898024
/proc/meminfo: memFree=106813652/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=891676 CPUtime=1866.21 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 251758 0 0 0 186560 61 0 0 20 0 1 0 171995101 1612603392 222919 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 222919 2920 2550 0 390657 0
Current children cumulated CPU time: 1866.21 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 891676 KiB

[startup+1873.8 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 898024
/proc/meminfo: memFree=106813652/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=891676 CPUtime=1866.41 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 251758 0 0 0 186580 61 0 0 20 0 1 0 171995101 1612603392 222919 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 222919 2920 2550 0 390657 0
Current children cumulated CPU time: 1866.41 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 891676 KiB

[startup+1873.9 s]
/proc/loadavg: 4.15 4.14 4.12 5/255 898024
/proc/meminfo: memFree=106813652/131524596 swapFree=131071996/131071996
[pid=896973] ppid=896970 vsize=1574808 memory=891676 CPUtime=1866.51 cores=0,2
/proc/896973/stat : 896973 (CASHWMaxSAT-Dis) R 896970 896973 894770 0 -1 4194304 251758 0 0 0 186590 61 0 0 20 0 1 0 171995101 1612603392 222919 134679101440 4194304 14636349 140720555346384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 43077632 140720555353058 140720555353174 140720555353174 140720555360190 0
/proc/896973/statm: 393702 222919 2920 2550 0 390657 0
Current children cumulated CPU time: 1866.51 s
Current children cumulated vsize: 1574808 KiB
Current children cumulated memory: 891676 KiB

Child status: 30

Real time (s): 1873.99
CPU time (s): 1866.61
CPU user time (s): 1865.97
CPU system time (s): 0.639533
CPU usage (%): 99.6062
Max. virtual memory (cumulated for all children) (KiB): 1648872
Max. memory (cumulated for all children) (KiB): 916664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1865.97
system time used= 0.639533
maximum resident set size= 916664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251758
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= 17
involuntary context switches= 13091


# summary of solver processes directly reported to runsolver:
#   pid: 896973
#   total CPU time (s): 1866.61
#   total CPU user time (s): 1865.97
#   total CPU system time (s): 0.639533

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73396 second user time and 9.81787 second system time

The end