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: 63968 MiB (60862 MiB free)
  memory of node 1: 64473 MiB (60264 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4438254-1722959990/watcher-4438254-1722959990 -o /tmp/evaluation-result-4438254-1722959990/solver-4438254-1722959990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722959628-344918 --watchdog 3760 --use-pty ./Hybrid-CASHWMaxSATDisjComS+Exact HOME/instance-4438254-1722959990.opb 3600 HOME 31000 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=345815, runsolver pid=345812
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 4.13 3.32 3.13 5/268 345819
/proc/meminfo: memFree=124014800/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=38988 memory=20508 CPUtime=0.09 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 4468 0 0 0 9 0 0 0 20 0 1 0 62603281 39923712 5127 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 9747 5127 750 2417 0 6849 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57580 KiB
Current children cumulated memory: 24236 KiB

[startup+0.20595 s]*
/proc/loadavg: 4.13 3.32 3.13 5/268 345819
/proc/meminfo: memFree=124001500/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=51964 memory=33320 CPUtime=0.2 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 7705 0 0 0 19 1 0 0 20 0 1 0 62603281 53211136 8330 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 12991 8330 750 2417 0 10093 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 70556 KiB
Current children cumulated memory: 37048 KiB

[startup+0.305889 s]*
/proc/loadavg: 4.13 3.32 3.13 6/268 345819
/proc/meminfo: memFree=123989256/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=63888 memory=45384 CPUtime=0.3 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 10694 0 0 0 29 1 0 0 20 0 1 0 62603281 65421312 11346 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 15972 11346 750 2417 0 13074 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 82480 KiB
Current children cumulated memory: 49112 KiB

[startup+0.700294 s]
/proc/loadavg: 4.13 3.32 3.13 5/268 345819
/proc/meminfo: memFree=123965228/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=109680 memory=89648 CPUtime=0.68 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 21775 0 0 0 66 2 0 0 20 0 1 0 62603281 112312320 22412 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 27420 22412 782 2417 0 24522 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128272 KiB
Current children cumulated memory: 93376 KiB

[startup+1.5003 s]
/proc/loadavg: 4.13 3.32 3.13 5/268 345819
/proc/meminfo: memFree=123900056/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=242860 memory=206816 CPUtime=1.48 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 33216 0 0 0 142 6 0 0 20 0 1 0 62603281 248688640 51704 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 60715 51704 782 2417 0 57817 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 261452 KiB
Current children cumulated memory: 210544 KiB

[startup+3.10587 s]
/proc/loadavg: 4.12 3.33 3.13 5/268 345821
/proc/meminfo: memFree=123537548/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=534764 memory=492420 CPUtime=3.09 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 98727 0 0 0 290 19 0 0 20 0 1 0 62603281 547598336 123105 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 133691 123105 2366 2417 0 130793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 553356 KiB
Current children cumulated memory: 496148 KiB

[startup+6.30029 s]
/proc/loadavg: 4.12 3.33 3.13 5/266 345821
/proc/meminfo: memFree=123530640/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=534764 memory=492420 CPUtime=6.27 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 98743 0 0 0 608 19 0 0 20 0 1 0 62603281 547598336 123105 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 133691 123105 2366 2417 0 130793 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 553356 KiB
Current children cumulated memory: 496148 KiB

[startup+12.7003 s]
/proc/loadavg: 4.11 3.34 3.14 5/267 345825
/proc/meminfo: memFree=122954164/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=1055468 memory=957536 CPUtime=12.64 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 136919 0 0 0 1234 30 0 0 20 0 1 0 62603281 1080799232 239384 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 263867 239384 2494 2417 0 260969 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1074060 KiB
Current children cumulated memory: 961264 KiB

[startup+25.5003 s]
/proc/loadavg: 4.09 3.38 3.15 5/267 345827
/proc/meminfo: memFree=122781876/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=1056096 memory=958340 CPUtime=25.39 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 137103 0 0 0 2509 30 0 0 20 0 1 0 62603281 1081442304 239585 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 264024 239585 2526 2417 0 261126 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1074688 KiB
Current children cumulated memory: 962068 KiB

[startup+51.1059 s]
/proc/loadavg: 4.13 3.45 3.18 5/266 345830
/proc/meminfo: memFree=123745436/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0
[pid=345818] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/345818/stat : 345818 (timeout) S 345815 345818 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62603281 8867840 254 134679101440 93886248468480 93886248503496 140724199042880 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93886250600912 93886250603044 93886265069568 140724199048204 140724199048349 140724199048349 140724199055335 0
/proc/345818/statm: 2165 254 229 9 0 87 0
[pid=345819] ppid=345818 vsize=1062248 memory=964460 CPUtime=50.89 cores=0,2
/proc/345819/stat : 345819 (CASHWMaxSAT-Dis) R 345818 345818 344908 0 -1 4194304 138145 0 0 0 5059 30 0 0 20 0 1 0 62603281 1087741952 241115 134679101440 4194304 14093885 140730152601904 0 0 0 0 0 8408098 0 0 0 17 0 0 0 0 0 0 15976432 16051504 40349696 140730152608786 140730152608918 140730152608918 140730152615904 0
/proc/345819/statm: 265562 241115 2526 2417 0 262664 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1080840 KiB
Current children cumulated memory: 968188 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 3.53 3.23 5/266 345851
/proc/meminfo: memFree=123134492/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2712 CPUtime=0 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 242 102 0 0 0 0 0 0 20 0 1 0 62603281 10170368 678 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 678 599 264 0 134 0

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

/proc/346787/statm: 31817 30449 748 737 0 30905 0
Current children cumulated CPU time: 3389.73 s
Current children cumulated vsize: 145860 KiB
Current children cumulated memory: 125580 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/266 347674
/proc/meminfo: memFree=128017184/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127436 memory=122200 CPUtime=1658 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 18998 0 0 0 165794 6 0 0 20 0 1 0 62783082 130494464 30550 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31859 30550 748 737 0 30947 0
Current children cumulated CPU time: 3449.55 s
Current children cumulated vsize: 146028 KiB
Current children cumulated memory: 125984 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/266 347853
/proc/meminfo: memFree=127990940/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122352 CPUtime=1717.81 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19094 0 0 0 171775 6 0 0 20 0 1 0 62783082 130666496 30588 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30588 748 737 0 30989 0
Current children cumulated CPU time: 3509.36 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126136 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/265 347863
/proc/meminfo: memFree=127980440/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1777.63 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 177757 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3569.18 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

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

# cumulated CPU time of all completed processes:  user=3582.36 s, system=0.530443 s

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

[startup+3584 s]*
/proc/loadavg: 4.16 4.17 4.12 5/265 347863
/proc/meminfo: memFree=127980268/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1779.33 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 177927 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3570.88 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

[startup+3590.4 s]
/proc/loadavg: 4.15 4.17 4.12 5/265 347863
/proc/meminfo: memFree=127978708/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1785.7 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 178564 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3577.25 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

[startup+3593.6 s]
/proc/loadavg: 4.15 4.17 4.12 5/265 347865
/proc/meminfo: memFree=127978580/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1788.89 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 178883 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3580.44 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

[startup+3595.2 s]
/proc/loadavg: 4.14 4.16 4.12 5/265 347865
/proc/meminfo: memFree=127978524/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1790.49 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 179043 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3582.04 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

[startup+3595.6 s]
/proc/loadavg: 4.14 4.16 4.12 5/265 347865
/proc/meminfo: memFree=127978524/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1790.89 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 179083 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3582.44 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

[startup+3596 s]*
/proc/loadavg: 4.14 4.16 4.12 5/265 347865
/proc/meminfo: memFree=127974764/131524600 swapFree=131071996/131071996
[pid=345815] ppid=345812 vsize=9932 memory=2768 CPUtime=1791.55 cores=0,2
/proc/345815/stat : 345815 (Hybrid-CASHWMax) S 345812 345815 344908 0 -1 4194304 274 146175 0 0 0 0 179109 46 20 0 1 0 62603281 10170368 692 134679101440 93965314637824 93965315717144 140726894214336 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93965317815600 93965317862788 93965326344192 140726894216144 140726894216302 140726894216302 140726894223317 0
/proc/345815/statm: 2483 692 599 264 0 134 0
[pid=346786] ppid=345815 vsize=8660 memory=1016 CPUtime=0 cores=0,2
/proc/346786/stat : 346786 (timeout) S 345815 346786 344908 0 -1 4194304 106 0 0 0 0 0 0 0 20 0 1 0 62783082 8867840 254 134679101440 93887800356864 93887800391880 140732776659264 0 0 0 0 3145728 90119 0 0 0 17 2 0 0 0 0 0 93887802489296 93887802491428 93887820439552 140732776666100 140732776666269 140732776666269 140732776673255 0
/proc/346786/statm: 2165 254 230 9 0 87 0
[pid=346787] ppid=346786 vsize=127604 memory=122384 CPUtime=1791.29 cores=0,2
/proc/346787/stat : 346787 (Exact) R 346786 346786 344908 0 -1 4194304 19144 0 0 0 179123 6 0 0 20 0 1 0 62783082 130666496 30596 134679101440 4194304 7210733 140727757262048 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7850304 7914896 15437824 140727757263888 140727757264038 140727757264038 140727757271024 0
/proc/346787/statm: 31901 30596 748 737 0 30989 0
Current children cumulated CPU time: 3582.84 s
Current children cumulated vsize: 146196 KiB
Current children cumulated memory: 126168 KiB

Child status: 0

Real time (s): 3596.03
CPU time (s): 3582.89
CPU user time (s): 3582.36
CPU system time (s): 0.530443
CPU usage (%): 99.6345
Max. virtual memory (cumulated for all children) (KiB): 1297324
Max. memory (cumulated for all children) (KiB): 1046228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.36
system time used= 0.530443
maximum resident set size= 1042500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167156
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125
involuntary context switches= 25071


# summary of solver processes directly reported to runsolver:
#   pid: 345815
#   total CPU time (s): 3582.89
#   total CPU user time (s): 3582.36
#   total CPU system time (s): 0.530443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45342 second user time and 19.4507 second system time

The end