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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499371-1751411268/watcher-4499371-1751411268 -o /tmp/evaluation-result-4499371-1751411268/solver-4499371-1751411268 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751405727-57153 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4499371-1751411268.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=58055, runsolver pid=58052

[startup+0.100069 s]*
/proc/loadavg: 4.13 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124881552/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=24356 memory=10112 CPUtime=0.09 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 1783 0 0 0 9 0 0 0 20 0 1 0 56806223 24940544 2528 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 19490 0 0 0 17 7 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 6089 2528 864 2593 0 2982 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24356 KiB
Current children cumulated memory: 10112 KiB

[startup+0.213173 s]*
/proc/loadavg: 4.13 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124873488/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=30628 memory=16128 CPUtime=0.2 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 3302 0 0 0 19 1 0 0 20 0 1 0 56806223 31363072 4032 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 7657 4032 864 2593 0 4550 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30628 KiB
Current children cumulated memory: 16128 KiB

[startup+0.313244 s]*
/proc/loadavg: 4.13 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124865676/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=36216 memory=21760 CPUtime=0.29 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 4714 0 0 0 28 1 0 0 20 0 1 0 56806223 37085184 5440 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 9054 5440 864 2593 0 5947 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 36216 KiB
Current children cumulated memory: 21760 KiB

[startup+0.700343 s]
/proc/loadavg: 4.13 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124841736/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=92408 memory=81784 CPUtime=0.67 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 18333 0 0 0 62 5 0 0 20 0 1 0 56806223 94625792 20446 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 23102 20446 2496 2593 0 19995 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 92408 KiB
Current children cumulated memory: 81784 KiB

[startup+1.50032 s]
/proc/loadavg: 4.13 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124801976/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=127064 memory=116440 CPUtime=1.47 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 27704 0 0 0 139 8 0 0 20 0 1 0 56806223 130113536 29110 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 31766 29110 2624 2593 0 28659 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 127064 KiB
Current children cumulated memory: 116440 KiB

[startup+3.11283 s]
/proc/loadavg: 4.12 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124776864/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=128328 memory=117464 CPUtime=3.07 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 27938 0 0 0 299 8 0 0 20 0 1 0 56806223 131407872 29366 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 32082 29366 2624 2593 0 28975 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 128328 KiB
Current children cumulated memory: 117464 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124767412/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=128720 memory=117848 CPUtime=6.25 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 28041 0 0 0 617 8 0 0 20 0 1 0 56806223 131809280 29462 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 32180 29462 2624 2593 0 29073 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128720 KiB
Current children cumulated memory: 117848 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.21 4.20 5/252 58056
/proc/meminfo: memFree=124765144/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=137252 memory=121956 CPUtime=12.63 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 29365 0 0 0 1255 8 0 0 20 0 1 0 56806223 140546048 30489 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 34313 30489 2624 2593 0 31206 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 137252 KiB
Current children cumulated memory: 121956 KiB

[startup+25.5003 s]
/proc/loadavg: 4.17 4.22 4.21 5/252 58056
/proc/meminfo: memFree=124702608/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=178328 memory=156132 CPUtime=25.4 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 37909 0 0 0 2531 9 0 0 20 0 1 0 56806223 182607872 39033 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 44582 39033 2624 2593 0 41475 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 178328 KiB
Current children cumulated memory: 156132 KiB

[startup+51.1131 s]
/proc/loadavg: 4.11 4.20 4.20 5/252 58058
/proc/meminfo: memFree=124618428/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=248072 memory=202084 CPUtime=50.94 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 49395 0 0 0 5082 12 0 0 20 0 1 0 56806223 254025728 50521 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 62018 50521 2624 2593 0 58911 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 248072 KiB
Current children cumulated memory: 202084 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.18 4.19 5/253 58065
/proc/meminfo: memFree=124552944/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=259196 memory=204132 CPUtime=101.98 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 49953 0 0 0 10186 12 0 0 20 0 1 0 56806223 265416704 51033 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 64799 51033 2624 2593 0 61692 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 259196 KiB
Current children cumulated memory: 204132 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/249 58099
/proc/meminfo: memFree=128050860/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=287308 memory=231268 CPUtime=161.81 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 56738 0 0 0 16167 14 0 0 20 0 1 0 56806223 294203392 57817 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 71827 57817 2624 2593 0 68720 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 287308 KiB
Current children cumulated memory: 231268 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.17 5/252 58113
/proc/meminfo: memFree=127786172/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=287308 memory=231396 CPUtime=221.63 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 56750 0 0 0 22148 15 0 0 20 0 1 0 56806223 294203392 57849 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 71827 57849 2624 2593 0 68720 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 287308 KiB
Current children cumulated memory: 231396 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.13 4.17 5/251 58115
/proc/meminfo: memFree=127754768/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=289636 memory=232036 CPUtime=281.45 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 56917 0 0 0 28130 15 0 0 20 0 1 0 56806223 296587264 58009 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 72409 58009 2624 2593 0 69302 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 289636 KiB
Current children cumulated memory: 232036 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.16 5/251 58118
/proc/meminfo: memFree=127793300/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=311112 memory=240740 CPUtime=341.27 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 59109 0 0 0 34110 17 0 0 20 0 1 0 56806223 318578688 60185 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 77778 60185 2624 2593 0 74671 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 311112 KiB
Current children cumulated memory: 240740 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.16 5/250 58119
/proc/meminfo: memFree=127736296/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=353352 memory=262500 CPUtime=401.09 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 64523 0 0 0 40091 18 0 0 20 0 1 0 56806223 361832448 65625 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 88338 65625 2624 2593 0 85231 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 353352 KiB
Current children cumulated memory: 262500 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/250 58121
/proc/meminfo: memFree=127761056/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=387356 memory=285284 CPUtime=460.91 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 70703 0 0 0 46071 20 0 0 20 0 1 0 56806223 396652544 71321 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 96839 71321 2624 2593 0 93732 0

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

/proc/loadavg: 4.13 4.24 4.19 5/251 58348
/proc/meminfo: memFree=127776908/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=498484 memory=463944 CPUtime=3152.65 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 84225 0 0 0 315239 26 0 0 20 0 1 0 56806223 510447616 115986 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 124621 115986 2624 2593 0 121514 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 498484 KiB
Current children cumulated memory: 463944 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.21 4.18 5/250 58365
/proc/meminfo: memFree=127735972/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=498484 memory=463944 CPUtime=3212.45 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 84238 0 0 0 321219 26 0 0 20 0 1 0 56806223 510447616 115986 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 124621 115986 2624 2593 0 121514 0
Current children cumulated CPU time: 3212.45 s
Current children cumulated vsize: 498484 KiB
Current children cumulated memory: 463944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/250 58367
/proc/meminfo: memFree=127726720/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=498484 memory=464072 CPUtime=3272.24 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 84270 0 0 0 327198 26 0 0 20 0 1 0 56806223 510447616 116018 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 124621 116018 2624 2593 0 121514 0
Current children cumulated CPU time: 3272.24 s
Current children cumulated vsize: 498484 KiB
Current children cumulated memory: 464072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/250 58369
/proc/meminfo: memFree=127723292/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=512024 memory=475448 CPUtime=3332.03 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86096 0 0 0 333177 26 0 0 20 0 1 0 56806223 524312576 118862 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128006 118862 2624 2593 0 124899 0
Current children cumulated CPU time: 3332.03 s
Current children cumulated vsize: 512024 KiB
Current children cumulated memory: 475448 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.15 4.16 5/250 58371
/proc/meminfo: memFree=127708656/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=512024 memory=475448 CPUtime=3391.83 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86227 0 0 0 339157 26 0 0 20 0 1 0 56806223 524312576 118862 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128006 118862 2624 2593 0 124899 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 512024 KiB
Current children cumulated memory: 475448 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/250 58373
/proc/meminfo: memFree=127710168/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=512024 memory=475576 CPUtime=3451.62 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86305 0 0 0 345136 26 0 0 20 0 1 0 56806223 524312576 118894 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128006 118894 2624 2593 0 124899 0
Current children cumulated CPU time: 3451.62 s
Current children cumulated vsize: 512024 KiB
Current children cumulated memory: 475576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.16 5/250 58375
/proc/meminfo: memFree=127711940/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=514380 memory=475576 CPUtime=3511.41 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86315 0 0 0 351115 26 0 0 20 0 1 0 56806223 526725120 118894 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128595 118894 2624 2593 0 125488 0
Current children cumulated CPU time: 3511.41 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 475576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.11 4.14 5/251 58378
/proc/meminfo: memFree=127719716/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=514380 memory=475576 CPUtime=3571.21 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86487 0 0 0 357095 26 0 0 20 0 1 0 56806223 526725120 118894 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128595 118894 2624 2593 0 125488 0
Current children cumulated CPU time: 3571.21 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 475576 KiB

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

# cumulated CPU time of all completed processes:  user=3592.25 s, system=0.270647 s

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

[startup+3584 s]*
/proc/loadavg: 4.04 4.11 4.14 5/251 58378
/proc/meminfo: memFree=127711904/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=514380 memory=475576 CPUtime=3572.92 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86487 0 0 0 357266 26 0 0 20 0 1 0 56806223 526725120 118894 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128595 118894 2624 2593 0 125488 0
Current children cumulated CPU time: 3572.92 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 475576 KiB

[startup+3596.8 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 58378
/proc/meminfo: memFree=127704604/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=514380 memory=475576 CPUtime=3585.67 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86490 0 0 0 358541 26 0 0 20 0 1 0 56806223 526725120 118894 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128595 118894 2624 2593 0 125488 0
Current children cumulated CPU time: 3585.67 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 475576 KiB

[startup+3600 s]*
/proc/loadavg: 4.10 4.12 4.15 5/251 58379
/proc/meminfo: memFree=127704620/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=514380 memory=475576 CPUtime=3588.87 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86491 0 0 0 358861 26 0 0 20 0 1 0 56806223 526725120 118894 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 128595 118894 2624 2593 0 125488 0
Current children cumulated CPU time: 3588.87 s
Current children cumulated vsize: 514380 KiB
Current children cumulated memory: 475576 KiB

[startup+3601.6 s]
/proc/loadavg: 4.10 4.12 4.15 5/251 58379
/proc/meminfo: memFree=127790520/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=395648 memory=378136 CPUtime=3590.45 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86525 0 0 0 359019 26 0 0 20 0 1 0 56806223 405143552 94534 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 98912 94534 2688 2593 0 95805 0
Current children cumulated CPU time: 3590.45 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 378136 KiB

[startup+3602.4 s]
/proc/loadavg: 4.10 4.12 4.15 5/251 58380
/proc/meminfo: memFree=127790528/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=395648 memory=378136 CPUtime=3591.24 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86525 0 0 0 359098 26 0 0 20 0 1 0 56806223 405143552 94534 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 98912 94534 2688 2593 0 95805 0
Current children cumulated CPU time: 3591.24 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 378136 KiB

[startup+3603.2 s]
/proc/loadavg: 4.09 4.12 4.14 5/251 58380
/proc/meminfo: memFree=127790276/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=395648 memory=378136 CPUtime=3592.04 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86525 0 0 0 359178 26 0 0 20 0 1 0 56806223 405143552 94534 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 98912 94534 2688 2593 0 95805 0
Current children cumulated CPU time: 3592.04 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 378136 KiB

[startup+3603.6 s]
/proc/loadavg: 4.09 4.12 4.14 5/251 58380
/proc/meminfo: memFree=127790276/131382116 swapFree=33010684/33010684
[pid=58055] ppid=58052 vsize=395648 memory=378136 CPUtime=3592.44 cores=5,7
/proc/58055/stat : 58055 (CASHWMaxSAT-Dis) R 58052 58055 57137 0 -1 4194304 86525 0 0 0 359218 26 0 0 20 0 1 0 56806223 405143552 94534 18446744073709551615 4198400 14817773 140720617523200 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 37752832 140720617527658 140720617527773 140720617527773 140720617533375 0
/proc/58055/statm: 98912 94534 2688 2593 0 95805 0
Current children cumulated CPU time: 3592.44 s
Current children cumulated vsize: 395648 KiB
Current children cumulated memory: 378136 KiB

Child status: 30

Real time (s): 3603.67
CPU time (s): 3592.52
CPU user time (s): 3592.25
CPU system time (s): 0.270647
CPU usage (%): 99.6907
Max. virtual memory (cumulated for all children) (KiB): 514380
Max. memory (cumulated for all children) (KiB): 475576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.25
system time used= 0.270647
maximum resident set size= 475576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86525
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= 29
involuntary context switches= 1602


# summary of solver processes directly reported to runsolver:
#   pid: 58055
#   total CPU time (s): 3592.52
#   total CPU user time (s): 3592.25
#   total CPU system time (s): 0.270647

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5121 second user time and 34.0163 second system time

The end