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: 63837 MiB (61847 MiB free)
  memory of node 1: 64465 MiB (60664 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520966-1751564459/watcher-4520966-1751564459 -o /tmp/evaluation-result-4520966-1751564459/solver-4520966-1751564459 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751560212-81255 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCad+ExactPRS HOME/instance-4520966-1751564459.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
Current StackSize limit: 8192 KiB

solver pid=82758, runsolver pid=82755

[startup+0.100067 s]*
/proc/loadavg: 4.12 4.10 4.09 5/253 82765
/proc/meminfo: memFree=125451128/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=25252 memory=10880 CPUtime=0.07 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 1955 0 0 0 7 0 0 0 20 0 1 0 72125390 25858048 2720 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 6313 2720 864 2593 0 3206 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 32236 KiB
Current children cumulated memory: 15232 KiB

[startup+0.209993 s]*
/proc/loadavg: 4.12 4.10 4.09 5/252 82775
/proc/meminfo: memFree=125446900/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=31556 memory=17152 CPUtime=0.18 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 3525 0 0 0 17 1 0 0 20 0 1 0 72125390 32313344 4288 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 7889 4288 864 2593 0 4782 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 38540 KiB
Current children cumulated memory: 21504 KiB

[startup+0.310131 s]*
/proc/loadavg: 4.12 4.10 4.09 4/252 82780
/proc/meminfo: memFree=125426804/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=37276 memory=22784 CPUtime=0.28 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 4950 0 0 0 26 2 0 0 20 0 1 0 72125390 38170624 5696 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 9319 5696 864 2593 0 6212 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 44260 KiB
Current children cumulated memory: 27136 KiB

[startup+0.700442 s]
/proc/loadavg: 4.19 4.12 4.10 5/251 82784
/proc/meminfo: memFree=125418548/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=63028 memory=48384 CPUtime=0.65 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 11358 0 0 0 62 3 0 0 20 0 1 0 72125390 64540672 12096 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 15757 12096 864 2593 0 12650 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 70012 KiB
Current children cumulated memory: 52736 KiB

[startup+1.50048 s]
/proc/loadavg: 4.19 4.12 4.10 4/252 82806
/proc/meminfo: memFree=125376760/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=137728 memory=122752 CPUtime=1.45 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 29940 0 0 0 137 8 0 0 20 0 1 0 72125390 141033472 30688 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 34432 30688 864 2593 0 31325 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 144712 KiB
Current children cumulated memory: 127104 KiB

[startup+3.11273 s]
/proc/loadavg: 4.19 4.12 4.10 6/259 82847
/proc/meminfo: memFree=125080096/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=373764 memory=359040 CPUtime=3.06 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 89019 0 0 0 285 21 0 0 20 0 1 0 72125390 382734336 89760 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 93441 89760 864 2593 0 90334 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 380748 KiB
Current children cumulated memory: 363392 KiB

[startup+6.3005 s]
/proc/loadavg: 4.17 4.12 4.09 5/259 82847
/proc/meminfo: memFree=124629972/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=443768 memory=427384 CPUtime=6.24 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 107848 0 0 0 598 26 0 0 20 0 1 0 72125390 454418432 106846 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 110942 106846 960 2593 0 107835 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 450752 KiB
Current children cumulated memory: 431736 KiB

[startup+12.7005 s]
/proc/loadavg: 4.16 4.12 4.09 5/259 82848
/proc/meminfo: memFree=124626776/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=443768 memory=427384 CPUtime=12.62 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 107848 0 0 0 1235 27 0 0 20 0 1 0 72125390 454418432 106846 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 110942 106846 960 2593 0 107835 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 450752 KiB
Current children cumulated memory: 431736 KiB

[startup+25.5005 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 82848
/proc/meminfo: memFree=124614860/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=447828 memory=428404 CPUtime=25.38 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 108980 0 0 0 2509 29 0 0 20 0 1 0 72125390 458575872 107101 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 111957 107101 960 2593 0 108850 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 454812 KiB
Current children cumulated memory: 432756 KiB

[startup+51.1138 s]
/proc/loadavg: 4.14 4.12 4.09 5/259 82848
/proc/meminfo: memFree=124518028/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82761/stat : 82761 (timeout) S 82758 82761 81245 0 -1 4194304 109 0 0 0 0 0 0 0 20 0 1 0 72125390 2723840 352 18446744073709551615 93881761067008 93881761083521 140730314043216 0 0 0 0 3145728 90119 1 0 0 17 0 0 0 0 0 0 93881761098288 93881761100376 93881781690368 140730314049942 140730314050082 140730314050082 140730314055655 0
/proc/82761/statm: 665 352 352 5 0 90 0
[pid=82762] ppid=82761 vsize=472896 memory=457224 CPUtime=50.91 cores=0,2
/proc/82762/stat : 82762 (CASHWMaxSAT-Dis) R 82761 82761 81245 0 -1 4194304 119864 0 0 0 5054 37 0 0 20 0 1 0 72125390 484245504 114306 18446744073709551615 4198400 14817773 140721101644368 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 16829744 16914832 50028544 140721101646236 140721101646363 140721101646363 140721101651936 0
/proc/82762/statm: 118224 114306 992 2593 0 115117 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 479880 KiB
Current children cumulated memory: 461576 KiB

[startup+102.301 s]
/proc/loadavg: 4.06 4.10 4.09 5/259 82850
/proc/meminfo: memFree=124404712/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=0 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82761] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2

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

/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2257.12 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362222 0 0 0 225557 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3451.37 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.21 5/257 83173
/proc/meminfo: memFree=120281004/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2316.95 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362328 0 0 0 231540 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3511.2 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120269904/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2376.77 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 237522 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3571.02 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

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

# cumulated CPU time of all completed processes:  user=3582.48 s, system=2.35983 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120262088/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2378.48 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 237693 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120265552/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2384.85 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 238330 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3579.1 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120265552/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2388.04 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 238649 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3582.29 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120259760/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2389.63 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 238808 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3583.88 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3595.6 s]
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120259760/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2390.03 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 238848 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3584.28 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120259760/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=1194.25 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 285 162969 0 0 0 0 119351 74 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
[pid=82906] ppid=82758 vsize=2660 memory=1408 CPUtime=0 cores=0,2
/proc/82906/stat : 82906 (timeout) S 82758 82906 81245 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 72245193 2723840 352 18446744073709551615 94379474415616 94379474432129 140726445446736 0 0 0 0 3145728 90119 1 0 0 17 2 0 0 0 0 0 94379474446896 94379474448984 94379507150848 140726445455750 140726445455906 140726445455906 140726445461479 0
/proc/82906/statm: 665 352 352 5 0 90 0
[pid=82907] ppid=82906 vsize=1599964 memory=1577948 CPUtime=2390.44 cores=0,2
/proc/82907/stat : 82907 (ExactPR-S) R 82906 82906 81245 0 -1 4194304 362351 0 0 0 238889 155 0 0 20 0 1 0 72245193 1638363136 394487 18446744073709551615 94480225796096 94480235096133 140736973964160 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 94480236882240 94480236921320 94480267735040 140736973965726 140736973965863 140736973965863 140736973971436 0
/proc/82907/statm: 399991 394487 3392 2271 0 394629 0
Current children cumulated CPU time: 3584.69 s
Current children cumulated vsize: 1606948 KiB
Current children cumulated memory: 1582300 KiB

[startup+3596.11 s]
/proc/loadavg: 4.10 4.14 4.19 5/258 83180
/proc/meminfo: memFree=120259760/131382116 swapFree=33009904/33010684
[pid=82758] ppid=82755 vsize=4324 memory=2944 CPUtime=3584.79 cores=0,2
/proc/82758/stat : 82758 (Hybrid-CASHWMax) S 82755 82758 81245 0 -1 4194304 376 526612 0 0 0 0 358247 232 20 0 1 0 72125388 4427776 736 18446744073709551615 93826072145920 93826073040453 140721174567440 0 0 0 2 4 65536 1 0 0 17 2 0 0 0 0 0 93826073279504 93826073327248 93826080268288 140721174571351 140721174571505 140721174571505 140721174577107 0
/proc/82758/statm: 1081 736 672 219 0 143 0
Current children cumulated CPU time: 3584.79 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 3596.17
CPU time (s): 3584.84
CPU user time (s): 3582.48
CPU system time (s): 2.35983
CPU usage (%): 99.6848
Max. virtual memory (cumulated for all children) (KiB): 2724748
Max. memory (cumulated for all children) (KiB): 2532512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.48
system time used= 2.35983
maximum resident set size= 2528160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 528878
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= 1913
involuntary context switches= 8188


# summary of solver processes directly reported to runsolver:
#   pid: 82758
#   total CPU time (s): 3584.84
#   total CPU user time (s): 3582.48
#   total CPU system time (s): 2.35983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.42 second user time and 35.3895 second system time

The end