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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=85430, runsolver pid=85427
Current StackSize limit: 8192 KiB


[startup+0.100107 s]*
/proc/loadavg: 4.16 4.27 4.17 5/259 85434
/proc/meminfo: memFree=114223752/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=27568 memory=9088 CPUtime=0.08 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 1618 0 0 0 8 0 0 0 20 0 1 0 72798630 28229632 2272 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 6892 2272 736 2416 0 3994 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 34552 KiB
Current children cumulated memory: 13440 KiB

[startup+0.214145 s]*
/proc/loadavg: 4.16 4.27 4.17 5/259 85434
/proc/meminfo: memFree=114223752/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=34068 memory=15744 CPUtime=0.19 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 3265 0 0 0 19 0 0 0 20 0 1 0 72798630 34885632 3936 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 8550 3936 736 2416 0 5652 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41052 KiB
Current children cumulated memory: 20096 KiB

[startup+0.31407 s]*
/proc/loadavg: 4.16 4.27 4.17 5/259 85434
/proc/meminfo: memFree=114215700/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=39920 memory=21504 CPUtime=0.29 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 4713 0 0 0 28 1 0 0 20 0 1 0 72798630 40878080 5376 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 9980 5376 736 2416 0 7082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 46904 KiB
Current children cumulated memory: 25856 KiB

[startup+0.700414 s]
/proc/loadavg: 4.16 4.27 4.17 5/259 85434
/proc/meminfo: memFree=114199572/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=62584 memory=44160 CPUtime=0.66 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 10375 0 0 0 64 2 0 0 20 0 1 0 72798630 64086016 11040 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 15646 11040 736 2416 0 12748 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69568 KiB
Current children cumulated memory: 48512 KiB

[startup+1.5004 s]
/proc/loadavg: 4.16 4.27 4.17 6/259 85434
/proc/meminfo: memFree=114159376/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=138664 memory=119808 CPUtime=1.46 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 29279 0 0 0 139 7 0 0 20 0 1 0 72798630 141991936 29920 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 34666 29952 736 2416 0 31768 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 145648 KiB
Current children cumulated memory: 124160 KiB

[startup+3.11391 s]
/proc/loadavg: 4.16 4.27 4.17 6/259 85434
/proc/meminfo: memFree=114062576/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=200220 memory=182748 CPUtime=3.07 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 46295 0 0 0 296 11 0 0 20 0 1 0 72798630 205025280 45687 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 50055 45687 768 2416 0 47157 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 207204 KiB
Current children cumulated memory: 187100 KiB

[startup+6.30042 s]
/proc/loadavg: 4.15 4.26 4.17 6/259 85434
/proc/meminfo: memFree=114063052/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=202236 memory=186808 CPUtime=6.24 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 46811 0 0 0 613 11 0 0 20 0 1 0 72798630 207089664 46702 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 50559 46702 768 2416 0 47661 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 209220 KiB
Current children cumulated memory: 191160 KiB

[startup+12.7004 s]
/proc/loadavg: 4.14 4.26 4.17 6/259 85434
/proc/meminfo: memFree=114041724/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=213052 memory=196528 CPUtime=12.62 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 48739 0 0 0 1250 12 0 0 20 0 1 0 72798630 218165248 49132 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 53263 49132 768 2416 0 50365 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 220036 KiB
Current children cumulated memory: 200880 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.25 4.16 6/259 85434
/proc/meminfo: memFree=114025768/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=213052 memory=196336 CPUtime=25.39 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 49729 0 0 0 2526 13 0 0 20 0 1 0 72798630 218165248 49084 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 53263 49084 768 2416 0 50365 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 220036 KiB
Current children cumulated memory: 200688 KiB

[startup+51.1138 s]
/proc/loadavg: 4.14 4.24 4.17 6/259 85435
/proc/meminfo: memFree=114031180/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85433/stat : 85433 (timeout) S 85430 85433 85018 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 72798629 2723840 352 18446744073709551615 94685649899520 94685649916033 140726739438544 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94685649930800 94685649932888 94685673644032 140726739442070 140726739442210 140726739442210 140726739447783 0
/proc/85433/statm: 665 352 352 5 0 90 0
[pid=85434] ppid=85433 vsize=236036 memory=220688 CPUtime=50.92 cores=0,2
/proc/85434/stat : 85434 (CASHWMaxSAT-Dis) R 85433 85433 85018 0 -1 4194304 50731 0 0 0 5078 14 0 0 20 0 1 0 72798630 241700864 55172 18446744073709551615 4198400 14093885 140729515205472 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 15976432 16051504 33353728 140729515211164 140729515211291 140729515211291 140729515216864 0
/proc/85434/statm: 59009 55172 768 2416 0 56111 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 243020 KiB
Current children cumulated memory: 225040 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.22 4.16 6/259 85436
/proc/meminfo: memFree=114015600/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 250 104 0 0 0 0 0 0 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85433] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2256.89 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256571 0 0 0 225540 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3451.14 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.19 4.17 5/259 85796
/proc/meminfo: memFree=112980132/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2316.67 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256571 0 0 0 231518 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3510.92 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/259 86020
/proc/meminfo: memFree=114388940/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2376.44 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256613 0 0 0 237495 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3570.69 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

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

# cumulated CPU time of all completed processes:  user=3582.75 s, system=1.73045 s

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

[startup+3584 s]*
/proc/loadavg: 4.07 4.17 4.17 5/259 86020
/proc/meminfo: memFree=114389288/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2378.15 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256613 0 0 0 237666 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3590.4 s]
/proc/loadavg: 4.06 4.16 4.16 5/259 86070
/proc/meminfo: memFree=114398284/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2384.51 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256654 0 0 0 238302 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3578.76 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3593.6 s]
/proc/loadavg: 4.06 4.16 4.16 5/259 86070
/proc/meminfo: memFree=114398536/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2387.7 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256654 0 0 0 238621 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3581.95 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3595.2 s]
/proc/loadavg: 4.06 4.16 4.16 5/259 86070
/proc/meminfo: memFree=114398788/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2389.29 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256654 0 0 0 238780 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3583.54 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3595.6 s]
/proc/loadavg: 4.06 4.16 4.16 5/259 86070
/proc/meminfo: memFree=114398788/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2389.69 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256654 0 0 0 238820 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3583.94 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3596 s]*
/proc/loadavg: 4.05 4.16 4.16 5/259 86070
/proc/meminfo: memFree=114398724/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 284 52694 0 0 0 0 119407 18 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
[pid=85599] ppid=85430 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/85599/stat : 85599 (timeout) S 85430 85599 85018 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 72918431 2723840 352 18446744073709551615 94862385885184 94862385901697 140729827973072 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94862385916464 94862385918552 94862407299072 140729827977606 140729827977762 140729827977762 140729827983335 0
/proc/85599/statm: 665 352 352 5 0 90 0
[pid=85600] ppid=85599 vsize=1201696 memory=1164980 CPUtime=2390.1 cores=0,2
/proc/85600/stat : 85600 (ExactPR-S) R 85599 85599 85018 0 -1 4194304 256654 0 0 0 238861 149 0 0 20 0 1 0 72918432 1230536704 291245 18446744073709551615 94527440596992 94527449897029 140735601708560 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94527451683136 94527451722216 94527492644864 140735601715614 140735601715751 140735601715751 140735601721324 0
/proc/85600/statm: 300424 291245 3392 2271 0 295062 0
Current children cumulated CPU time: 3584.35 s
Current children cumulated vsize: 1208680 KiB
Current children cumulated memory: 1169332 KiB

[startup+3596.11 s]
/proc/loadavg: 4.05 4.16 4.16 5/259 86070
/proc/meminfo: memFree=114398724/131382112 swapFree=33010160/33010684
[pid=85430] ppid=85427 vsize=4324 memory=2944 CPUtime=3584.45 cores=0,2
/proc/85430/stat : 85430 (Hybrid-CASHWMax) S 85427 85430 85018 0 -1 4194304 404 311217 0 0 0 0 358274 171 20 0 1 0 72798627 4427776 736 18446744073709551615 94290408869888 94290409764421 140732443685200 0 0 0 2 4 65536 1 0 0 17 0 0 0 0 0 0 94290410003472 94290410051216 94290433314816 140732443691351 140732443691505 140732443691505 140732443697107 0
/proc/85430/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.15
CPU time (s): 3584.48
CPU user time (s): 3582.75
CPU system time (s): 1.73045
CPU usage (%): 99.6756
Max. virtual memory (cumulated for all children) (KiB): 1591192
Max. memory (cumulated for all children) (KiB): 1445820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.75
system time used= 1.73045
maximum resident set size= 1441468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1972
involuntary context switches= 7976


# summary of solver processes directly reported to runsolver:
#   pid: 85430
#   total CPU time (s): 3584.48
#   total CPU user time (s): 3582.75
#   total CPU system time (s): 1.73045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.2208 second user time and 39.9102 second system time

The end