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: 64096 MiB (53015 MiB free)
  memory of node 1: 64473 MiB (62422 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4437877-1722962564/watcher-4437877-1722962564 -o /tmp/evaluation-result-4437877-1722962564/solver-4437877-1722962564 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722958965-338679 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjCadSP+Exact HOME/instance-4437877-1722962564.opb 3600 HOME 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=340933, runsolver pid=340930

[startup+0.100125 s]*
/proc/loadavg: 4.20 4.17 4.15 5/253 340937
/proc/meminfo: memFree=118201000/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=30476 memory=22108 CPUtime=0.09 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 3473 0 0 0 9 0 0 0 20 0 1 0 62627819 31207424 5527 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 7619 5527 2538 2726 0 4367 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49068 KiB
Current children cumulated memory: 25764 KiB

[startup+0.213978 s]*
/proc/loadavg: 4.20 4.17 4.15 6/253 340937
/proc/meminfo: memFree=118186096/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=40564 memory=31572 CPUtime=0.21 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 5781 0 0 0 20 1 0 0 20 0 1 0 62627819 41537536 7893 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 10141 7893 2698 2726 0 6889 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 59156 KiB
Current children cumulated memory: 35228 KiB

[startup+0.313813 s]*
/proc/loadavg: 4.20 4.17 4.15 5/253 340939
/proc/meminfo: memFree=118182856/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=43608 memory=34636 CPUtime=0.3 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 6518 0 0 0 29 1 0 0 20 0 1 0 62627819 44654592 8659 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 10902 8659 2746 2726 0 7650 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 62200 KiB
Current children cumulated memory: 38292 KiB

[startup+0.700499 s]
/proc/loadavg: 4.20 4.17 4.15 5/253 340939
/proc/meminfo: memFree=118182016/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=44180 memory=35480 CPUtime=0.68 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 6659 0 0 0 67 1 0 0 20 0 1 0 62627819 45240320 8870 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 11045 8870 2762 2726 0 7793 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62772 KiB
Current children cumulated memory: 39136 KiB

[startup+1.50049 s]
/proc/loadavg: 4.20 4.17 4.15 5/253 340939
/proc/meminfo: memFree=118178456/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=48828 memory=39392 CPUtime=1.47 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 7656 0 0 0 146 1 0 0 20 0 1 0 62627819 49999872 9848 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 12207 9848 2762 2726 0 8955 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 67420 KiB
Current children cumulated memory: 43048 KiB

[startup+3.11354 s]
/proc/loadavg: 4.19 4.17 4.14 5/253 340941
/proc/meminfo: memFree=118165384/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=67696 memory=57080 CPUtime=3.08 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 12121 0 0 0 306 2 0 0 20 0 1 0 62627819 69320704 14270 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 16924 14270 2762 2726 0 13672 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 86288 KiB
Current children cumulated memory: 60736 KiB

[startup+6.30047 s]
/proc/loadavg: 4.19 4.17 4.14 5/253 340941
/proc/meminfo: memFree=118122516/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=109672 memory=96944 CPUtime=6.25 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 22036 0 0 0 622 3 0 0 20 0 1 0 62627819 112304128 24236 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 27418 24236 2762 2726 0 24166 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128264 KiB
Current children cumulated memory: 100600 KiB

[startup+12.7005 s]
/proc/loadavg: 4.17 4.17 4.14 5/253 340942
/proc/meminfo: memFree=118102256/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=130616 memory=114292 CPUtime=12.64 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 27561 0 0 0 1260 4 0 0 20 0 1 0 62627819 133750784 28573 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 32654 28573 2762 2726 0 29402 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 149208 KiB
Current children cumulated memory: 117948 KiB

[startup+25.5005 s]
/proc/loadavg: 4.13 4.16 4.14 5/253 340944
/proc/meminfo: memFree=118096780/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=138884 memory=122208 CPUtime=25.41 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 29490 0 0 0 2536 5 0 0 20 0 1 0 62627819 142217216 30552 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 34721 30552 2762 2726 0 31469 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 157476 KiB
Current children cumulated memory: 125864 KiB

[startup+51.1136 s]
/proc/loadavg: 4.16 4.16 4.14 5/253 340949
/proc/meminfo: memFree=118053468/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 670 592 264 0 134 0
[pid=340936] ppid=340933 vsize=8660 memory=976 CPUtime=0 cores=1,3
/proc/340936/stat : 340936 (timeout) S 340933 340936 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62627819 8867840 244 134679101440 93851785007104 93851785042120 140726978454304 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93851787139536 93851787141668 93851796971520 140726978462718 140726978462877 140726978462877 140726978469863 0
/proc/340936/statm: 2165 244 220 9 0 87 0
[pid=340937] ppid=340936 vsize=182800 memory=162448 CPUtime=50.94 cores=1,3
/proc/340937/stat : 340937 (CASHWMaxSAT-Dis) R 340936 340936 338667 0 -1 4194304 39797 0 0 0 5087 7 0 0 20 0 1 0 62627819 187187200 40612 134679101440 4194304 15356333 140736062823072 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 17424944 17514448 42016768 140736062829571 140736062829717 140736062829717 140736062836703 0
/proc/340937/statm: 45700 40612 2762 2726 0 42448 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 201392 KiB
Current children cumulated memory: 166104 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/253 340959
/proc/meminfo: memFree=118300804/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2680 CPUtime=0 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 246 101 0 0 0 0 0 0 20 0 1 0 62627818 10170368 670 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0

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

/proc/341848/statm: 52566 48404 820 745 0 51631 0
Current children cumulated CPU time: 3393.08 s
Current children cumulated vsize: 228856 KiB
Current children cumulated memory: 197384 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.19 5/250 343280
/proc/meminfo: memFree=116261884/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=211032 memory=194376 CPUtime=1659.59 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29154 0 0 0 165947 12 0 0 20 0 1 0 62807620 216096768 48594 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 52758 48594 820 745 0 51823 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 229624 KiB
Current children cumulated memory: 198144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.18 5/250 343290
/proc/meminfo: memFree=116255584/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=211736 memory=195164 CPUtime=1719.39 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29400 0 0 0 171927 12 0 0 20 0 1 0 62807620 216817664 48791 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 52934 48791 820 745 0 51999 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 230328 KiB
Current children cumulated memory: 198932 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.14 4.18 5/250 343301
/proc/meminfo: memFree=116015088/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212248 memory=195844 CPUtime=1779.19 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29597 0 0 0 177907 12 0 0 20 0 1 0 62807620 217341952 48961 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53062 48961 820 745 0 52127 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 230840 KiB
Current children cumulated memory: 199612 KiB

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

# cumulated CPU time of all completed processes:  user=3585.8 s, system=0.412458 s

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

[startup+3584 s]*
/proc/loadavg: 4.14 4.14 4.18 5/250 343301
/proc/meminfo: memFree=116015088/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212248 memory=195844 CPUtime=1780.9 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29600 0 0 0 178078 12 0 0 20 0 1 0 62807620 217341952 48961 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53062 48961 820 745 0 52127 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 230840 KiB
Current children cumulated memory: 199612 KiB

[startup+3590.4 s]
/proc/loadavg: 4.12 4.14 4.18 5/250 343301
/proc/meminfo: memFree=116012284/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212444 memory=195916 CPUtime=1787.26 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29659 0 0 0 178714 12 0 0 20 0 1 0 62807620 217542656 48979 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53111 48979 820 745 0 52176 0
Current children cumulated CPU time: 3580.56 s
Current children cumulated vsize: 231036 KiB
Current children cumulated memory: 199684 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.14 4.18 5/250 343302
/proc/meminfo: memFree=116012200/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212444 memory=195916 CPUtime=1790.45 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29659 0 0 0 179033 12 0 0 20 0 1 0 62807620 217542656 48979 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53111 48979 820 745 0 52176 0
Current children cumulated CPU time: 3583.75 s
Current children cumulated vsize: 231036 KiB
Current children cumulated memory: 199684 KiB

[startup+3595.2 s]
/proc/loadavg: 4.11 4.14 4.18 5/250 343302
/proc/meminfo: memFree=116012228/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212444 memory=195916 CPUtime=1792.05 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29659 0 0 0 179193 12 0 0 20 0 1 0 62807620 217542656 48979 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53111 48979 820 745 0 52176 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 231036 KiB
Current children cumulated memory: 199684 KiB

[startup+3595.6 s]
/proc/loadavg: 4.11 4.14 4.18 5/250 343302
/proc/meminfo: memFree=116012228/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212444 memory=195916 CPUtime=1792.45 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29659 0 0 0 179233 12 0 0 20 0 1 0 62807620 217542656 48979 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53111 48979 820 745 0 52176 0
Current children cumulated CPU time: 3585.75 s
Current children cumulated vsize: 231036 KiB
Current children cumulated memory: 199684 KiB

[startup+3596 s]*
/proc/loadavg: 4.11 4.14 4.18 5/250 343303
/proc/meminfo: memFree=116012108/131655788 swapFree=131071216/131071996
[pid=340933] ppid=340930 vsize=9932 memory=2736 CPUtime=1793.3 cores=1,3
/proc/340933/stat : 340933 (Hybrid-CASHWMax) S 340930 340933 338667 0 -1 4194304 277 107738 0 0 0 0 179304 26 20 0 1 0 62627818 10170368 684 134679101440 94054123495424 94054124574744 140734880148256 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 94054126673200 94054126720388 94054146895872 140734880154574 140734880154733 140734880154733 140734880161748 0
/proc/340933/statm: 2483 684 592 264 0 134 0
[pid=341847] ppid=340933 vsize=8660 memory=1032 CPUtime=0 cores=1,3
/proc/341847/stat : 341847 (timeout) S 340933 341847 338667 0 -1 4194304 108 0 0 0 0 0 0 0 20 0 1 0 62807619 8867840 258 134679101440 93962217394176 93962217429192 140723615628816 0 0 0 0 3145728 90119 0 0 0 17 1 0 0 0 0 0 93962219526608 93962219528740 93962238750720 140723615634420 140723615634589 140723615634589 140723615641575 0
/proc/341847/statm: 2165 258 233 9 0 87 0
[pid=341848] ppid=341847 vsize=212444 memory=195916 CPUtime=1792.86 cores=1,3
/proc/341848/stat : 341848 (Exact) R 341847 341847 338667 0 -1 4194304 29659 0 0 0 179274 12 0 0 20 0 1 0 62807620 217542656 48979 134679101440 4194304 7243121 140727417753648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7942632 8006904 39641088 140727417758736 140727417758886 140727417758886 140727417765872 0
/proc/341848/statm: 53111 48979 820 745 0 52176 0
Current children cumulated CPU time: 3586.16 s
Current children cumulated vsize: 231036 KiB
Current children cumulated memory: 199684 KiB

Child status: 0

Real time (s): 3596.04
CPU time (s): 3586.21
CPU user time (s): 3585.8
CPU system time (s): 0.412458
CPU usage (%): 99.7268
Max. virtual memory (cumulated for all children) (KiB): 421508
Max. memory (cumulated for all children) (KiB): 396692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.8
system time used= 0.412458
maximum resident set size= 393036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 2213


# summary of solver processes directly reported to runsolver:
#   pid: 340933
#   total CPU time (s): 3586.21
#   total CPU user time (s): 3585.8
#   total CPU system time (s): 0.412458

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.4389 second user time and 38.9478 second system time

The end