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: 63708 MiB (56963 MiB free)
  memory of node 1: 64465 MiB (60804 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523773-1751595667/watcher-4523773-1751595667 -o /tmp/evaluation-result-4523773-1751595667/solver-4523773-1751595667 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751588478-81718 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4523773-1751595667.opb 3600 HOME 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=82972, runsolver pid=82969

[startup+0.100063 s]*
/proc/loadavg: 4.06 4.08 4.09 5/272 82976
/proc/meminfo: memFree=120587504/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=28816 memory=10240 CPUtime=0.07 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 1919 0 0 0 7 0 0 0 20 0 1 0 75245138 29507584 2560 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 7204 2560 736 2416 0 4306 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 35800 KiB
Current children cumulated memory: 14720 KiB

[startup+0.20586 s]*
/proc/loadavg: 4.06 4.08 4.09 5/272 82976
/proc/meminfo: memFree=120579440/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=37032 memory=18432 CPUtime=0.16 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 3939 0 0 0 16 0 0 0 20 0 1 0 75245138 37920768 4608 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 7 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 9258 4608 736 2416 0 6360 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 44016 KiB
Current children cumulated memory: 22912 KiB

[startup+0.305706 s]*
/proc/loadavg: 4.06 4.08 4.09 5/272 82976
/proc/meminfo: memFree=120564320/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=45132 memory=26112 CPUtime=0.26 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 5899 0 0 0 26 0 0 0 20 0 1 0 75245138 46215168 6528 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 11283 6528 736 2416 0 8385 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 52116 KiB
Current children cumulated memory: 30592 KiB

[startup+0.700189 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 82976
/proc/meminfo: memFree=120548652/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=77128 memory=55552 CPUtime=0.65 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 13233 0 0 0 64 1 0 0 20 0 1 0 75245138 78979072 13888 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 19282 13888 736 2416 0 16384 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 84112 KiB
Current children cumulated memory: 60032 KiB

[startup+1.50022 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 82976
/proc/meminfo: memFree=120464224/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=231668 memory=191104 CPUtime=1.45 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 33317 0 0 0 138 7 0 0 20 0 1 0 75245138 237228032 47776 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 57917 47776 768 2416 0 55019 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 238652 KiB
Current children cumulated memory: 195584 KiB

[startup+3.10556 s]
/proc/loadavg: 4.06 4.08 4.09 5/272 82976
/proc/meminfo: memFree=120266016/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=334228 memory=302780 CPUtime=3.05 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 41421 0 0 0 293 12 0 0 20 0 1 0 75245138 342249472 75695 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 83557 75695 992 2416 0 80659 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 341212 KiB
Current children cumulated memory: 307260 KiB

[startup+6.30019 s]
/proc/loadavg: 4.05 4.08 4.09 5/272 82976
/proc/meminfo: memFree=119937480/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=729224 memory=603708 CPUtime=6.23 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 66254 0 0 0 602 21 0 0 20 0 1 0 75245138 746725376 150927 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 182306 150927 992 2416 0 179408 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 736208 KiB
Current children cumulated memory: 608188 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.08 4.09 5/273 82977
/proc/meminfo: memFree=119417824/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=1170976 memory=1054076 CPUtime=12.62 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 96433 0 0 0 1225 37 0 0 20 0 1 0 75245138 1199079424 263519 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 292744 263519 992 2416 0 289846 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1177960 KiB
Current children cumulated memory: 1058556 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.09 4.09 5/273 83031
/proc/meminfo: memFree=116465432/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=4574288 memory=3917768 CPUtime=25.39 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 275975 0 0 0 2423 116 0 0 20 0 1 0 75245138 4684070912 979442 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 1143572 979442 992 2416 0 1140674 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 4581272 KiB
Current children cumulated memory: 3922248 KiB

[startup+51.1057 s]
/proc/loadavg: 4.08 4.08 4.09 5/272 83032
/proc/meminfo: memFree=112923052/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/82975/stat : 82975 (timeout) S 82972 82975 81700 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 75245138 2723840 352 18446744073709551615 94345297162240 94345297178753 140720924563312 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94345297193520 94345297195608 94345316286464 140720924572054 140720924572194 140720924572194 140720924577767 0
/proc/82975/statm: 665 352 352 5 0 90 0
[pid=82976] ppid=82975 vsize=4611848 memory=3953480 CPUtime=50.92 cores=5,7
/proc/82976/stat : 82976 (CASHWMaxSAT-Dis) R 82975 82975 81700 0 -1 4194304 281857 0 0 0 4975 117 0 0 20 0 1 0 75245138 4722532352 988370 18446744073709551615 4198400 14093885 140732559706912 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 42262528 140732559714716 140732559714843 140732559714843 140732559720416 0
/proc/82976/statm: 1152962 988370 992 2416 0 1150064 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 4618832 KiB
Current children cumulated memory: 3957960 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/273 83035
/proc/meminfo: memFree=111972832/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 249 103 0 0 0 0 0 0 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=82975] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2195.5 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

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

# cumulated CPU time of all completed processes:  user=2251.06 s, system=2.7251 s

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

[startup+2227.2 s]
/proc/loadavg: 4.20 4.13 4.10 5/270 83249
/proc/meminfo: memFree=120283936/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1025.54 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250516 0 0 0 102507 47 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2220.32 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2240 s]*
/proc/loadavg: 4.16 4.12 4.09 5/270 83250
/proc/meminfo: memFree=120283936/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1038.31 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250516 0 0 0 103783 48 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2233.09 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2252.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120284004/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1051.06 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250516 0 0 0 105057 49 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2245.84 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2256 s]*
/proc/loadavg: 4.12 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120283928/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1054.26 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250516 0 0 0 105376 50 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2249.04 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2259.2 s]
/proc/loadavg: 4.12 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120286888/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1057.45 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250519 0 0 0 105695 50 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2252.23 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2260 s]*
/proc/loadavg: 4.11 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120286888/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1058.25 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250519 0 0 0 105775 50 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2253.03 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2260.4 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120286888/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1058.65 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250519 0 0 0 105815 50 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2253.43 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2260.6 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120286888/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1058.84 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250519 0 0 0 105834 50 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2253.62 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

[startup+2260.7 s]
/proc/loadavg: 4.11 4.12 4.09 5/271 83256
/proc/meminfo: memFree=120286888/131249996 swapFree=33010160/33010684
[pid=82972] ppid=82969 vsize=4324 memory=3072 CPUtime=1194.78 cores=5,7
/proc/82972/stat : 82972 (Hybrid-CASHWMax) S 82969 82972 81700 0 -1 4194304 284 368595 0 0 0 0 119258 220 20 0 1 0 75245136 4427776 768 18446744073709551615 94439427739648 94439428634181 140732772149936 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94439428873232 94439428920976 94439446265856 140732772157783 140732772157937 140732772157937 140732772163539 0
/proc/82972/statm: 1081 768 704 219 0 143 0
[pid=83148] ppid=82972 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/83148/stat : 83148 (timeout) S 82972 83148 81700 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 75364945 2723840 352 18446744073709551615 93923162996736 93923163013249 140734398994064 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93923163028016 93923163030104 93923187073024 140734399003014 140734399003170 140734399003170 140734399008743 0
/proc/83148/statm: 665 352 352 5 0 90 0
[pid=83149] ppid=83148 vsize=808308 memory=781300 CPUtime=1058.94 cores=5,7
/proc/83149/stat : 83149 (ExactPR-S) R 83148 83148 81700 0 -1 4194304 250519 0 0 0 105844 50 0 0 20 0 1 0 75364946 827707392 195325 18446744073709551615 94871640358912 94871649658949 140721590823840 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94871651445056 94871651484136 94871672569856 140721590827422 140721590827559 140721590827559 140721590833132 0
/proc/83149/statm: 202077 195325 3552 2271 0 196715 0
Current children cumulated CPU time: 2253.72 s
Current children cumulated vsize: 815292 KiB
Current children cumulated memory: 785780 KiB

Child status: 0

Real time (s): 2260.77
CPU time (s): 2253.79
CPU user time (s): 2251.06
CPU system time (s): 2.7251
CPU usage (%): 99.6912
Max. virtual memory (cumulated for all children) (KiB): 6844592
Max. memory (cumulated for all children) (KiB): 5730676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2251.06
system time used= 2.7251
maximum resident set size= 5726196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 80
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 852
involuntary context switches= 1662


# summary of solver processes directly reported to runsolver:
#   pid: 82972
#   total CPU time (s): 2253.79
#   total CPU user time (s): 2251.06
#   total CPU system time (s): 2.7251

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68642 second user time and 11.1044 second system time

The end