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: 63794 MiB (53942 MiB free)
  memory of node 1: 64507 MiB (58536 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523722-1751602278/watcher-4523722-1751602278 -o /tmp/evaluation-result-4523722-1751602278/solver-4523722-1751602278 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751598143-84719 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4523722-1751602278.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
Current StackSize limit: 8192 KiB

solver pid=85250, runsolver pid=85247

[startup+0.100073 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 85251
/proc/meminfo: memFree=115174072/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=25316 memory=6784 CPUtime=0.09 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 1076 0 0 0 9 0 0 0 20 0 1 0 75906653 25923584 1696 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 6329 1696 736 2416 0 3431 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 25316 KiB
Current children cumulated memory: 6784 KiB

[startup+0.213112 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 85251
/proc/meminfo: memFree=115172308/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=28152 memory=9600 CPUtime=0.19 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 1773 0 0 0 19 0 0 0 20 0 1 0 75906653 28827648 2400 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 7038 2400 736 2416 0 4140 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 28152 KiB
Current children cumulated memory: 9600 KiB

[startup+0.316114 s]*
/proc/loadavg: 4.10 4.10 4.09 5/250 85251
/proc/meminfo: memFree=115166260/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=30720 memory=12032 CPUtime=0.27 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 2405 0 0 0 27 0 0 0 20 0 1 0 75906653 31457280 3008 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 7680 3008 736 2416 0 4782 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 30720 KiB
Current children cumulated memory: 12032 KiB

[startup+0.700255 s]
/proc/loadavg: 4.17 4.11 4.10 5/250 85251
/proc/meminfo: memFree=115163236/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=43028 memory=24192 CPUtime=0.63 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 5420 0 0 0 61 2 0 0 20 0 1 0 75906653 44060672 6048 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 10757 6048 736 2416 0 7859 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 43028 KiB
Current children cumulated memory: 24192 KiB

[startup+1.50021 s]
/proc/loadavg: 4.17 4.11 4.10 5/250 85251
/proc/meminfo: memFree=115143076/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=83728 memory=61696 CPUtime=1.41 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 14815 0 0 0 137 4 0 0 20 0 1 0 75906653 85737472 15424 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 20932 15424 736 2416 0 18034 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 83728 KiB
Current children cumulated memory: 61696 KiB

[startup+3.10537 s]
/proc/loadavg: 4.17 4.11 4.10 5/250 85251
/proc/meminfo: memFree=114949284/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=278996 memory=230992 CPUtime=3.01 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 37480 0 0 0 289 12 0 0 20 0 1 0 75906653 285691904 57748 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 69749 57748 992 2416 0 66851 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 278996 KiB
Current children cumulated memory: 230992 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 85251
/proc/meminfo: memFree=114561704/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=588680 memory=518932 CPUtime=6.17 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 56806 0 0 0 595 22 0 0 20 0 1 0 75906653 602808320 129733 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 147170 129733 992 2416 0 144272 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 588680 KiB
Current children cumulated memory: 518932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.11 4.09 5/250 85251
/proc/meminfo: memFree=114019648/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=1142208 memory=983824 CPUtime=12.51 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 89067 0 0 0 1211 40 0 0 20 0 1 0 75906653 1169620992 245956 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 285552 245956 992 2416 0 282654 0
Current children cumulated CPU time: 12.51 s
Current children cumulated vsize: 1142208 KiB
Current children cumulated memory: 983824 KiB

[startup+25.5003 s]
/proc/loadavg: 4.20 4.12 4.10 5/250 85251
/proc/meminfo: memFree=111019112/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=4831488 memory=4144160 CPUtime=25.25 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 255863 0 0 0 2403 122 0 0 20 0 1 0 75906653 4947443712 1036040 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1207872 1036040 992 2416 0 1204974 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 4831488 KiB
Current children cumulated memory: 4144160 KiB

[startup+51.1129 s]
/proc/loadavg: 4.12 4.11 4.09 5/250 85252
/proc/meminfo: memFree=110578828/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5389028 memory=4562316 CPUtime=50.79 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 308874 0 0 0 4924 155 0 0 20 0 1 0 75906653 5518364672 1140579 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1347257 1140579 992 2416 0 1344359 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 5389028 KiB
Current children cumulated memory: 4562316 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/250 85253
/proc/meminfo: memFree=110657744/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4415976 CPUtime=101.82 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 340419 0 0 0 9992 190 0 0 20 0 1 0 75906653 5134647296 1103994 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1103994 1024 2416 0 1250678 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 5014304 KiB
Current children cumulated memory: 4415976 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 85256
/proc/meminfo: memFree=110596052/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4415976 CPUtime=161.66 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 340946 0 0 0 15975 191 0 0 20 0 1 0 75906653 5134647296 1103994 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1103994 1024 2416 0 1250678 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 5014304 KiB
Current children cumulated memory: 4415976 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/250 85258
/proc/meminfo: memFree=110545840/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4418184 CPUtime=221.48 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 341220 0 0 0 21957 191 0 0 20 0 1 0 75906653 5134647296 1104546 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1104546 1024 2416 0 1250678 0
Current children cumulated CPU time: 221.48 s
Current children cumulated vsize: 5014304 KiB
Current children cumulated memory: 4418184 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 85260
/proc/meminfo: memFree=110464716/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4420236 CPUtime=281.3 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 341364 0 0 0 27939 191 0 0 20 0 1 0 75906653 5134647296 1105059 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1105059 1024 2416 0 1250678 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 5014304 KiB
Current children cumulated memory: 4420236 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 85267
/proc/meminfo: memFree=110335276/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4428672 CPUtime=341.12 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 341618 0 0 0 33921 191 0 0 20 0 1 0 75906653 5134647296 1107168 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1107168 1024 2416 0 1250678 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 5014304 KiB
Current children cumulated memory: 4428672 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/251 85269
/proc/meminfo: memFree=110314544/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4459468 CPUtime=400.94 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 341756 0 0 0 39903 191 0 0 20 0 1 0 75906653 5134647296 1114867 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1114867 1024 2416 0 1250678 0
Current children cumulated CPU time: 400.94 s
Current children cumulated vsize: 5014304 KiB
Current children cumulated memory: 4459468 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/251 85271
/proc/meminfo: memFree=110101148/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5014304 memory=4494328 CPUtime=460.76 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 341878 0 0 0 45884 192 0 0 20 0 1 0 75906653 5134647296 1123582 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1253576 1123582 1024 2416 0 1250678 0
Current children cumulated CPU time: 460.76 s

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

/proc/loadavg: 4.13 4.16 4.14 5/250 85541
/proc/meminfo: memFree=118743888/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4734992 CPUtime=3152.73 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 352739 0 0 0 314976 297 0 0 20 0 1 0 75906653 5492277248 1183748 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1183748 1024 2416 0 1337990 0
Current children cumulated CPU time: 3152.73 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4734992 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/251 85544
/proc/meminfo: memFree=118637288/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4747280 CPUtime=3212.56 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 352853 0 0 0 320959 297 0 0 20 0 1 0 75906653 5492277248 1186820 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1186820 1024 2416 0 1337990 0
Current children cumulated CPU time: 3212.56 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4747280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.13 5/250 85546
/proc/meminfo: memFree=116654044/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4788240 CPUtime=3272.4 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 353012 0 0 0 326942 298 0 0 20 0 1 0 75906653 5492277248 1197060 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1197060 1024 2416 0 1337990 0
Current children cumulated CPU time: 3272.4 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4788240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.12 4.12 5/250 85592
/proc/meminfo: memFree=117344928/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4668528 CPUtime=3332.23 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 354069 0 0 0 332911 312 0 0 20 0 1 0 75906653 5492277248 1167132 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1167132 1024 2416 0 1337990 0
Current children cumulated CPU time: 3332.23 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4668528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.11 4.12 5/251 85643
/proc/meminfo: memFree=115417936/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4703344 CPUtime=3392.06 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 354768 0 0 0 338893 313 0 0 20 0 1 0 75906653 5492277248 1175836 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1175836 1024 2416 0 1337990 0
Current children cumulated CPU time: 3392.06 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4703344 KiB

[startup+3462.3 s]
/proc/loadavg: 4.78 4.31 4.18 5/251 85645
/proc/meminfo: memFree=115374332/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4732020 CPUtime=3451.87 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 355387 0 0 0 344874 313 0 0 20 0 1 0 75906653 5492277248 1183005 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1183005 1024 2416 0 1337990 0
Current children cumulated CPU time: 3451.87 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4732020 KiB

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

# cumulated CPU time of all completed processes:  user=3498.9 s, system=3.28968 s

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

[startup+3481.6 s]
/proc/loadavg: 4.60 4.29 4.18 5/251 85646
/proc/meminfo: memFree=115595936/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4515716 CPUtime=3471.12 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356410 0 0 0 346789 323 0 0 20 0 1 0 75906653 5492277248 1128929 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1128929 1024 2416 0 1337990 0
Current children cumulated CPU time: 3471.12 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4515716 KiB

[startup+3494.4 s]
/proc/loadavg: 4.47 4.28 4.18 5/250 85647
/proc/meminfo: memFree=115557188/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4519812 CPUtime=3483.88 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356445 0 0 0 348065 323 0 0 20 0 1 0 75906653 5492277248 1129953 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1129953 1024 2416 0 1337990 0
Current children cumulated CPU time: 3483.88 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4519812 KiB

[startup+3500.8 s]
/proc/loadavg: 4.43 4.27 4.18 5/250 85647
/proc/meminfo: memFree=115540300/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4523908 CPUtime=3490.26 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356454 0 0 0 348703 323 0 0 20 0 1 0 75906653 5492277248 1130977 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1130977 1024 2416 0 1337990 0
Current children cumulated CPU time: 3490.26 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4523908 KiB

[startup+3507.2 s]
/proc/loadavg: 4.45 4.28 4.18 5/250 85647
/proc/meminfo: memFree=115520072/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4525956 CPUtime=3496.64 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356471 0 0 0 349341 323 0 0 20 0 1 0 75906653 5492277248 1131489 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1131489 1024 2416 0 1337990 0
Current children cumulated CPU time: 3496.64 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4525956 KiB

[startup+3510.4 s]
/proc/loadavg: 4.45 4.28 4.18 5/250 85647
/proc/meminfo: memFree=115506464/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4528004 CPUtime=3499.82 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356497 0 0 0 349659 323 0 0 20 0 1 0 75906653 5492277248 1132001 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1132001 1024 2416 0 1337990 0
Current children cumulated CPU time: 3499.82 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4528004 KiB

[startup+3512 s]*
/proc/loadavg: 4.41 4.27 4.18 5/250 85647
/proc/meminfo: memFree=115502368/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4528004 CPUtime=3501.43 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356504 0 0 0 349820 323 0 0 20 0 1 0 75906653 5492277248 1132001 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1132001 1024 2416 0 1337990 0
Current children cumulated CPU time: 3501.43 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4528004 KiB

[startup+3512.4 s]
/proc/loadavg: 4.41 4.27 4.18 5/250 85647
/proc/meminfo: memFree=115502368/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4528004 CPUtime=3501.82 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356504 0 0 0 349859 323 0 0 20 0 1 0 75906653 5492277248 1132001 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1132001 1024 2416 0 1337990 0
Current children cumulated CPU time: 3501.82 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4528004 KiB

[startup+3512.6 s]
/proc/loadavg: 4.41 4.27 4.18 5/250 85647
/proc/meminfo: memFree=115502368/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4528004 CPUtime=3502.02 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356504 0 0 0 349879 323 0 0 20 0 1 0 75906653 5492277248 1132001 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1132001 1024 2416 0 1337990 0
Current children cumulated CPU time: 3502.02 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4528004 KiB

[startup+3512.7 s]
/proc/loadavg: 4.41 4.27 4.18 5/250 85647
/proc/meminfo: memFree=115502368/131382112 swapFree=33009904/33010684
[pid=85250] ppid=85247 vsize=5363552 memory=4528004 CPUtime=3502.12 cores=5,7
/proc/85250/stat : 85250 (CASHWMaxSAT-Dis) R 85247 85250 84706 0 -1 4194304 356540 0 0 0 349889 323 0 0 20 0 1 0 75906653 5492277248 1132001 18446744073709551615 4198400 14093885 140731530872688 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 22114304 140731530881386 140731530881501 140731530881501 140731530887103 0
/proc/85250/statm: 1340888 1132001 1024 2416 0 1337990 0
Current children cumulated CPU time: 3502.12 s
Current children cumulated vsize: 5363552 KiB
Current children cumulated memory: 4528004 KiB

Child status: 30

Real time (s): 3512.77
CPU time (s): 3502.19
CPU user time (s): 3498.9
CPU system time (s): 3.28968
CPU usage (%): 99.6989
Max. virtual memory (cumulated for all children) (KiB): 6839128
Max. memory (cumulated for all children) (KiB): 5670660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3498.9
system time used= 3.28968
maximum resident set size= 5670660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356544
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= 38
involuntary context switches= 2918


# summary of solver processes directly reported to runsolver:
#   pid: 85250
#   total CPU time (s): 3502.19
#   total CPU user time (s): 3498.9
#   total CPU system time (s): 3.28968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2697 second user time and 38.0956 second system time

The end