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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486305-1751318414/watcher-4486305-1751318414 -o /tmp/evaluation-result-4486305-1751318414/solver-4486305-1751318414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751314075-42015 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1335386795 --ls=360 --inp-dombreaklim=0 HOME/instance-4486305-1751318414.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42693, runsolver pid=42690

[startup+0.10007 s]*
/proc/loadavg: 4.15 4.12 4.15 5/251 42694
/proc/meminfo: memFree=129187816/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=35480 memory=12168 CPUtime=0.1 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 2549 0 0 0 10 0 0 0 20 0 1 0 47520825 36331520 3042 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 8870 3042 1024 1200 0 7350 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35480 KiB
Current children cumulated memory: 12168 KiB

[startup+0.222202 s]*
/proc/loadavg: 4.15 4.12 4.15 5/251 42694
/proc/meminfo: memFree=129187816/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=0.2 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3906 0 0 0 19 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+0.314199 s]*
/proc/loadavg: 4.15 4.12 4.15 5/251 42694
/proc/meminfo: memFree=129187816/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=0.28 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3906 0 0 0 27 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+0.700227 s]
/proc/loadavg: 4.15 4.12 4.15 5/251 42694
/proc/meminfo: memFree=129187816/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=0.62 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3907 0 0 0 61 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.12 4.15 5/251 42694
/proc/meminfo: memFree=129187816/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=1.41 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3907 0 0 0 140 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+3.10565 s]
/proc/loadavg: 4.14 4.12 4.15 5/251 42694
/proc/meminfo: memFree=129176044/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=3 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3907 0 0 0 299 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+6.30015 s]
/proc/loadavg: 4.14 4.12 4.15 5/255 42706
/proc/meminfo: memFree=129166300/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=6.16 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3907 0 0 0 615 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.13 4.15 5/255 42706
/proc/meminfo: memFree=129134516/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=12.52 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3907 0 0 0 1251 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+25.5003 s]
/proc/loadavg: 4.16 4.13 4.15 5/252 42707
/proc/meminfo: memFree=129097356/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19628 CPUtime=25.29 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3907 0 0 0 2528 1 0 0 20 0 1 0 47520825 41316352 4907 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4907 1024 1200 0 8567 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19628 KiB

[startup+51.1129 s]
/proc/loadavg: 4.11 4.12 4.15 5/252 42707
/proc/meminfo: memFree=129032548/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19756 CPUtime=50.83 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3915 0 0 0 5082 1 0 0 20 0 1 0 47520825 41316352 4939 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4939 1024 1200 0 8567 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19756 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.14 5/251 42709
/proc/meminfo: memFree=128988800/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19756 CPUtime=101.89 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3927 0 0 0 10188 1 0 0 20 0 1 0 47520825 41316352 4939 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4939 1024 1200 0 8567 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19756 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/251 42711
/proc/meminfo: memFree=128983800/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19756 CPUtime=161.73 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3935 0 0 0 16172 1 0 0 20 0 1 0 47520825 41316352 4939 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4939 1024 1200 0 8567 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19756 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.11 4.14 5/251 42713
/proc/meminfo: memFree=128975248/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19756 CPUtime=221.58 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3939 0 0 0 22157 1 0 0 20 0 1 0 47520825 41316352 4939 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4939 1024 1200 0 8567 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19756 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/251 42715
/proc/meminfo: memFree=128935900/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19756 CPUtime=281.43 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3943 0 0 0 28142 1 0 0 20 0 1 0 47520825 41316352 4939 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4939 1024 1200 0 8567 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19756 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.08 4.12 5/250 42724
/proc/meminfo: memFree=128924248/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=40348 memory=19756 CPUtime=341.28 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 3947 0 0 0 34127 1 0 0 20 0 1 0 47520825 41316352 4939 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 10087 4939 1024 1200 0 8567 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 40348 KiB
Current children cumulated memory: 19756 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.10 4.12 5/250 42726
/proc/meminfo: memFree=128798120/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=87388 memory=77096 CPUtime=401.12 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 15758 0 0 0 40104 8 0 0 20 0 1 0 47520825 89485312 19274 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 21847 19274 1248 1200 0 20327 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 87388 KiB
Current children cumulated memory: 77096 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.11 5/250 42728
/proc/meminfo: memFree=128755604/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=96012 memory=87464 CPUtime=460.97 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 18348 0 0 0 46081 16 0 0 20 0 1 0 47520825 98316288 21866 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 24003 21866 1248 1200 0 22483 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 168916 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/250 42869
/proc/meminfo: memFree=128244828/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=174712 memory=168916 CPUtime=2854.26 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 34922 0 0 0 285184 242 0 0 20 0 1 0 47520825 178905088 42229 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 43678 42229 1248 1200 0 42158 0
Current children cumulated CPU time: 2854.26 s
Current children cumulated vsize: 174712 KiB
Current children cumulated memory: 168916 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/251 42916
/proc/meminfo: memFree=128868728/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=175468 memory=169684 CPUtime=2914.09 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 35111 0 0 0 291161 248 0 0 20 0 1 0 47520825 179679232 42421 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 43867 42421 1248 1200 0 42347 0
Current children cumulated CPU time: 2914.09 s
Current children cumulated vsize: 175468 KiB
Current children cumulated memory: 169684 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/251 42918
/proc/meminfo: memFree=128857208/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=176632 memory=170836 CPUtime=2973.94 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 35408 0 0 0 297141 253 0 0 20 0 1 0 47520825 180871168 42709 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 44158 42709 1248 1200 0 42638 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 176632 KiB
Current children cumulated memory: 170836 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.10 4.11 5/251 42920
/proc/meminfo: memFree=128842344/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=177424 memory=171860 CPUtime=3033.77 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 35618 0 0 0 303120 257 0 0 20 0 1 0 47520825 181682176 42965 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 44356 42965 1248 1200 0 42836 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 177424 KiB
Current children cumulated memory: 171860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.10 5/252 42923
/proc/meminfo: memFree=128843276/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=178312 memory=172756 CPUtime=3093.62 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 35841 0 0 0 309100 262 0 0 20 0 1 0 47520825 182591488 43189 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 44578 43189 1248 1200 0 43058 0
Current children cumulated CPU time: 3093.62 s
Current children cumulated vsize: 178312 KiB
Current children cumulated memory: 172756 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/251 42925
/proc/meminfo: memFree=128844796/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=179480 memory=173908 CPUtime=3153.46 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 36133 0 0 0 315076 270 0 0 20 0 1 0 47520825 183787520 43477 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 44870 43477 1248 1200 0 43350 0
Current children cumulated CPU time: 3153.46 s
Current children cumulated vsize: 179480 KiB
Current children cumulated memory: 173908 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/250 42927
/proc/meminfo: memFree=128846320/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=179992 memory=174420 CPUtime=3213.3 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 36261 0 0 0 321057 273 0 0 20 0 1 0 47520825 184311808 43605 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 44998 43605 1248 1200 0 43478 0
Current children cumulated CPU time: 3213.3 s
Current children cumulated vsize: 179992 KiB
Current children cumulated memory: 174420 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/251 43020
/proc/meminfo: memFree=129179372/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=179992 memory=174420 CPUtime=3273.16 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 36261 0 0 0 327038 278 0 0 20 0 1 0 47520825 184311808 43605 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 44998 43605 1248 1200 0 43478 0
Current children cumulated CPU time: 3273.16 s
Current children cumulated vsize: 179992 KiB
Current children cumulated memory: 174420 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/251 43028
/proc/meminfo: memFree=129182004/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=180184 memory=174548 CPUtime=3333.01 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 36322 0 0 0 333018 283 0 0 20 0 1 0 47520825 184508416 43637 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 45046 43637 1248 1200 0 43526 0
Current children cumulated CPU time: 3333.01 s
Current children cumulated vsize: 180184 KiB
Current children cumulated memory: 174548 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/250 43030
/proc/meminfo: memFree=129187964/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=181428 memory=175828 CPUtime=3392.86 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 36633 0 0 0 338998 288 0 0 20 0 1 0 47520825 185782272 43957 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 45357 43957 1248 1200 0 43837 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 181428 KiB
Current children cumulated memory: 175828 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/250 43032
/proc/meminfo: memFree=129183432/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=181804 memory=176212 CPUtime=3452.72 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 36729 0 0 0 344976 296 0 0 20 0 1 0 47520825 186167296 44053 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 45451 44053 1248 1200 0 43931 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 181804 KiB
Current children cumulated memory: 176212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/251 43035
/proc/meminfo: memFree=129176896/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=184652 memory=179028 CPUtime=3512.56 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 37441 0 0 0 350956 300 0 0 20 0 1 0 47520825 189083648 44757 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 46163 44757 1248 1200 0 44643 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 184652 KiB
Current children cumulated memory: 179028 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 43038
/proc/meminfo: memFree=129178660/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=186280 memory=180692 CPUtime=3572.41 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 37850 0 0 0 356935 306 0 0 20 0 1 0 47520825 190750720 45173 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 46570 45173 1248 1200 0 45050 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 186280 KiB
Current children cumulated memory: 180692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.96 4.06 4.08 5/250 43143
/proc/meminfo: memFree=129362376/131382116 swapFree=33010684/33010684
[pid=42693] ppid=42690 vsize=186280 memory=180692 CPUtime=3600.05 cores=5,7
/proc/42693/stat : 42693 (Exact) R 42690 42693 42002 0 -1 4194304 37863 0 0 0 359695 310 0 0 20 0 1 0 47520825 190750720 45173 18446744073709551615 4198400 9112445 140731669021120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 25927680 140731669023014 140731669023213 140731669023213 140731669028815 0
/proc/42693/statm: 46570 45173 1248 1200 0 45050 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 186280 KiB
Current children cumulated memory: 180692 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.02 s]
# the end of solver process 42693 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3596.96 s, system=3.10561 s

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

Child status: 10

Real time (s): 3610.02
CPU time (s): 3600.06
CPU user time (s): 3596.96
CPU system time (s): 3.10561
CPU usage (%): 99.7242
Max. virtual memory (cumulated for all children) (KiB): 186280
Max. memory (cumulated for all children) (KiB): 180692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.96
system time used= 3.10561
maximum resident set size= 180820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37865
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= 61
involuntary context switches= 2147


# summary of solver processes directly reported to runsolver:
#   pid: 42693
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3596.96
#   total CPU system time (s): 3.10561

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.594 second user time and 32.2 second system time

The end