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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523627-1751595149/watcher-4523627-1751595149 -o /tmp/evaluation-result-4523627-1751595149/solver-4523627-1751595149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751593221-83417 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1038867779 --ls=360 --inp-dombreaklim=0 HOME/instance-4523627-1751595149.opb 

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=83809, runsolver pid=83806

[startup+0.100064 s]*
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108068640/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=45816 memory=25000 CPUtime=0.09 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 4854 0 0 0 9 0 0 0 20 0 1 0 75193544 46915584 6250 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 11454 6250 1024 1200 0 9934 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 45816 KiB
Current children cumulated memory: 25000 KiB

[startup+0.205614 s]*
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052512/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=61400 memory=42684 CPUtime=0.19 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 8763 0 0 0 18 1 0 0 20 0 1 0 75193544 62873600 10671 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 15350 10671 1024 1200 0 13830 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61400 KiB
Current children cumulated memory: 42684 KiB

[startup+0.305592 s]*
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052512/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=0.29 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 28 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+0.700171 s]
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052512/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=0.68 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 67 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+1.50016 s]
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052512/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=1.47 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 146 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+3.10555 s]
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052512/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=3.08 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 307 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+6.30015 s]
/proc/loadavg: 4.04 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052760/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=6.26 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 625 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.10 4.01 5/265 83810
/proc/meminfo: memFree=108052768/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=12.64 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 1263 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.01 5/265 83810
/proc/meminfo: memFree=108052848/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=25.4 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 2539 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+51.1055 s]
/proc/loadavg: 4.06 4.09 4.00 5/265 83810
/proc/meminfo: memFree=108052856/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=50.94 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 5093 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.19 4.05 5/265 83815
/proc/meminfo: memFree=108052992/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=101.98 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 10197 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.17 4.05 5/266 83818
/proc/meminfo: memFree=108020392/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=161.81 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 16180 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.05 5/265 83820
/proc/meminfo: memFree=107986312/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=221.64 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 22163 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.15 4.05 5/264 83822
/proc/meminfo: memFree=107947336/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=281.47 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 28146 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.14 4.05 5/264 83824
/proc/meminfo: memFree=107935640/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=65892 memory=47164 CPUtime=341.3 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 9869 0 0 0 34129 1 0 0 20 0 1 0 75193544 67473408 11791 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 16473 11791 1024 1200 0 14953 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 47164 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.13 4.05 5/264 83826
/proc/meminfo: memFree=107720676/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=216836 memory=175920 CPUtime=401.14 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 29622 0 0 0 40106 8 0 0 20 0 1 0 75193544 222040064 43980 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 54209 43980 1248 1200 0 52689 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 175920 KiB

[startup+454.76 s]
# the end of solver process 83809 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=453.355 s, system=0.114659 s

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

[startup+409.6 s]
/proc/loadavg: 4.07 4.12 4.05 5/264 83826
/proc/meminfo: memFree=107717960/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=216836 memory=175920 CPUtime=408.42 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 29633 0 0 0 40834 8 0 0 20 0 1 0 75193544 222040064 43980 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 54209 43980 1248 1200 0 52689 0
Current children cumulated CPU time: 408.42 s
Current children cumulated vsize: 216836 KiB
Current children cumulated memory: 175920 KiB

[startup+435.2 s]
/proc/loadavg: 4.05 4.11 4.05 5/263 83829
/proc/meminfo: memFree=107703256/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189728 CPUtime=433.95 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32138 0 0 0 43385 10 0 0 20 0 1 0 75193544 236171264 47432 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47432 1248 1200 0 56139 0
Current children cumulated CPU time: 433.95 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189728 KiB

[startup+448 s]*
/proc/loadavg: 4.11 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107698988/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189728 CPUtime=446.72 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32145 0 0 0 44662 10 0 0 20 0 1 0 75193544 236171264 47432 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47432 1248 1200 0 56139 0
Current children cumulated CPU time: 446.72 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189728 KiB

[startup+451.2 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107699004/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189728 CPUtime=449.91 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32145 0 0 0 44981 10 0 0 20 0 1 0 75193544 236171264 47432 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47432 1248 1200 0 56139 0
Current children cumulated CPU time: 449.91 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189728 KiB

[startup+452.8 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107699004/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189856 CPUtime=451.5 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32149 0 0 0 45140 10 0 0 20 0 1 0 75193544 236171264 47464 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47464 1248 1200 0 56139 0
Current children cumulated CPU time: 451.5 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189856 KiB

[startup+453.6 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107699004/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189856 CPUtime=452.3 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32149 0 0 0 45220 10 0 0 20 0 1 0 75193544 236171264 47464 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47464 1248 1200 0 56139 0
Current children cumulated CPU time: 452.3 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189856 KiB

[startup+454.4 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107694640/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189856 CPUtime=453.1 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32149 0 0 0 45300 10 0 0 20 0 1 0 75193544 236171264 47464 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47464 1248 1200 0 56139 0
Current children cumulated CPU time: 453.1 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189856 KiB

[startup+454.6 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107694640/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189856 CPUtime=453.3 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32149 0 0 0 45320 10 0 0 20 0 1 0 75193544 236171264 47464 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47464 1248 1200 0 56139 0
Current children cumulated CPU time: 453.3 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189856 KiB

[startup+454.7 s]
/proc/loadavg: 4.10 4.12 4.05 5/263 83829
/proc/meminfo: memFree=107694640/131249996 swapFree=33010160/33010684
[pid=83809] ppid=83806 vsize=230636 memory=189856 CPUtime=453.4 cores=5,7
/proc/83809/stat : 83809 (Exact) R 83806 83809 83404 0 -1 4194304 32149 0 0 0 45330 10 0 0 20 0 1 0 75193544 236171264 47464 18446744073709551615 4198400 9112445 140736340255264 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 18882560 140736340257062 140736340257261 140736340257261 140736340262863 0
/proc/83809/statm: 57659 47464 1248 1200 0 56139 0
Current children cumulated CPU time: 453.4 s
Current children cumulated vsize: 230636 KiB
Current children cumulated memory: 189856 KiB

Child status: 30

Real time (s): 454.76
CPU time (s): 453.47
CPU user time (s): 453.355
CPU system time (s): 0.114659
CPU usage (%): 99.7163
Max. virtual memory (cumulated for all children) (KiB): 230636
Max. memory (cumulated for all children) (KiB): 189856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 453.355
system time used= 0.114659
maximum resident set size= 221756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2400


# summary of solver processes directly reported to runsolver:
#   pid: 83809
#   total CPU time (s): 453.47
#   total CPU user time (s): 453.355
#   total CPU system time (s): 0.114659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.692188 second user time and 2.18478 second system time

The end