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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=913876, runsolver pid=913868
Current StackSize limit: 8192 KiB


[startup+0.100089 s]*
/proc/loadavg: 1.08 1.08 1.39 6/259 913886
/proc/meminfo: memFree=127544488/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=36808 memory=22536 CPUtime=0.09 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 4877 0 0 0 9 0 0 0 20 0 1 0 175175643 37691392 5634 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 9202 5634 878 2594 0 6095 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 36808 KiB
Current children cumulated memory: 22536 KiB

[startup+0.206313 s]*
/proc/loadavg: 1.08 1.08 1.39 7/259 913886
/proc/meminfo: memFree=127421668/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=55336 memory=40752 CPUtime=0.2 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 9455 0 0 0 20 0 0 0 20 0 1 0 175175643 56664064 10188 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 13834 10188 878 2594 0 10727 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55336 KiB
Current children cumulated memory: 40752 KiB

[startup+0.306086 s]*
/proc/loadavg: 1.08 1.08 1.39 7/259 913888
/proc/meminfo: memFree=127356568/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=72724 memory=58028 CPUtime=0.3 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 13853 0 0 0 29 1 0 0 20 0 1 0 175175643 74469376 14507 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 18181 14507 926 2594 0 15074 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72724 KiB
Current children cumulated memory: 58028 KiB

[startup+0.700229 s]
/proc/loadavg: 1.08 1.08 1.39 7/259 913888
/proc/meminfo: memFree=127162324/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=191028 memory=180792 CPUtime=0.69 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 44473 0 0 0 63 6 0 0 20 0 1 0 175175643 195612672 45198 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 47757 45198 2510 2594 0 44650 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 191028 KiB
Current children cumulated memory: 180792 KiB

[startup+1.50023 s]
/proc/loadavg: 1.08 1.08 1.39 6/259 913888
/proc/meminfo: memFree=127039380/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=253076 memory=241540 CPUtime=1.49 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 64942 0 0 0 140 9 0 0 20 0 1 0 175175643 259149824 60385 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 63269 60385 2622 2594 0 60162 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 253076 KiB
Current children cumulated memory: 241540 KiB

[startup+3.10667 s]
/proc/loadavg: 1.08 1.08 1.39 6/259 913888
/proc/meminfo: memFree=126903356/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=258584 memory=244180 CPUtime=3.09 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 65711 0 0 0 300 9 0 0 20 0 1 0 175175643 264790016 61045 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 64646 61045 2654 2594 0 61539 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 258584 KiB
Current children cumulated memory: 244180 KiB

[startup+6.3002 s]
/proc/loadavg: 1.31 1.13 1.41 6/259 913888
/proc/meminfo: memFree=126902240/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=258584 memory=244436 CPUtime=6.28 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 65795 0 0 0 619 9 0 0 20 0 1 0 175175643 264790016 61109 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 64646 61109 2654 2594 0 61539 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 258584 KiB
Current children cumulated memory: 244436 KiB

[startup+12.7002 s]
/proc/loadavg: 1.53 1.18 1.42 6/259 913889
/proc/meminfo: memFree=126895908/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=259880 memory=245804 CPUtime=12.66 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 66103 0 0 0 1257 9 0 0 20 0 1 0 175175643 266117120 61451 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 64970 61451 2654 2594 0 61863 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 259880 KiB
Current children cumulated memory: 245804 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 1.34 1.47 6/259 913891
/proc/meminfo: memFree=126840432/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=259880 memory=245804 CPUtime=25.41 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 66122 0 0 0 2532 9 0 0 20 0 1 0 175175643 266117120 61451 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 64970 61451 2654 2594 0 61863 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 259880 KiB
Current children cumulated memory: 245804 KiB

[startup+51.1069 s]
/proc/loadavg: 2.85 1.57 1.54 6/260 914065
/proc/meminfo: memFree=126752296/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=260160 memory=246204 CPUtime=50.95 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 66242 0 0 0 5085 10 0 0 20 0 1 0 175175643 266403840 61551 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 65040 61551 2654 2594 0 61933 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 260160 KiB
Current children cumulated memory: 246204 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.68 6/260 914074
/proc/meminfo: memFree=126738232/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=260160 memory=248540 CPUtime=102 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 66299 0 0 0 10190 10 0 0 20 0 1 0 175175643 266403840 62135 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 65040 62135 2654 2594 0 61933 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 260160 KiB
Current children cumulated memory: 248540 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.35 1.83 6/260 914084
/proc/meminfo: memFree=126690032/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=282456 memory=265040 CPUtime=161.83 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 69487 0 0 0 16173 10 0 0 20 0 1 0 175175643 289234944 66260 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 70614 66260 2938 2594 0 67507 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 282456 KiB
Current children cumulated memory: 265040 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.67 1.97 6/261 914153
/proc/meminfo: memFree=126680796/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=282456 memory=265040 CPUtime=221.63 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 69525 0 0 0 22153 10 0 0 20 0 1 0 175175643 289234944 66260 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 70614 66260 2938 2594 0 67507 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 282456 KiB
Current children cumulated memory: 265040 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 2.94 2.12 6/261 914164
/proc/meminfo: memFree=126632252/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=282456 memory=265040 CPUtime=281.43 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 69606 0 0 0 28133 10 0 0 20 0 1 0 175175643 289234944 66260 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 70614 66260 2938 2594 0 67507 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 282456 KiB
Current children cumulated memory: 265040 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 3.14 2.24 6/258 914174
/proc/meminfo: memFree=126623688/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=282456 memory=265040 CPUtime=341.22 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 69679 0 0 0 34112 10 0 0 20 0 1 0 175175643 289234944 66260 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 70614 66260 2938 2594 0 67507 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 282456 KiB
Current children cumulated memory: 265040 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.33 2.36 6/258 914186
/proc/meminfo: memFree=126580692/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=282456 memory=265040 CPUtime=401.01 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 69756 0 0 0 40091 10 0 0 20 0 1 0 175175643 289234944 66260 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 70614 66260 2938 2594 0 67507 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 282456 KiB
Current children cumulated memory: 265040 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.47 2.47 6/258 914196
/proc/meminfo: memFree=126526044/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=282456 memory=265040 CPUtime=460.81 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 69836 0 0 0 46071 10 0 0 20 0 1 0 175175643 289234944 66260 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 70614 66260 2938 2594 0 67507 0

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

/proc/loadavg: 4.10 4.12 4.01 6/256 915164
/proc/meminfo: memFree=126143128/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=355324 memory=331420 CPUtime=2614.86 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 84445 0 0 0 261474 12 0 0 20 0 1 0 175175643 363851776 82855 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 88831 82855 2938 2594 0 85724 0
Current children cumulated CPU time: 2614.86 s
Current children cumulated vsize: 355324 KiB
Current children cumulated memory: 331420 KiB

[startup+2682.3 s]
/proc/loadavg: 4.08 4.11 4.01 6/256 915175
/proc/meminfo: memFree=126140336/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=355324 memory=331428 CPUtime=2674.71 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 84489 0 0 0 267459 12 0 0 20 0 1 0 175175643 363851776 82857 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 88831 82857 2938 2594 0 85724 0
Current children cumulated CPU time: 2674.71 s
Current children cumulated vsize: 355324 KiB
Current children cumulated memory: 331428 KiB

[startup+2742.3 s]
/proc/loadavg: 4.06 4.10 4.01 6/256 915185
/proc/meminfo: memFree=126106960/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=355324 memory=331428 CPUtime=2734.56 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 84543 0 0 0 273444 12 0 0 20 0 1 0 175175643 363851776 82857 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 88831 82857 2938 2594 0 85724 0
Current children cumulated CPU time: 2734.56 s
Current children cumulated vsize: 355324 KiB
Current children cumulated memory: 331428 KiB

[startup+2802.3 s]
/proc/loadavg: 4.06 4.10 4.01 6/256 915196
/proc/meminfo: memFree=126099340/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=356624 memory=332756 CPUtime=2794.42 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85105 0 0 0 279429 13 0 0 20 0 1 0 175175643 365182976 83189 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89156 83189 2938 2594 0 86049 0
Current children cumulated CPU time: 2794.42 s
Current children cumulated vsize: 356624 KiB
Current children cumulated memory: 332756 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.01 6/256 915206
/proc/meminfo: memFree=126098408/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2854.27 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85214 0 0 0 285414 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2854.27 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.10 4.01 6/254 915216
/proc/meminfo: memFree=126089844/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2914.12 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85264 0 0 0 291399 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2914.12 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.01 6/255 915228
/proc/meminfo: memFree=126084528/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2973.97 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85316 0 0 0 297384 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2973.97 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

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

# cumulated CPU time of all completed processes:  user=2993.24 s, system=0.143624 s

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

[startup+2982.4 s]
/proc/loadavg: 4.12 4.10 4.01 6/255 915228
/proc/meminfo: memFree=126084528/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2974.07 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85316 0 0 0 297394 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

[startup+2995.2 s]
/proc/loadavg: 4.09 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084244/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2986.84 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85316 0 0 0 298671 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2986.84 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

[startup+2998.4 s]
/proc/loadavg: 4.09 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084232/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2990.03 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85316 0 0 0 298990 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2990.03 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

[startup+3000 s]*
/proc/loadavg: 4.08 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084240/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=357600 memory=332908 CPUtime=2991.63 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85316 0 0 0 299150 13 0 0 20 0 1 0 175175643 366182400 83227 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 89400 83227 2938 2594 0 86293 0
Current children cumulated CPU time: 2991.63 s
Current children cumulated vsize: 357600 KiB
Current children cumulated memory: 332908 KiB

[startup+3000.8 s]
/proc/loadavg: 4.08 4.09 4.01 6/255 915230
/proc/meminfo: memFree=126084240/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=231512 memory=219500 CPUtime=2992.42 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85411 0 0 0 299229 13 0 0 20 0 1 0 175175643 237068288 54875 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 57878 54875 2986 2594 0 54771 0
Current children cumulated CPU time: 2992.42 s
Current children cumulated vsize: 231512 KiB
Current children cumulated memory: 219500 KiB

[startup+3001.2 s]
/proc/loadavg: 4.08 4.09 4.01 5/253 915231
/proc/meminfo: memFree=126540640/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=231512 memory=219500 CPUtime=2992.82 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85412 0 0 0 299269 13 0 0 20 0 1 0 175175643 237068288 54875 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 57878 54875 2986 2594 0 54771 0
Current children cumulated CPU time: 2992.82 s
Current children cumulated vsize: 231512 KiB
Current children cumulated memory: 219500 KiB

[startup+3001.6 s]
/proc/loadavg: 4.08 4.09 4.01 5/253 915231
/proc/meminfo: memFree=126540640/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=231512 memory=219500 CPUtime=2993.22 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85412 0 0 0 299308 14 0 0 20 0 1 0 175175643 237068288 54875 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 57878 54875 2986 2594 0 54771 0
Current children cumulated CPU time: 2993.22 s
Current children cumulated vsize: 231512 KiB
Current children cumulated memory: 219500 KiB

[startup+3001.7 s]
/proc/loadavg: 4.08 4.09 4.01 5/253 915231
/proc/meminfo: memFree=126540640/131524600 swapFree=131071996/131071996
[pid=913876] ppid=913868 vsize=231512 memory=219500 CPUtime=2993.32 cores=5,7
/proc/913876/stat : 913876 (CASHWMaxSAT-Dis) R 913868 913876 913810 0 -1 4194304 85412 0 0 0 299318 14 0 0 20 0 1 0 175175643 237068288 54875 134679101440 4194304 14817773 140735814586384 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 48115712 140735814591460 140735814591575 140735814591575 140735814598591 0
/proc/913876/statm: 57878 54875 2986 2594 0 54771 0
Current children cumulated CPU time: 2993.32 s
Current children cumulated vsize: 231512 KiB
Current children cumulated memory: 219500 KiB

Child status: 30

Real time (s): 3001.76
CPU time (s): 2993.39
CPU user time (s): 2993.24
CPU system time (s): 0.143624
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 357600
Max. memory (cumulated for all children) (KiB): 332908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2993.24
system time used= 0.143624
maximum resident set size= 332908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85412
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= 24
involuntary context switches= 1060


# summary of solver processes directly reported to runsolver:
#   pid: 913876
#   total CPU time (s): 2993.39
#   total CPU user time (s): 2993.24
#   total CPU system time (s): 0.143624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.52141 second user time and 17.626 second system time

The end