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: 63837 MiB (62811 MiB free)
  memory of node 1: 64465 MiB (63676 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512407-1751526735/watcher-4512407-1751526735 -o /tmp/evaluation-result-4512407-1751526735/solver-4512407-1751526735 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751523121-76680 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4512407-1751526735.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77087, runsolver pid=77080
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.07 4.10 4.15 6/247 77093
/proc/meminfo: memFree=129519124/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=25012 memory=10496 CPUtime=0.1 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 1898 0 0 0 9 1 0 0 20 0 1 0 68352163 25612288 2624 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 6253 2624 864 2593 0 3146 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25012 KiB
Current children cumulated memory: 10496 KiB

[startup+0.212625 s]*
/proc/loadavg: 4.06 4.10 4.14 7/251 77097
/proc/meminfo: memFree=129500236/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=40692 memory=31596 CPUtime=0.21 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 5758 0 0 0 19 2 0 0 20 0 1 0 68352163 41668608 7867 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 10173 7899 2400 2593 0 7066 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40692 KiB
Current children cumulated memory: 31596 KiB

[startup+0.313309 s]*
/proc/loadavg: 4.06 4.10 4.14 6/251 77097
/proc/meminfo: memFree=129464200/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=51108 memory=41836 CPUtime=0.31 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 8258 0 0 0 28 3 0 0 20 0 1 0 68352163 52334592 10459 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 12777 10459 2496 2593 0 9670 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 51108 KiB
Current children cumulated memory: 41836 KiB

[startup+0.700297 s]
/proc/loadavg: 4.06 4.10 4.14 6/251 77097
/proc/meminfo: memFree=129431944/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=68180 memory=58300 CPUtime=0.68 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 12452 0 0 0 64 4 0 0 20 0 1 0 68352163 69816320 14575 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 17045 14575 2624 2593 0 13938 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 68180 KiB
Current children cumulated memory: 58300 KiB

[startup+1.5003 s]
/proc/loadavg: 4.06 4.10 4.14 6/251 77097
/proc/meminfo: memFree=129398176/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=97624 memory=85528 CPUtime=1.47 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 19963 0 0 0 141 6 0 0 20 0 1 0 68352163 99966976 21382 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 24406 21382 2624 2593 0 21299 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 97624 KiB
Current children cumulated memory: 85528 KiB

[startup+3.11321 s]
/proc/loadavg: 4.06 4.10 4.14 6/249 77104
/proc/meminfo: memFree=129290184/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=107040 memory=95184 CPUtime=3.08 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 22440 0 0 0 301 7 0 0 20 0 1 0 68352163 109608960 23796 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 26760 23796 2624 2593 0 23653 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107040 KiB
Current children cumulated memory: 95184 KiB

[startup+6.30028 s]
/proc/loadavg: 4.14 4.11 4.15 5/251 77142
/proc/meminfo: memFree=129229904/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=128944 memory=108752 CPUtime=6.26 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 25840 0 0 0 619 7 0 0 20 0 1 0 68352163 132038656 27188 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 32236 27188 2624 2593 0 29129 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 128944 KiB
Current children cumulated memory: 108752 KiB

[startup+12.7003 s]
/proc/loadavg: 4.21 4.13 4.15 5/251 77142
/proc/meminfo: memFree=129157832/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=139092 memory=117968 CPUtime=12.64 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 28142 0 0 0 1256 8 0 0 20 0 1 0 68352163 142430208 29492 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 34773 29492 2624 2593 0 31666 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 139092 KiB
Current children cumulated memory: 117968 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.12 4.15 5/251 77143
/proc/meminfo: memFree=129049272/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=150032 memory=130000 CPUtime=25.4 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 31159 0 0 0 2532 8 0 0 20 0 1 0 68352163 153632768 32500 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 37508 32500 2624 2593 0 34401 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 150032 KiB
Current children cumulated memory: 130000 KiB

[startup+51.1127 s]
/proc/loadavg: 4.10 4.11 4.15 5/251 77278
/proc/meminfo: memFree=128907040/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=153568 memory=133532 CPUtime=50.94 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 32682 0 0 0 5085 9 0 0 20 0 1 0 68352163 157253632 33383 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 38392 33383 2624 2593 0 35285 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 153568 KiB
Current children cumulated memory: 133532 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 4.14 4.15 5/252 77415
/proc/meminfo: memFree=128938996/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=204504 memory=151580 CPUtime=101.93 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 37195 0 0 0 10176 17 0 0 20 0 1 0 68352163 209412096 37895 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 51126 37895 2624 2593 0 48019 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 204504 KiB
Current children cumulated memory: 151580 KiB

[startup+162.3 s]
/proc/loadavg: 4.72 4.30 4.21 5/252 77417
/proc/meminfo: memFree=128833648/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=254268 memory=164748 CPUtime=161.75 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 42233 0 0 0 16157 18 0 0 20 0 1 0 68352163 260370432 41187 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 63567 41187 2624 2593 0 60460 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 254268 KiB
Current children cumulated memory: 164748 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.26 4.20 5/252 77419
/proc/meminfo: memFree=128787248/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=268404 memory=168716 CPUtime=221.59 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 43232 0 0 0 22140 19 0 0 20 0 1 0 68352163 274845696 42179 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 67101 42179 2624 2593 0 63994 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 268404 KiB
Current children cumulated memory: 168716 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.24 4.19 5/252 77421
/proc/meminfo: memFree=128671492/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=279208 memory=177804 CPUtime=281.39 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 44754 0 0 0 28120 19 0 0 20 0 1 0 68352163 285908992 44451 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 69802 44451 2624 2593 0 66695 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 279208 KiB
Current children cumulated memory: 177804 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/251 77467
/proc/meminfo: memFree=128493700/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=296452 memory=236204 CPUtime=341.23 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 47538 0 0 0 34102 21 0 0 20 0 1 0 68352163 303566848 59051 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 74113 59051 2624 2593 0 71006 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 296452 KiB
Current children cumulated memory: 236204 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.18 4.17 5/250 77469
/proc/meminfo: memFree=128221952/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=313616 memory=303860 CPUtime=401.04 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 52618 0 0 0 40082 22 0 0 20 0 1 0 68352163 321142784 75965 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 78404 75965 2624 2593 0 75297 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 313616 KiB
Current children cumulated memory: 303860 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.17 5/250 77471
/proc/meminfo: memFree=128082668/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=328144 memory=308964 CPUtime=460.87 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 56967 0 0 0 46064 23 0 0 20 0 1 0 68352163 336019456 77241 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 82036 77241 2624 2593 0 78929 0
Current children cumulated CPU time: 460.87 s

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

/proc/loadavg: 4.15 4.11 4.12 5/250 77557
/proc/meminfo: memFree=126588852/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=488740 memory=408368 CPUtime=1298.02 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 108865 0 0 0 129766 36 0 0 20 0 1 0 68352163 500469760 102092 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 122185 102092 2624 2593 0 119078 0
Current children cumulated CPU time: 1298.02 s
Current children cumulated vsize: 488740 KiB
Current children cumulated memory: 408368 KiB

[startup+1362.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/250 77559
/proc/meminfo: memFree=126519928/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=507108 memory=410548 CPUtime=1357.82 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 111443 0 0 0 135745 37 0 0 20 0 1 0 68352163 519278592 102637 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 126777 102637 2624 2593 0 123670 0
Current children cumulated CPU time: 1357.82 s
Current children cumulated vsize: 507108 KiB
Current children cumulated memory: 410548 KiB

[startup+1422.3 s]
/proc/loadavg: 4.09 4.10 4.11 5/250 77561
/proc/meminfo: memFree=126409456/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=530092 memory=429680 CPUtime=1417.59 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 131615 0 0 0 141718 41 0 0 20 0 1 0 68352163 542814208 107420 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 132523 107420 2624 2593 0 129416 0
Current children cumulated CPU time: 1417.59 s
Current children cumulated vsize: 530092 KiB
Current children cumulated memory: 429680 KiB

[startup+1482.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/250 77563
/proc/meminfo: memFree=126346436/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=529872 memory=429892 CPUtime=1477.39 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 132897 0 0 0 147697 42 0 0 20 0 1 0 68352163 542588928 107473 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 132468 107473 2624 2593 0 129361 0
Current children cumulated CPU time: 1477.39 s
Current children cumulated vsize: 529872 KiB
Current children cumulated memory: 429892 KiB

[startup+1542.3 s]
/proc/loadavg: 4.10 4.10 4.10 5/249 77565
/proc/meminfo: memFree=126283556/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=530420 memory=430148 CPUtime=1537.19 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 132970 0 0 0 153677 42 0 0 20 0 1 0 68352163 543150080 107537 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 132605 107537 2624 2593 0 129498 0
Current children cumulated CPU time: 1537.19 s
Current children cumulated vsize: 530420 KiB
Current children cumulated memory: 430148 KiB

[startup+1602.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/249 77567
/proc/meminfo: memFree=126163472/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=538996 memory=433732 CPUtime=1596.97 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 133882 0 0 0 159655 42 0 0 20 0 1 0 68352163 551931904 108433 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 134749 108433 2624 2593 0 131642 0
Current children cumulated CPU time: 1596.97 s
Current children cumulated vsize: 538996 KiB
Current children cumulated memory: 433732 KiB

[startup+1662.3 s]
/proc/loadavg: 4.13 4.11 4.10 5/249 77569
/proc/meminfo: memFree=126052100/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=548092 memory=436192 CPUtime=1656.77 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 141810 0 0 0 165632 45 0 0 20 0 1 0 68352163 561246208 109048 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 137023 109048 2624 2593 0 133916 0
Current children cumulated CPU time: 1656.77 s
Current children cumulated vsize: 548092 KiB
Current children cumulated memory: 436192 KiB

[startup+1722.3 s]
/proc/loadavg: 4.54 4.21 4.13 5/249 77571
/proc/meminfo: memFree=125971024/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=562072 memory=439008 CPUtime=1716.55 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 142541 0 0 0 171609 46 0 0 20 0 1 0 68352163 575561728 109752 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 140518 109752 2624 2593 0 137411 0
Current children cumulated CPU time: 1716.55 s
Current children cumulated vsize: 562072 KiB
Current children cumulated memory: 439008 KiB

[startup+1782.3 s]
/proc/loadavg: 4.54 4.29 4.17 5/249 77573
/proc/meminfo: memFree=125924408/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=582368 memory=444256 CPUtime=1776.33 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 143858 0 0 0 177586 47 0 0 20 0 1 0 68352163 596344832 111064 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 145592 111064 2624 2593 0 142485 0
Current children cumulated CPU time: 1776.33 s
Current children cumulated vsize: 582368 KiB
Current children cumulated memory: 444256 KiB

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

# cumulated CPU time of all completed processes:  user=1795.93 s, system=0.486988 s

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

[startup+1792 s]*
/proc/loadavg: 4.46 4.28 4.17 5/249 77573
/proc/meminfo: memFree=125908196/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=585432 memory=444896 CPUtime=1786.01 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 144009 0 0 0 178554 47 0 0 20 0 1 0 68352163 599482368 111224 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 146358 111224 2624 2593 0 143251 0
Current children cumulated CPU time: 1786.01 s
Current children cumulated vsize: 585432 KiB
Current children cumulated memory: 444896 KiB

[startup+1798.4 s]
/proc/loadavg: 4.42 4.28 4.16 5/249 77573
/proc/meminfo: memFree=125880284/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=587084 memory=445024 CPUtime=1792.38 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 144033 0 0 0 179191 47 0 0 20 0 1 0 68352163 601174016 111256 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 146771 111256 2624 2593 0 143664 0
Current children cumulated CPU time: 1792.38 s
Current children cumulated vsize: 587084 KiB
Current children cumulated memory: 445024 KiB

[startup+1800 s]*
/proc/loadavg: 4.42 4.28 4.16 5/249 77573
/proc/meminfo: memFree=125880288/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=587084 memory=445024 CPUtime=1793.98 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 144055 0 0 0 179351 47 0 0 20 0 1 0 68352163 601174016 111256 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 146771 111256 2624 2593 0 143664 0
Current children cumulated CPU time: 1793.98 s
Current children cumulated vsize: 587084 KiB
Current children cumulated memory: 445024 KiB

[startup+1801.6 s]
/proc/loadavg: 4.39 4.27 4.16 5/249 77573
/proc/meminfo: memFree=125937500/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=490252 memory=382432 CPUtime=1795.56 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 144208 0 0 0 179509 47 0 0 20 0 1 0 68352163 502018048 95608 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 122563 95608 2688 2593 0 119456 0
Current children cumulated CPU time: 1795.56 s
Current children cumulated vsize: 490252 KiB
Current children cumulated memory: 382432 KiB

[startup+1802 s]*
/proc/loadavg: 4.39 4.27 4.16 5/249 77574
/proc/meminfo: memFree=125937752/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=490252 memory=382432 CPUtime=1795.97 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 144208 0 0 0 179550 47 0 0 20 0 1 0 68352163 502018048 95608 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 122563 95608 2688 2593 0 119456 0
Current children cumulated CPU time: 1795.97 s
Current children cumulated vsize: 490252 KiB
Current children cumulated memory: 382432 KiB

[startup+1802.4 s]
/proc/loadavg: 4.39 4.27 4.16 5/249 77574
/proc/meminfo: memFree=125937752/131382120 swapFree=33010416/33010684
[pid=77087] ppid=77080 vsize=490252 memory=382432 CPUtime=1796.36 cores=5,7
/proc/77087/stat : 77087 (CASHWMaxSAT-Dis) R 77080 77087 76667 0 -1 4194304 144208 0 0 0 179589 47 0 0 20 0 1 0 68352163 502018048 95608 18446744073709551615 4198400 14817773 140723959788736 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 54632448 140723959798122 140723959798237 140723959798237 140723959803839 0
/proc/77087/statm: 122563 95608 2688 2593 0 119456 0
Current children cumulated CPU time: 1796.36 s
Current children cumulated vsize: 490252 KiB
Current children cumulated memory: 382432 KiB

Child status: 30

Real time (s): 1802.44
CPU time (s): 1796.42
CPU user time (s): 1795.93
CPU system time (s): 0.486988
CPU usage (%): 99.6656
Max. virtual memory (cumulated for all children) (KiB): 587084
Max. memory (cumulated for all children) (KiB): 446276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.93
system time used= 0.486988
maximum resident set size= 446924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144208
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= 31
involuntary context switches= 1723


# summary of solver processes directly reported to runsolver:
#   pid: 77087
#   total CPU time (s): 1796.42
#   total CPU user time (s): 1795.93
#   total CPU system time (s): 0.486988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57454 second user time and 17.1207 second system time

The end