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 (56483 MiB free)
  memory of node 1: 64510 MiB (62575 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440022-1721227517/watcher-4440022-1721227517 -o /tmp/evaluation-result-4440022-1721227517/solver-4440022-1721227517 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721218494-894680 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4440022-1721227517.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog threadLinuxiStarting watchdog threadLinuxi 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB

solver pid=900069, runsolver pid=900066

[startup+0.100097 s]*
/proc/loadavg: 4.10 4.11 4.13 5/243 900070
/proc/meminfo: memFree=121897740/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=40768 memory=22404 CPUtime=0.1 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 4961 0 0 0 10 0 0 0 20 0 1 0 174908132 41746432 5601 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 10192 5601 750 2417 0 7294 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40768 KiB
Current children cumulated memory: 22404 KiB

[startup+0.212974 s]*
/proc/loadavg: 4.10 4.11 4.13 5/243 900070
/proc/meminfo: memFree=121879260/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=59232 memory=40640 CPUtime=0.21 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 9563 0 0 0 20 1 0 0 20 0 1 0 174908132 60653568 10160 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 14808 10160 750 2417 0 11910 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59232 KiB
Current children cumulated memory: 40640 KiB

[startup+0.313097 s]*
/proc/loadavg: 4.10 4.11 4.13 5/243 900070
/proc/meminfo: memFree=121862092/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=73048 memory=55280 CPUtime=0.32 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 13156 0 0 0 30 2 0 0 20 0 1 0 174908132 74801152 13820 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 18262 13820 782 2417 0 15364 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 73048 KiB
Current children cumulated memory: 55280 KiB

[startup+0.700326 s]
/proc/loadavg: 4.10 4.11 4.13 5/243 900070
/proc/meminfo: memFree=121802360/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=172580 memory=161580 CPUtime=0.69 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 39357 0 0 0 63 6 0 0 20 0 1 0 174908132 176721920 40395 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 43145 40395 2350 2417 0 40247 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 172580 KiB
Current children cumulated memory: 161580 KiB

[startup+1.50035 s]
/proc/loadavg: 4.10 4.11 4.13 5/243 900070
/proc/meminfo: memFree=121735436/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=246672 memory=233624 CPUtime=1.49 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57211 0 0 0 141 8 0 0 20 0 1 0 174908132 252592128 58406 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 61668 58406 2510 2417 0 58770 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 246672 KiB
Current children cumulated memory: 233624 KiB

[startup+3.11285 s]
/proc/loadavg: 4.10 4.11 4.13 5/243 900070
/proc/meminfo: memFree=121669880/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=247408 memory=234416 CPUtime=3.09 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57378 0 0 0 301 8 0 0 20 0 1 0 174908132 253345792 58604 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 61852 58604 2510 2417 0 58954 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 247408 KiB
Current children cumulated memory: 234416 KiB

[startup+6.30032 s]
/proc/loadavg: 4.09 4.10 4.13 5/243 900072
/proc/meminfo: memFree=121703260/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=247836 memory=234676 CPUtime=6.27 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57469 0 0 0 619 8 0 0 20 0 1 0 174908132 253784064 58669 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 61959 58669 2510 2417 0 59061 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 247836 KiB
Current children cumulated memory: 234676 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.10 4.13 5/243 900072
/proc/meminfo: memFree=121699980/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=249020 memory=235720 CPUtime=12.65 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57713 0 0 0 1257 8 0 0 20 0 1 0 174908132 254996480 58930 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 62255 58930 2510 2417 0 59357 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 249020 KiB
Current children cumulated memory: 235720 KiB

[startup+25.5004 s]
/proc/loadavg: 4.06 4.10 4.13 5/241 900074
/proc/meminfo: memFree=121700024/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=249020 memory=235720 CPUtime=25.43 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57715 0 0 0 2534 9 0 0 20 0 1 0 174908132 254996480 58930 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 62255 58930 2510 2417 0 59357 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 249020 KiB
Current children cumulated memory: 235720 KiB

[startup+51.1127 s]
/proc/loadavg: 4.12 4.10 4.13 5/241 900125
/proc/meminfo: memFree=121970480/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=249020 memory=235720 CPUtime=50.96 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57718 0 0 0 5087 9 0 0 20 0 1 0 174908132 254996480 58930 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 62255 58930 2510 2417 0 59357 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 249020 KiB
Current children cumulated memory: 235720 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/241 900133
/proc/meminfo: memFree=121926888/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=249020 memory=235720 CPUtime=102.01 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 57720 0 0 0 10191 10 0 0 20 0 1 0 174908132 254996480 58930 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 62255 58930 2510 2417 0 59357 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 249020 KiB
Current children cumulated memory: 235720 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/241 900143
/proc/meminfo: memFree=121949340/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=271932 memory=250968 CPUtime=161.84 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 60261 0 0 0 16174 10 0 0 20 0 1 0 174908132 278458368 62742 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 67983 62742 2810 2417 0 65085 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 271932 KiB
Current children cumulated memory: 250968 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/241 900154
/proc/meminfo: memFree=121916688/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=271932 memory=250968 CPUtime=221.68 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 60263 0 0 0 22158 10 0 0 20 0 1 0 174908132 278458368 62742 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 67983 62742 2810 2417 0 65085 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 271932 KiB
Current children cumulated memory: 250968 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/241 900164
/proc/meminfo: memFree=121938924/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=289264 memory=262492 CPUtime=281.52 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 62650 0 0 0 28141 11 0 0 20 0 1 0 174908132 296206336 65623 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 72316 65623 2810 2417 0 69418 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 289264 KiB
Current children cumulated memory: 262492 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/245 900182
/proc/meminfo: memFree=121833620/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=436300 memory=341500 CPUtime=341.37 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 81399 0 0 0 34122 15 0 0 20 0 1 0 174908132 446771200 85375 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 109075 85375 2810 2417 0 106177 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 436300 KiB
Current children cumulated memory: 341500 KiB

[startup+402.3 s]
/proc/loadavg: 4.21 4.12 4.11 5/245 900192
/proc/meminfo: memFree=121797696/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=436868 memory=341764 CPUtime=401.21 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 81469 0 0 0 40106 15 0 0 20 0 1 0 174908132 447352832 85441 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 109217 85441 2810 2417 0 106319 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 436868 KiB
Current children cumulated memory: 341764 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.11 5/245 900203
/proc/meminfo: memFree=121765216/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=437152 memory=342268 CPUtime=461.06 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 81605 0 0 0 46091 15 0 0 20 0 1 0 174908132 447643648 85567 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 109288 85567 2810 2417 0 106390 0
Current children cumulated CPU time: 461.06 s

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

/proc/loadavg: 3.55 4.00 4.12 4/234 901058
/proc/meminfo: memFree=128317960/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=470372 memory=372256 CPUtime=1897.33 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99219 0 0 0 189711 22 0 0 20 0 1 0 174908132 481660928 93064 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 117593 93064 2810 2417 0 114695 0
Current children cumulated CPU time: 1897.33 s
Current children cumulated vsize: 470372 KiB
Current children cumulated memory: 372256 KiB

[startup+1962.3 s]
/proc/loadavg: 3.36 3.87 4.06 4/234 901069
/proc/meminfo: memFree=128307952/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=470372 memory=372256 CPUtime=1957.2 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99223 0 0 0 195697 23 0 0 20 0 1 0 174908132 481660928 93064 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 117593 93064 2810 2417 0 114695 0
Current children cumulated CPU time: 1957.2 s
Current children cumulated vsize: 470372 KiB
Current children cumulated memory: 372256 KiB

[startup+2022.3 s]
/proc/loadavg: 3.20 3.72 4.00 4/234 901080
/proc/meminfo: memFree=128284508/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=372360 CPUtime=2017.07 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99308 0 0 0 201684 23 0 0 20 0 1 0 174908132 487477248 93090 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 93090 2810 2417 0 116115 0
Current children cumulated CPU time: 2017.07 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 372360 KiB

[startup+2082.3 s]
/proc/loadavg: 3.18 3.62 3.94 4/234 901090
/proc/meminfo: memFree=128242008/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=372600 CPUtime=2076.93 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99356 0 0 0 207670 23 0 0 20 0 1 0 174908132 487477248 93150 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 93150 2810 2417 0 116115 0
Current children cumulated CPU time: 2076.93 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 372600 KiB

[startup+2142.3 s]
/proc/loadavg: 3.57 3.63 3.93 4/236 901104
/proc/meminfo: memFree=128283084/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=373240 CPUtime=2136.78 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99386 0 0 0 213655 23 0 0 20 0 1 0 174908132 487477248 93310 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 93310 2810 2417 0 116115 0
Current children cumulated CPU time: 2136.78 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 373240 KiB

[startup+2202.3 s]
/proc/loadavg: 3.44 3.60 3.90 4/236 901115
/proc/meminfo: memFree=128234252/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=374936 CPUtime=2196.62 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99447 0 0 0 219639 23 0 0 20 0 1 0 174908132 487477248 93734 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 93734 2810 2417 0 116115 0
Current children cumulated CPU time: 2196.62 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 374936 KiB

[startup+2262.3 s]
/proc/loadavg: 3.22 3.51 3.84 4/236 901126
/proc/meminfo: memFree=128273620/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=382068 CPUtime=2256.47 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99501 0 0 0 225624 23 0 0 20 0 1 0 174908132 487477248 95517 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 95517 2810 2417 0 116115 0
Current children cumulated CPU time: 2256.47 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 382068 KiB

[startup+2322.3 s]
/proc/loadavg: 3.13 3.43 3.79 4/236 901136
/proc/meminfo: memFree=128217140/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=397476 CPUtime=2316.34 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99560 0 0 0 231611 23 0 0 20 0 1 0 174908132 487477248 99369 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 99369 2810 2417 0 116115 0
Current children cumulated CPU time: 2316.34 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 397476 KiB

[startup+2382.3 s]
/proc/loadavg: 3.16 3.38 3.75 4/236 901147
/proc/meminfo: memFree=128232240/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2376.21 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99615 0 0 0 237598 23 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2376.21 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

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

# cumulated CPU time of all completed processes:  user=2395.12 s, system=0.242037 s

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

[startup+2393.6 s]
/proc/loadavg: 3.14 3.37 3.74 4/236 901149
/proc/meminfo: memFree=128231940/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2387.48 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99618 0 0 0 238725 23 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2387.48 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

[startup+2396.8 s]
/proc/loadavg: 3.13 3.36 3.74 4/236 901150
/proc/meminfo: memFree=128231884/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2390.67 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99628 0 0 0 239044 23 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2390.67 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

[startup+2400 s]*
/proc/loadavg: 3.12 3.35 3.74 5/236 901151
/proc/meminfo: memFree=128230904/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2393.87 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99628 0 0 0 239364 23 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2393.87 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

[startup+2400.8 s]
/proc/loadavg: 3.12 3.35 3.74 5/236 901151
/proc/meminfo: memFree=128230904/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2394.67 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99764 0 0 0 239443 24 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2394.67 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

[startup+2401.2 s]
/proc/loadavg: 3.12 3.35 3.74 4/236 901151
/proc/meminfo: memFree=128231652/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2395.07 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99764 0 0 0 239483 24 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2395.07 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

[startup+2401.4 s]
/proc/loadavg: 3.12 3.35 3.74 4/236 901151
/proc/meminfo: memFree=128231652/131655788 swapFree=131071996/131071996
[pid=900069] ppid=900066 vsize=476052 memory=422600 CPUtime=2395.27 cores=4,6
/proc/900069/stat : 900069 (CASHWMaxSAT-Dis) R 900066 900069 894669 0 -1 4194304 99764 0 0 0 239503 24 0 0 20 0 1 0 174908132 487477248 105650 134679101440 4194304 14093885 140729974255280 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 15976432 16051504 32632832 140729974256612 140729974256727 140729974256727 140729974263743 0
/proc/900069/statm: 119013 105650 2810 2417 0 116115 0
Current children cumulated CPU time: 2395.27 s
Current children cumulated vsize: 476052 KiB
Current children cumulated memory: 422600 KiB

Child status: 30

Real time (s): 2401.49
CPU time (s): 2395.36
CPU user time (s): 2395.12
CPU system time (s): 0.242037
CPU usage (%): 99.7448
Max. virtual memory (cumulated for all children) (KiB): 503092
Max. memory (cumulated for all children) (KiB): 422600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.12
system time used= 0.242037
maximum resident set size= 422600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99764
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= 32
involuntary context switches= 1430


# summary of solver processes directly reported to runsolver:
#   pid: 900069
#   total CPU time (s): 2395.36
#   total CPU user time (s): 2395.12
#   total CPU system time (s): 0.242037

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3832 second user time and 22.5163 second system time

The end