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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520967-1751569756/watcher-4520967-1751569756 -o /tmp/evaluation-result-4520967-1751569756/solver-4520967-1751569756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751569752-85030 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4520967-1751569756.opb 3600 HOME 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=85195, runsolver pid=85192

[startup+0.100097 s]*
/proc/loadavg: 1.72 3.36 3.87 5/260 85199
/proc/meminfo: memFree=117712988/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=28068 memory=9600 CPUtime=0.08 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 1745 0 0 0 8 0 0 0 20 0 1 0 72655476 28741632 2400 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 7017 2400 736 2416 0 4119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 35052 KiB
Current children cumulated memory: 14080 KiB

[startup+0.210728 s]*
/proc/loadavg: 1.72 3.36 3.87 5/260 85199
/proc/meminfo: memFree=117709208/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=34700 memory=16128 CPUtime=0.18 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 3366 0 0 0 18 0 0 0 20 0 1 0 72655476 35532800 4032 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 8675 4032 736 2416 0 5777 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 41684 KiB
Current children cumulated memory: 20608 KiB

[startup+0.310422 s]*
/proc/loadavg: 1.72 3.36 3.87 5/260 85199
/proc/meminfo: memFree=117697112/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=42392 memory=23936 CPUtime=0.29 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 5313 0 0 0 28 1 0 0 20 0 1 0 72655476 43409408 5984 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 10598 5984 736 2416 0 7700 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 49376 KiB
Current children cumulated memory: 28416 KiB

[startup+0.700474 s]
/proc/loadavg: 1.72 3.36 3.87 5/260 85199
/proc/meminfo: memFree=117677456/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=71952 memory=53376 CPUtime=0.66 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 12693 0 0 0 64 2 0 0 20 0 1 0 72655476 73678848 13344 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 17988 13344 736 2416 0 15090 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 78936 KiB
Current children cumulated memory: 57856 KiB

[startup+1.50047 s]
/proc/loadavg: 1.90 3.37 3.87 5/260 85199
/proc/meminfo: memFree=117620944/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=162416 memory=143744 CPUtime=1.46 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 35278 0 0 0 138 8 0 0 20 0 1 0 72655476 166313984 35936 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 40604 35936 736 2416 0 37706 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 169400 KiB
Current children cumulated memory: 148224 KiB

[startup+3.11365 s]
/proc/loadavg: 1.90 3.37 3.87 5/260 85199
/proc/meminfo: memFree=117281628/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=403988 memory=388044 CPUtime=3.07 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 96977 0 0 0 287 20 0 0 20 0 1 0 72655476 413683712 97011 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 100997 97011 768 2416 0 98099 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 410972 KiB
Current children cumulated memory: 392524 KiB

[startup+6.30048 s]
/proc/loadavg: 2.15 3.40 3.88 5/260 85199
/proc/meminfo: memFree=117234392/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=422188 memory=403952 CPUtime=6.25 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 103252 0 0 0 603 22 0 0 20 0 1 0 72655476 432320512 100988 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 105547 100988 768 2416 0 102649 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 429172 KiB
Current children cumulated memory: 408432 KiB

[startup+12.7005 s]
/proc/loadavg: 2.30 3.41 3.88 5/260 85200
/proc/meminfo: memFree=117220404/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=422188 memory=403952 CPUtime=12.63 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 103256 0 0 0 1241 22 0 0 20 0 1 0 72655476 432320512 100988 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 105547 100988 768 2416 0 102649 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 429172 KiB
Current children cumulated memory: 408432 KiB

[startup+25.5005 s]
/proc/loadavg: 2.56 3.43 3.88 5/260 85200
/proc/meminfo: memFree=117183572/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=437824 memory=416480 CPUtime=25.39 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 105902 0 0 0 2516 23 0 0 20 0 1 0 72655476 448331776 104120 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 109456 104120 768 2416 0 106558 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 444808 KiB
Current children cumulated memory: 420960 KiB

[startup+51.1137 s]
/proc/loadavg: 3.21 3.50 3.89 5/260 85200
/proc/meminfo: memFree=117178856/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85198] ppid=85195 vsize=2660 memory=1408 CPUtime=0 cores=1,3
/proc/85198/stat : 85198 (timeout) S 85195 85198 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72655475 2723840 352 18446744073709551615 94386483183616 94386483200129 140725977726624 0 0 0 0 3145728 90119 1 0 0 17 3 0 0 0 0 0 94386483214896 94386483216984 94386500317184 140725977733526 140725977733666 140725977733666 140725977739239 0
/proc/85198/statm: 665 352 352 5 0 90 0
[pid=85199] ppid=85198 vsize=443904 memory=425568 CPUtime=50.94 cores=1,3
/proc/85199/stat : 85199 (CASHWMaxSAT-Dis) R 85198 85198 85018 0 -1 4194304 107429 0 0 0 5070 24 0 0 20 0 1 0 72655476 454557696 106392 18446744073709551615 4198400 14093885 140735707284256 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 15976432 16051504 22179840 140735707285916 140735707286043 140735707286043 140735707291616 0
/proc/85199/statm: 110976 106392 768 2416 0 108078 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 450888 KiB
Current children cumulated memory: 430048 KiB

[startup+102.301 s]
/proc/loadavg: 3.83 3.63 3.92 5/260 85202
/proc/meminfo: memFree=117100240/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=0 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0

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

/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577216 CPUtime=2257.12 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363389 0 0 0 225552 160 0 0 20 0 1 0 72775277 1638363136 394304 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394304 3424 2271 0 394629 0
Current children cumulated CPU time: 3451.8 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581568 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/260 85656
/proc/meminfo: memFree=110254844/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577216 CPUtime=2316.96 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363428 0 0 0 231536 160 0 0 20 0 1 0 72775277 1638363136 394304 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394304 3424 2271 0 394629 0
Current children cumulated CPU time: 3511.64 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/260 85662
/proc/meminfo: memFree=111144588/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2376.8 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363430 0 0 0 237519 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3571.48 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3596.14 s]
# the end of solver process 85195 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3583.28 s, system=1.98438 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.09 4.09 5/260 85662
/proc/meminfo: memFree=111146156/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2378.51 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363430 0 0 0 237690 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3573.19 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3590.4 s]
/proc/loadavg: 4.13 4.09 4.09 5/259 85662
/proc/meminfo: memFree=111146660/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2384.88 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363430 0 0 0 238327 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3579.56 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3593.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 85662
/proc/meminfo: memFree=111146660/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2388.07 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363430 0 0 0 238646 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3582.75 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 85662
/proc/meminfo: memFree=111146572/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2389.66 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363435 0 0 0 238805 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3584.34 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3595.6 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 85662
/proc/meminfo: memFree=111146572/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2390.06 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363435 0 0 0 238845 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3584.74 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.09 4.09 5/259 85662
/proc/meminfo: memFree=111146572/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=1194.68 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 284 110253 0 0 0 0 119436 32 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
[pid=85262] ppid=85195 vsize=2660 memory=1280 CPUtime=0 cores=1,3
/proc/85262/stat : 85262 (timeout) S 85195 85262 85018 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 72775276 2723840 320 18446744073709551615 94572391170048 94572391186561 140735689807104 0 0 0 0 3145728 90119 1 0 0 17 1 0 0 0 0 0 94572391201328 94572391203416 94572404867072 140735689816454 140735689816610 140735689816610 140735689822183 0
/proc/85262/statm: 665 320 320 5 0 90 0
[pid=85263] ppid=85262 vsize=1599964 memory=1577344 CPUtime=2390.47 cores=1,3
/proc/85263/stat : 85263 (ExactPR-S) R 85262 85262 85018 0 -1 4194304 363435 0 0 0 238886 161 0 0 20 0 1 0 72775277 1638363136 394336 18446744073709551615 94508711813120 94508721113157 140735565441648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 94508722899264 94508722938344 94508744810496 140735565449630 140735565449767 140735565449767 140735565455340 0
/proc/85263/statm: 399991 394336 3424 2271 0 394629 0
Current children cumulated CPU time: 3585.15 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1581696 KiB

[startup+3596.11 s]
/proc/loadavg: 4.12 4.09 4.09 5/259 85662
/proc/meminfo: memFree=111146572/131382112 swapFree=33010160/33010684
[pid=85195] ppid=85192 vsize=4324 memory=3072 CPUtime=3585.23 cores=1,3
/proc/85195/stat : 85195 (Hybrid-CASHWMax) S 85192 85195 85018 0 -1 4194304 432 476160 0 0 0 0 358327 196 20 0 1 0 72655473 4427776 768 18446744073709551615 94622431428608 94622432323141 140724860010528 0 0 0 2 4 65536 1 0 0 17 1 0 0 0 0 0 94622432562192 94622432609936 94622432964608 140724860016983 140724860017137 140724860017137 140724860022739 0
/proc/85195/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3585.23 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.14
CPU time (s): 3585.27
CPU user time (s): 3583.28
CPU system time (s): 1.98438
CPU usage (%): 99.6976
Max. virtual memory (cumulated for all children) (KiB): 2724748
Max. memory (cumulated for all children) (KiB): 2530836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.28
system time used= 1.98438
maximum resident set size= 2526484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477290
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1897
involuntary context switches= 1290


# summary of solver processes directly reported to runsolver:
#   pid: 85195
#   total CPU time (s): 3585.27
#   total CPU user time (s): 3583.28
#   total CPU system time (s): 1.98438

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3637 second user time and 39.0144 second system time

The end