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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490868-1751381582/watcher-4490868-1751381582 -o /tmp/evaluation-result-4490868-1751381582/solver-4490868-1751381582 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751374386-51811 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS9 HOME/instance-4490868-1751381582.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=52804, runsolver pid=52800

[startup+0.100059 s]*
/proc/loadavg: 4.10 4.14 4.11 5/272 52815
/proc/meminfo: memFree=128184780/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=29380 memory=10880 CPUtime=0.06 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 2065 0 0 0 6 0 0 0 20 0 1 0 53836643 30085120 2720 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 7345 2720 736 2416 0 4447 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 36364 KiB
Current children cumulated memory: 15360 KiB

[startup+0.205827 s]*
/proc/loadavg: 4.10 4.14 4.11 5/272 52815
/proc/meminfo: memFree=128181252/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=40088 memory=21632 CPUtime=0.17 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 4754 0 0 0 17 0 0 0 20 0 1 0 53836643 41050112 5408 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 10022 5408 736 2416 0 7124 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 47072 KiB
Current children cumulated memory: 26112 KiB

[startup+0.305632 s]*
/proc/loadavg: 4.10 4.14 4.11 5/272 52815
/proc/meminfo: memFree=128167140/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=50924 memory=32036 CPUtime=0.27 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 7783 0 0 0 26 1 0 0 20 0 1 0 53836643 52146176 8009 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 12731 8009 768 2416 0 9833 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 57908 KiB
Current children cumulated memory: 36516 KiB

[startup+0.700232 s]
/proc/loadavg: 4.10 4.14 4.11 5/272 52815
/proc/meminfo: memFree=128141176/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=122084 memory=96472 CPUtime=0.66 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 16500 0 0 0 63 3 0 0 20 0 1 0 53836643 125014016 24118 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 30521 24118 768 2416 0 27623 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 129068 KiB
Current children cumulated memory: 100952 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.14 4.11 5/272 52815
/proc/meminfo: memFree=128028016/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=254128 memory=227264 CPUtime=1.45 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 34081 0 0 0 138 7 0 0 20 0 1 0 53836643 260227072 56816 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 63532 56816 768 2416 0 60634 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 261112 KiB
Current children cumulated memory: 231744 KiB

[startup+3.1058 s]
/proc/loadavg: 4.10 4.13 4.11 5/272 52815
/proc/meminfo: memFree=127946996/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=288744 memory=253372 CPUtime=3.06 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 36878 0 0 0 297 9 0 0 20 0 1 0 53836643 295673856 63343 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 72186 63343 768 2416 0 69288 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 295728 KiB
Current children cumulated memory: 257852 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.13 4.11 5/272 52815
/proc/meminfo: memFree=127918348/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=300248 memory=268652 CPUtime=6.24 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 37360 0 0 0 614 10 0 0 20 0 1 0 53836643 307453952 67163 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 75062 67163 768 2416 0 72164 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 307232 KiB
Current children cumulated memory: 273132 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.13 4.10 5/272 52815
/proc/meminfo: memFree=127918356/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=300248 memory=268780 CPUtime=12.62 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 37396 0 0 0 1252 10 0 0 20 0 1 0 53836643 307453952 67195 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 75062 67195 800 2416 0 72164 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 307232 KiB
Current children cumulated memory: 273260 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.11 5/272 52815
/proc/meminfo: memFree=127910172/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=300248 memory=270880 CPUtime=25.39 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 37432 0 0 0 2529 10 0 0 20 0 1 0 53836643 307453952 67720 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 75062 67720 800 2416 0 72164 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 307232 KiB
Current children cumulated memory: 275360 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.13 4.10 5/271 52815
/proc/meminfo: memFree=127906076/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/52811/stat : 52811 (timeout) S 52804 52811 51796 0 -1 4194304 107 0 0 0 0 0 0 0 20 0 1 0 53836642 2723840 352 18446744073709551615 94154357501952 94154357518465 140732430637600 0 0 0 0 3145728 90119 1 0 0 17 5 0 0 0 0 0 94154357533232 94154357535320 94154384162816 140732430641560 140732430641698 140732430641698 140732430647271 0
/proc/52811/statm: 665 352 352 5 0 90 0
[pid=52813] ppid=52811 vsize=300248 memory=272948 CPUtime=50.93 cores=5,7
/proc/52813/stat : 52813 (CASHWMaxSAT-Dis) R 52811 52811 51796 0 -1 4194304 37478 0 0 0 5083 10 0 0 20 0 1 0 53836643 307453952 68237 18446744073709551615 4198400 14093885 140722379610128 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 24510464 140722379618717 140722379618843 140722379618843 140722379624416 0
/proc/52813/statm: 75062 68237 800 2416 0 72164 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 307232 KiB
Current children cumulated memory: 277428 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/271 52817
/proc/meminfo: memFree=127926716/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 251 103 0 0 0 0 0 0 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=52811] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2556.66 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 254926 740 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3453.3 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.21 4.14 6/272 53529
/proc/meminfo: memFree=127302644/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2616.52 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 260909 743 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.18 4.13 5/271 53531
/proc/meminfo: memFree=127341568/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2676.38 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 266893 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

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

# cumulated CPU time of all completed processes:  user=3579.11 s, system=7.67012 s

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

[startup+3584 s]*
/proc/loadavg: 4.10 4.18 4.13 5/271 53531
/proc/meminfo: memFree=127341576/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2678.08 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 267063 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3574.72 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3590.4 s]
/proc/loadavg: 4.17 4.19 4.14 5/271 53531
/proc/meminfo: memFree=127341828/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2684.46 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 267701 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3581.1 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 53531
/proc/meminfo: memFree=127341892/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2687.65 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 268020 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3584.29 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3595.2 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 53531
/proc/meminfo: memFree=127341892/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2689.25 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 268180 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3585.89 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3595.6 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 53531
/proc/meminfo: memFree=127341892/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2689.65 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 268220 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3586.29 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3596 s]*
/proc/loadavg: 4.15 4.19 4.13 5/271 53531
/proc/meminfo: memFree=127341892/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=896.64 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 286 41795 0 0 0 0 89646 18 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
[pid=53023] ppid=52804 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/53023/stat : 53023 (timeout) S 52804 53023 51796 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 53926543 2723840 352 18446744073709551615 94598857736192 94598857752705 140737106588368 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94598857767472 94598857769560 94598862356480 140737106590085 140737106590242 140737106590242 140737106595815 0
/proc/53023/statm: 665 352 352 5 0 90 0
[pid=53024] ppid=53023 vsize=711556 memory=684592 CPUtime=2690.05 cores=5,7
/proc/53024/stat : 53024 (ExactPR-S9) R 53023 53023 51796 0 -1 4194304 192668 0 0 0 268260 745 0 0 20 0 1 0 53926544 728633344 171148 18446744073709551615 94070145134592 94070154434693 140723472606832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94070156220736 94070156259816 94070195032064 140723472611740 140723472611878 140723472611878 140723472617451 0
/proc/53024/statm: 177889 171148 3520 2271 0 172527 0
Current children cumulated CPU time: 3586.69 s
Current children cumulated vsize: 718540 KiB
Current children cumulated memory: 689072 KiB

[startup+3596.11 s]
/proc/loadavg: 4.15 4.19 4.13 5/271 53531
/proc/meminfo: memFree=127341892/131249996 swapFree=33010160/33010684
[pid=52804] ppid=52800 vsize=4324 memory=3072 CPUtime=3586.76 cores=5,7
/proc/52804/stat : 52804 (Hybrid-CASHWMax) S 52800 52804 51796 0 -1 4194304 445 235889 0 0 0 0 357910 766 20 0 1 0 53836640 4427776 768 18446744073709551615 94554141044736 94554141939269 140732147759968 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94554142178320 94554142226064 94554163507200 140732147767637 140732147767792 140732147767792 140732147773394 0
/proc/52804/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3586.76 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.11
CPU time (s): 3586.78
CPU user time (s): 3579.11
CPU system time (s): 7.67012
CPU usage (%): 99.7406
Max. virtual memory (cumulated for all children) (KiB): 805532
Max. memory (cumulated for all children) (KiB): 761940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.11
system time used= 7.67012
maximum resident set size= 757460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236447
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1341
involuntary context switches= 2420


# summary of solver processes directly reported to runsolver:
#   pid: 52804
#   total CPU time (s): 3586.78
#   total CPU user time (s): 3579.11
#   total CPU system time (s): 7.67012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.89036 second user time and 17.5355 second system time

The end