runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (56870 MiB free)
  memory of node 1: 64510 MiB (62261 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439223-1721228011/watcher-4439223-1721228011 -o /tmp/evaluation-result-4439223-1721228011/solver-4439223-1721228011 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904501 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439223-1721228011.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=910375, runsolver pid=910372
Current StackSize limit: 8192 KiB


[startup+0.100099 s]*
/proc/loadavg: 4.14 4.15 4.15 5/244 910376
/proc/meminfo: memFree=121979376/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=31680 memory=17256 CPUtime=0.1 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 3568 0 0 0 10 0 0 0 20 0 1 0 174959151 32440320 4314 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 7920 4314 878 2594 0 4813 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31680 KiB
Current children cumulated memory: 17256 KiB

[startup+0.213275 s]*
/proc/loadavg: 4.14 4.15 4.15 5/244 910376
/proc/meminfo: memFree=121966152/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=48348 memory=38912 CPUtime=0.22 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 7677 0 0 0 21 1 0 0 20 0 1 0 174959151 49508352 9728 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 12087 9728 2286 2594 0 8980 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 48348 KiB
Current children cumulated memory: 38912 KiB

[startup+0.313224 s]*
/proc/loadavg: 4.14 4.15 4.15 5/244 910376
/proc/meminfo: memFree=121925496/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=86492 memory=76632 CPUtime=0.32 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 16932 0 0 0 30 2 0 0 20 0 1 0 174959151 88567808 19158 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 21623 19158 2510 2594 0 18516 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 86492 KiB
Current children cumulated memory: 76632 KiB

[startup+0.700345 s]
/proc/loadavg: 4.14 4.15 4.15 5/244 910376
/proc/meminfo: memFree=121914016/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=120872 memory=110512 CPUtime=0.69 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 26192 0 0 0 66 3 0 0 20 0 1 0 174959151 123772928 27628 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 30218 27628 2574 2594 0 27111 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120872 KiB
Current children cumulated memory: 110512 KiB

[startup+1.50033 s]
/proc/loadavg: 4.14 4.15 4.15 5/244 910376
/proc/meminfo: memFree=121888844/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=124496 memory=113592 CPUtime=1.48 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 26933 0 0 0 145 3 0 0 20 0 1 0 174959151 127483904 28398 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 31124 28398 2654 2594 0 28017 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 124496 KiB
Current children cumulated memory: 113592 KiB

[startup+3.11311 s]
/proc/loadavg: 4.14 4.15 4.15 5/244 910377
/proc/meminfo: memFree=121873104/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=124496 memory=113592 CPUtime=3.09 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 26969 0 0 0 306 3 0 0 20 0 1 0 174959151 127483904 28398 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 31124 28398 2654 2594 0 28017 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 124496 KiB
Current children cumulated memory: 113592 KiB

[startup+6.30031 s]
/proc/loadavg: 4.13 4.14 4.15 5/244 910377
/proc/meminfo: memFree=121872612/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=125532 memory=114120 CPUtime=6.27 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 27109 0 0 0 624 3 0 0 20 0 1 0 174959151 128544768 28530 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 31383 28530 2654 2594 0 28276 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 125532 KiB
Current children cumulated memory: 114120 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.14 4.15 5/244 910379
/proc/meminfo: memFree=121868036/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=136584 memory=118596 CPUtime=12.66 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 28773 0 0 0 1262 4 0 0 20 0 1 0 174959151 139862016 29649 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 34146 29649 2654 2594 0 31039 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 118596 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 4.13 4.14 5/244 910381
/proc/meminfo: memFree=121815224/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=198608 memory=171324 CPUtime=25.42 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 41393 0 0 0 2537 5 0 0 20 0 1 0 174959151 203374592 42831 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 49652 42831 2654 2594 0 46545 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 198608 KiB
Current children cumulated memory: 171324 KiB

[startup+51.1131 s]
/proc/loadavg: 4.12 4.14 4.15 5/244 910384
/proc/meminfo: memFree=121795260/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=253492 memory=195324 CPUtime=50.97 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 47428 0 0 0 5090 7 0 0 20 0 1 0 174959151 259575808 48831 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 63373 48831 2654 2594 0 60266 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 253492 KiB
Current children cumulated memory: 195324 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.14 5/244 910396
/proc/meminfo: memFree=121723980/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=282372 memory=222948 CPUtime=102.01 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 54365 0 0 0 10193 8 0 0 20 0 1 0 174959151 289148928 55737 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 70593 55737 2654 2594 0 67486 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 282372 KiB
Current children cumulated memory: 222948 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.14 5/241 910791
/proc/meminfo: memFree=120814884/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=282372 memory=223548 CPUtime=161.86 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 54568 0 0 0 16177 9 0 0 20 0 1 0 174959151 289148928 55887 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 70593 55887 2654 2594 0 67486 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 282372 KiB
Current children cumulated memory: 223548 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.13 5/242 910803
/proc/meminfo: memFree=120772876/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=311644 memory=245248 CPUtime=221.69 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 61431 0 0 0 22159 10 0 0 20 0 1 0 174959151 319123456 61312 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 77911 61312 2654 2594 0 74804 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 311644 KiB
Current children cumulated memory: 245248 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/242 910813
/proc/meminfo: memFree=120635860/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=360088 memory=284052 CPUtime=281.53 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 71136 0 0 0 28142 11 0 0 20 0 1 0 174959151 368730112 71013 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 90022 71013 2654 2594 0 86915 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 360088 KiB
Current children cumulated memory: 284052 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.13 4.13 5/244 910994
/proc/meminfo: memFree=120635188/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=360088 memory=284052 CPUtime=341.37 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 71140 0 0 0 34126 11 0 0 20 0 1 0 174959151 368730112 71013 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 90022 71013 2654 2594 0 86915 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 360088 KiB
Current children cumulated memory: 284052 KiB

[startup+402.3 s]
/proc/loadavg: 4.27 4.15 4.14 5/244 911005
/proc/meminfo: memFree=120658844/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=360088 memory=285892 CPUtime=401.21 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 71618 0 0 0 40110 11 0 0 20 0 1 0 174959151 368730112 71473 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 90022 71473 2654 2594 0 86915 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 360088 KiB
Current children cumulated memory: 285892 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.15 4.14 5/246 911031
/proc/meminfo: memFree=120699580/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=372940 memory=294268 CPUtime=461.05 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 73161 0 0 0 46093 12 0 0 20 0 1 0 174959151 381890560 73567 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 93235 73567 2654 2594 0 90128 0

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

/proc/loadavg: 1.11 1.17 1.94 2/220 912248
/proc/meminfo: memFree=128239060/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462196 CPUtime=3213.94 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 95285 0 0 0 321375 19 0 0 20 0 1 0 174959151 487690240 115549 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115549 2654 2594 0 115958 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462196 KiB

[startup+3282.3 s]
/proc/loadavg: 1.09 1.15 1.89 2/220 912259
/proc/meminfo: memFree=128238592/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3273.81 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 95541 0 0 0 327362 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.13 1.83 2/220 912271
/proc/meminfo: memFree=128238060/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3333.69 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 95725 0 0 0 333350 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3333.69 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3402.3 s]
/proc/loadavg: 1.57 1.25 1.83 2/220 912281
/proc/meminfo: memFree=128237492/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3393.56 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 95833 0 0 0 339337 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3462.3 s]
/proc/loadavg: 1.40 1.28 1.80 2/222 912297
/proc/meminfo: memFree=128236792/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3453.43 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96075 0 0 0 345324 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3522.3 s]
/proc/loadavg: 1.25 1.26 1.76 2/222 912307
/proc/meminfo: memFree=128236120/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3513.3 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96193 0 0 0 351311 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3582.3 s]
/proc/loadavg: 1.09 1.21 1.71 2/222 912319
/proc/meminfo: memFree=128235560/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3573.17 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96375 0 0 0 357298 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3573.17 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

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

# cumulated CPU time of all completed processes:  user=3593.54 s, system=0.208255 s

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

[startup+3584 s]*
/proc/loadavg: 1.09 1.21 1.71 2/222 912319
/proc/meminfo: memFree=128235544/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3574.88 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96447 0 0 0 357469 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3574.88 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3590.4 s]
/proc/loadavg: 1.08 1.20 1.70 2/222 912319
/proc/meminfo: memFree=128235544/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3581.25 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96448 0 0 0 358106 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3581.25 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3596.8 s]
/proc/loadavg: 1.15 1.21 1.70 2/222 912321
/proc/meminfo: memFree=128235440/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3587.64 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96449 0 0 0 358745 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3587.64 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3600 s]*
/proc/loadavg: 1.14 1.21 1.70 2/222 912321
/proc/meminfo: memFree=128235440/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=476260 memory=462224 CPUtime=3590.84 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96453 0 0 0 359065 19 0 0 20 0 1 0 174959151 487690240 115556 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 119065 115556 2654 2594 0 115958 0
Current children cumulated CPU time: 3590.84 s
Current children cumulated vsize: 476260 KiB
Current children cumulated memory: 462224 KiB

[startup+3601.6 s]
/proc/loadavg: 1.14 1.21 1.70 2/222 912321
/proc/meminfo: memFree=128308144/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=399136 memory=388108 CPUtime=3592.43 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96484 0 0 0 359223 20 0 0 20 0 1 0 174959151 408715264 97027 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 99784 97027 2702 2594 0 96677 0
Current children cumulated CPU time: 3592.43 s
Current children cumulated vsize: 399136 KiB
Current children cumulated memory: 388108 KiB

[startup+3602.4 s]
/proc/loadavg: 1.14 1.21 1.70 2/222 912323
/proc/meminfo: memFree=128308368/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=399136 memory=388108 CPUtime=3593.23 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96484 0 0 0 359303 20 0 0 20 0 1 0 174959151 408715264 97027 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 99784 97027 2702 2594 0 96677 0
Current children cumulated CPU time: 3593.23 s
Current children cumulated vsize: 399136 KiB
Current children cumulated memory: 388108 KiB

[startup+3602.8 s]
/proc/loadavg: 1.14 1.21 1.70 2/222 912323
/proc/meminfo: memFree=128308368/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=399136 memory=388108 CPUtime=3593.63 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96484 0 0 0 359343 20 0 0 20 0 1 0 174959151 408715264 97027 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 99784 97027 2702 2594 0 96677 0
Current children cumulated CPU time: 3593.63 s
Current children cumulated vsize: 399136 KiB
Current children cumulated memory: 388108 KiB

[startup+3602.9 s]
/proc/loadavg: 1.14 1.21 1.70 2/222 912323
/proc/meminfo: memFree=128308368/131655788 swapFree=131071996/131071996
[pid=910375] ppid=910372 vsize=399136 memory=388108 CPUtime=3593.73 cores=1,3
/proc/910375/stat : 910375 (CASHWMaxSAT-Dis) R 910372 910375 904489 0 -1 4194304 96484 0 0 0 359353 20 0 0 20 0 1 0 174959151 408715264 97027 134679101440 4194304 14817773 140725226726928 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 34000896 140725226730468 140725226730583 140725226730583 140725226737599 0
/proc/910375/statm: 99784 97027 2702 2594 0 96677 0
Current children cumulated CPU time: 3593.73 s
Current children cumulated vsize: 399136 KiB
Current children cumulated memory: 388108 KiB

Child status: 30

Real time (s): 3602.91
CPU time (s): 3593.75
CPU user time (s): 3593.54
CPU system time (s): 0.208255
CPU usage (%): 99.7457
Max. virtual memory (cumulated for all children) (KiB): 481320
Max. memory (cumulated for all children) (KiB): 467540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.54
system time used= 0.208255
maximum resident set size= 485488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96484
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= 26
involuntary context switches= 1918


# summary of solver processes directly reported to runsolver:
#   pid: 910375
#   total CPU time (s): 3593.75
#   total CPU user time (s): 3593.54
#   total CPU system time (s): 0.208255

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9756 second user time and 32.2387 second system time

The end