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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484933-1751301654/watcher-4484933-1751301654 -o /tmp/evaluation-result-4484933-1751301654/solver-4484933-1751301654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751301654-39063 --watchdog 3760 ./Hybrid-CASHWMaxSATDisjCom+ExactPRS HOME/instance-4484933-1751301654.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
solver pid=39120, runsolver pid=39103
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.58 3.18 3.77 6/272 39131
/proc/meminfo: memFree=129820896/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=35752 memory=17152 CPUtime=0.06 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 3642 0 0 0 6 0 0 0 20 0 1 0 45787922 36610048 4288 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 8938 4288 736 2416 0 6040 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 42736 KiB
Current children cumulated memory: 21632 KiB

[startup+0.205604 s]*
/proc/loadavg: 1.58 3.18 3.77 6/272 39131
/proc/meminfo: memFree=129748572/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=55228 memory=36736 CPUtime=0.17 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 8528 0 0 0 16 1 0 0 20 0 1 0 45787922 56553472 9184 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 13807 9184 736 2416 0 10909 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62212 KiB
Current children cumulated memory: 41216 KiB

[startup+0.305868 s]*
/proc/loadavg: 1.58 3.18 3.77 6/272 39131
/proc/meminfo: memFree=129708000/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=74020 memory=55552 CPUtime=0.27 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 13222 0 0 0 25 2 0 0 20 0 1 0 45787922 75796480 13888 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 18505 13888 736 2416 0 15607 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 81004 KiB
Current children cumulated memory: 60032 KiB

[startup+0.700154 s]
/proc/loadavg: 1.58 3.18 3.77 6/272 39131
/proc/meminfo: memFree=129705228/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=73856 memory=59424 CPUtime=0.65 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 14635 0 0 0 63 2 0 0 20 0 1 0 45787922 75628544 14856 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 18464 14856 768 2416 0 15566 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80840 KiB
Current children cumulated memory: 63904 KiB

[startup+1.50015 s]
/proc/loadavg: 1.58 3.18 3.77 6/272 39131
/proc/meminfo: memFree=129705580/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=76920 memory=61728 CPUtime=1.46 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 15200 0 0 0 143 3 0 0 20 0 1 0 45787922 78766080 15432 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 19230 15432 768 2416 0 16332 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 83904 KiB
Current children cumulated memory: 66208 KiB

[startup+3.10542 s]
/proc/loadavg: 1.77 3.19 3.77 6/272 39131
/proc/meminfo: memFree=129682572/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=79640 memory=64416 CPUtime=3.06 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 15869 0 0 0 303 3 0 0 20 0 1 0 45787922 81551360 16104 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 19910 16104 768 2416 0 17012 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 86624 KiB
Current children cumulated memory: 68896 KiB

[startup+6.30016 s]
/proc/loadavg: 1.77 3.19 3.77 7/272 39131
/proc/meminfo: memFree=129658524/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=86948 memory=72348 CPUtime=6.24 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 17312 0 0 0 621 3 0 0 20 0 1 0 45787922 89034752 18087 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 21737 18087 768 2416 0 18839 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 93932 KiB
Current children cumulated memory: 76828 KiB

[startup+12.7002 s]
/proc/loadavg: 1.95 3.20 3.77 7/272 39131
/proc/meminfo: memFree=129637116/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=94104 memory=79008 CPUtime=12.63 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 17963 0 0 0 1259 4 0 0 20 0 1 0 45787922 96362496 19752 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 23526 19752 768 2416 0 20628 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 101088 KiB
Current children cumulated memory: 83488 KiB

[startup+25.5002 s]
/proc/loadavg: 2.41 3.24 3.77 6/272 39132
/proc/meminfo: memFree=129618268/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=98524 memory=84268 CPUtime=25.39 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 18788 0 0 0 2535 4 0 0 20 0 1 0 45787922 100888576 21067 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 24631 21067 768 2416 0 21733 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 105508 KiB
Current children cumulated memory: 88748 KiB

[startup+51.1056 s]
/proc/loadavg: 3.01 3.32 3.79 6/272 39132
/proc/meminfo: memFree=129598244/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39129/stat : 39129 (timeout) S 39120 39129 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45787921 2723840 352 18446744073709551615 94493724962816 94493724979329 140735007425536 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 94493724994096 94493724996184 94493749768192 140735007431062 140735007431202 140735007431202 140735007436775 0
/proc/39129/statm: 665 352 352 5 0 90 0
[pid=39131] ppid=39129 vsize=91452 memory=76464 CPUtime=50.93 cores=5,7
/proc/39131/stat : 39131 (CASHWMaxSAT-Dis) R 39129 39129 39050 0 -1 4194304 19646 0 0 0 5088 5 0 0 20 0 1 0 45787922 93646848 19116 18446744073709551615 4198400 14093885 140727964017296 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 15976432 16051504 36986880 140727964019100 140727964019227 140727964019227 140727964024800 0
/proc/39131/statm: 22863 19116 768 2416 0 19965 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 98436 KiB
Current children cumulated memory: 80944 KiB

[startup+102.3 s]
/proc/loadavg: 3.63 3.44 3.81 6/272 39134
/proc/meminfo: memFree=129585312/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=0 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 248 104 0 0 0 0 0 0 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39129] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7

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

/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=970892 CPUtime=2196.69 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252098 0 0 0 219496 173 0 0 20 0 1 0 45907723 1308143616 242723 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 242723 3488 2271 0 314009 0
Current children cumulated CPU time: 3391.25 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 975372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.14 6/271 39309
/proc/meminfo: memFree=126224148/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=995980 CPUtime=2256.53 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252101 0 0 0 225479 174 0 0 20 0 1 0 45907723 1308143616 248995 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 248995 3488 2271 0 314009 0
Current children cumulated CPU time: 3451.09 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1000460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.14 6/272 39312
/proc/meminfo: memFree=126210516/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1000972 CPUtime=2316.37 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252104 0 0 0 231462 175 0 0 20 0 1 0 45907723 1308143616 250243 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 250243 3488 2271 0 314009 0
Current children cumulated CPU time: 3510.93 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1005452 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.13 6/272 39316
/proc/meminfo: memFree=126194420/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1001740 CPUtime=2376.22 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252148 0 0 0 237446 176 0 0 20 0 1 0 45907723 1308143616 250435 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 250435 3488 2271 0 314009 0
Current children cumulated CPU time: 3570.78 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1006220 KiB

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

# cumulated CPU time of all completed processes:  user=3582.67 s, system=1.90924 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.13 4.13 6/272 39316
/proc/meminfo: memFree=126194452/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1001740 CPUtime=2377.92 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252148 0 0 0 237616 176 0 0 20 0 1 0 45907723 1308143616 250435 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 250435 3488 2271 0 314009 0
Current children cumulated CPU time: 3572.48 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1006220 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.13 4.13 6/272 39317
/proc/meminfo: memFree=126188560/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1007628 CPUtime=2384.3 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252201 0 0 0 238254 176 0 0 20 0 1 0 45907723 1308143616 251907 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 251907 3488 2271 0 314009 0
Current children cumulated CPU time: 3578.86 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1012108 KiB

[startup+3593.6 s]
/proc/loadavg: 4.10 4.13 4.13 6/272 39317
/proc/meminfo: memFree=126188560/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1009680 CPUtime=2387.49 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252211 0 0 0 238573 176 0 0 20 0 1 0 45907723 1308143616 252420 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 252420 3488 2271 0 314009 0
Current children cumulated CPU time: 3582.05 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1014160 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.13 4.13 6/272 39317
/proc/meminfo: memFree=126196884/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1009680 CPUtime=2389.08 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252211 0 0 0 238732 176 0 0 20 0 1 0 45907723 1308143616 252420 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 252420 3488 2271 0 314009 0
Current children cumulated CPU time: 3583.64 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1014160 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.13 4.13 6/272 39317
/proc/meminfo: memFree=126196884/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=1194.56 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 282 25978 0 0 0 0 119447 9 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
[pid=39192] ppid=39120 vsize=2660 memory=1408 CPUtime=0 cores=5,7
/proc/39192/stat : 39192 (timeout) S 39120 39192 39050 0 -1 4194304 110 0 0 0 0 0 0 0 20 0 1 0 45907722 2723840 352 18446744073709551615 93877138026496 93877138043009 140729202336640 0 0 0 0 3145728 90119 1 0 0 17 7 0 0 0 0 0 93877138057776 93877138059864 93877148852224 140729202338182 140729202338338 140729202338338 140729202343911 0
/proc/39192/statm: 665 352 352 5 0 90 0
[pid=39194] ppid=39192 vsize=1277484 memory=1009680 CPUtime=2389.89 cores=5,7
/proc/39194/stat : 39194 (ExactPR-S) R 39192 39192 39050 0 -1 4194304 252211 0 0 0 238813 176 0 0 20 0 1 0 45907723 1308143616 252420 18446744073709551615 94576932667392 94576941967429 140729007889040 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 94576943753536 94576943792616 94576956088320 140729007896990 140729007897127 140729007897127 140729007902700 0
/proc/39194/statm: 319371 252420 3488 2271 0 314009 0
Current children cumulated CPU time: 3584.45 s
Current children cumulated vsize: 1284468 KiB
Current children cumulated memory: 1014160 KiB

[startup+3596.2 s]
/proc/loadavg: 4.09 4.13 4.13 6/272 39317
/proc/meminfo: memFree=126196884/131250000 swapFree=33010684/33010684
[pid=39120] ppid=39103 vsize=4324 memory=3072 CPUtime=3584.55 cores=5,7
/proc/39120/stat : 39120 (Hybrid-CASHWMax) S 39103 39120 39050 0 -1 4194304 430 280602 0 0 0 0 358266 189 20 0 1 0 45787919 4427776 768 18446744073709551615 94639836033024 94639836927557 140726256853216 0 0 0 2 4 65536 1 0 0 17 5 0 0 0 0 0 94639837166608 94639837214352 94639865274368 140726256855383 140726256855537 140726256855537 140726256861139 0
/proc/39120/statm: 1081 768 704 219 0 143 0
Current children cumulated CPU time: 3584.55 s
Current children cumulated vsize: 4324 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 3596.23
CPU time (s): 3584.58
CPU user time (s): 3582.67
CPU system time (s): 1.90924
CPU usage (%): 99.6759
Max. virtual memory (cumulated for all children) (KiB): 1639108
Max. memory (cumulated for all children) (KiB): 1156692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.67
system time used= 1.90924
maximum resident set size= 1152852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281726
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3342
involuntary context switches= 1665


# summary of solver processes directly reported to runsolver:
#   pid: 39120
#   total CPU time (s): 3584.58
#   total CPU user time (s): 3582.67
#   total CPU system time (s): 1.90924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.63322 second user time and 15.4396 second system time

The end