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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488927-1751353149/watcher-4488927-1751353149 -o /tmp/evaluation-result-4488927-1751353149/solver-4488927-1751353149 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751349536-50362 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1005255236 --ls=360 --inp-dombreaklim=0 HOME/instance-4488927-1751353149.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=50779, runsolver pid=50775

[startup+0.100069 s]*
/proc/loadavg: 4.11 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=0.1 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 10 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+0.213635 s]*
/proc/loadavg: 4.11 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=0.21 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 21 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+0.312341 s]*
/proc/loadavg: 4.11 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=0.31 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 31 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+0.70022 s]
/proc/loadavg: 4.11 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=0.68 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 68 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+1.50022 s]
/proc/loadavg: 4.11 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126151588/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=1.48 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 148 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+3.11203 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126151716/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=3.09 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 309 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+6.3002 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 50784
/proc/meminfo: memFree=126152576/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=6.27 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 627 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 50784
/proc/meminfo: memFree=126152648/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=12.65 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 1265 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.12 4.09 5/253 50785
/proc/meminfo: memFree=126152652/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=25.42 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 2542 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+51.112 s]
/proc/loadavg: 4.10 4.11 4.09 5/253 50785
/proc/meminfo: memFree=126148564/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=8780 CPUtime=50.97 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1351 0 0 0 5097 0 0 0 20 0 1 0 50994040 32833536 2195 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2195 1024 1200 0 6496 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 8780 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/251 50787
/proc/meminfo: memFree=126151912/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=10060 CPUtime=102.03 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1354 0 0 0 10203 0 0 0 20 0 1 0 50994040 32833536 2515 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2515 1024 1200 0 6496 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 10060 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/251 50800
/proc/meminfo: memFree=126159772/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=10060 CPUtime=161.89 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1357 0 0 0 16189 0 0 0 20 0 1 0 50994040 32833536 2515 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2515 1024 1200 0 6496 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 10060 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 50805
/proc/meminfo: memFree=126159308/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=10060 CPUtime=221.74 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1358 0 0 0 22174 0 0 0 20 0 1 0 50994040 32833536 2515 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2515 1024 1200 0 6496 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 10060 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/252 50807
/proc/meminfo: memFree=126160020/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=10060 CPUtime=281.6 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1360 0 0 0 28160 0 0 0 20 0 1 0 50994040 32833536 2515 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2515 1024 1200 0 6496 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 10060 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/251 50809
/proc/meminfo: memFree=126159292/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=32064 memory=10060 CPUtime=341.45 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 1360 0 0 0 34145 0 0 0 20 0 1 0 50994040 32833536 2515 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 8016 2515 1024 1200 0 6496 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 32064 KiB
Current children cumulated memory: 10060 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/251 50815
/proc/meminfo: memFree=125535936/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=214776 memory=174744 CPUtime=401.27 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 35228 0 0 0 40100 27 0 0 20 0 1 0 50994040 219930624 43686 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 53694 43686 1248 1200 0 52174 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 214776 KiB
Current children cumulated memory: 174744 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/250 50817
/proc/meminfo: memFree=125407476/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=258444 memory=233776 CPUtime=461.06 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 44299 0 0 0 46052 54 0 0 20 0 1 0 50994040 264646656 58444 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 64611 58444 1248 1200 0 63091 0
Current children cumulated CPU time: 461.06 s

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

Current children cumulated memory: 424224 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.14 5/251 50935
/proc/meminfo: memFree=124713564/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=448192 memory=425632 CPUtime=2914.11 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 74106 0 0 0 290385 1026 0 0 20 0 1 0 50994040 458948608 106408 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 112048 106408 1248 1200 0 110528 0
Current children cumulated CPU time: 2914.11 s
Current children cumulated vsize: 448192 KiB
Current children cumulated memory: 425632 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.13 5/251 50937
/proc/meminfo: memFree=124691644/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=448192 memory=425632 CPUtime=2973.94 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 74111 0 0 0 296342 1052 0 0 20 0 1 0 50994040 458948608 106408 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 112048 106408 1248 1200 0 110528 0
Current children cumulated CPU time: 2973.94 s
Current children cumulated vsize: 448192 KiB
Current children cumulated memory: 425632 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/251 50939
/proc/meminfo: memFree=124665256/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=452608 memory=428832 CPUtime=3033.77 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 74897 0 0 0 302303 1074 0 0 20 0 1 0 50994040 463470592 107208 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 113152 107208 1248 1200 0 111632 0
Current children cumulated CPU time: 3033.77 s
Current children cumulated vsize: 452608 KiB
Current children cumulated memory: 428832 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.13 5/251 50941
/proc/meminfo: memFree=124685616/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=453216 memory=429216 CPUtime=3093.6 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 75193 0 0 0 308259 1101 0 0 20 0 1 0 50994040 464093184 107304 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 113304 107304 1248 1200 0 111784 0
Current children cumulated CPU time: 3093.6 s
Current children cumulated vsize: 453216 KiB
Current children cumulated memory: 429216 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.13 5/250 50943
/proc/meminfo: memFree=124687168/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=454720 memory=430496 CPUtime=3153.44 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 75503 0 0 0 314213 1131 0 0 20 0 1 0 50994040 465633280 107624 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 113680 107624 1248 1200 0 112160 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 454720 KiB
Current children cumulated memory: 430496 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/250 50947
/proc/meminfo: memFree=124687816/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=456288 memory=431904 CPUtime=3213.27 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 75865 0 0 0 320171 1156 0 0 20 0 1 0 50994040 467238912 107976 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 114072 107976 1248 1200 0 112552 0
Current children cumulated CPU time: 3213.27 s
Current children cumulated vsize: 456288 KiB
Current children cumulated memory: 431904 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/250 50950
/proc/meminfo: memFree=124669748/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=458120 memory=436640 CPUtime=3273.09 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 76476 0 0 0 326128 1181 0 0 20 0 1 0 50994040 469114880 109160 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 114530 109160 1248 1200 0 113010 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 458120 KiB
Current children cumulated memory: 436640 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/250 50951
/proc/meminfo: memFree=124682928/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=462152 memory=443040 CPUtime=3332.92 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 77250 0 0 0 332091 1201 0 0 20 0 1 0 50994040 473243648 110760 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 115538 110760 1248 1200 0 114018 0
Current children cumulated CPU time: 3332.92 s
Current children cumulated vsize: 462152 KiB
Current children cumulated memory: 443040 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/251 50958
/proc/meminfo: memFree=124676292/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=468492 memory=447776 CPUtime=3392.75 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 78429 0 0 0 338053 1222 0 0 20 0 1 0 50994040 479735808 111944 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 117123 111944 1248 1200 0 115603 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 468492 KiB
Current children cumulated memory: 447776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/251 50960
/proc/meminfo: memFree=124668680/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=469260 memory=448544 CPUtime=3452.56 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 78822 0 0 0 344009 1247 0 0 20 0 1 0 50994040 480522240 112136 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 117315 112136 1248 1200 0 115795 0
Current children cumulated CPU time: 3452.56 s
Current children cumulated vsize: 469260 KiB
Current children cumulated memory: 448544 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.10 5/251 50962
/proc/meminfo: memFree=124664004/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=471212 memory=450336 CPUtime=3512.36 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 79288 0 0 0 349968 1268 0 0 20 0 1 0 50994040 482521088 112584 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 117803 112584 1248 1200 0 116283 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 471212 KiB
Current children cumulated memory: 450336 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.09 5/251 50965
/proc/meminfo: memFree=124665520/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=473156 memory=452256 CPUtime=3572.14 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 79751 0 0 0 355920 1294 0 0 20 0 1 0 50994040 484511744 113064 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 118289 113064 1248 1200 0 116769 0
Current children cumulated CPU time: 3572.14 s
Current children cumulated vsize: 473156 KiB
Current children cumulated memory: 452256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.09 4/249 50967
/proc/meminfo: memFree=125096932/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=473924 memory=453024 CPUtime=3600.04 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 80081 0 0 0 358700 1304 0 0 20 0 1 0 50994040 485298176 113256 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 118481 113256 1248 1200 0 116961 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 473924 KiB
Current children cumulated memory: 453024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.01 s, system=13.0521 s

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

[startup+3610.3 s]
/proc/loadavg: 4.08 4.09 4.09 4/249 50967
/proc/meminfo: memFree=125096932/131382116 swapFree=33010160/33010684
[pid=50779] ppid=50775 vsize=473924 memory=453024 CPUtime=3600.04 cores=0,2
/proc/50779/stat : 50779 (Exact) R 50775 50779 50352 0 -1 4194304 80081 0 0 0 358700 1304 0 0 20 0 1 0 50994040 485298176 113256 18446744073709551615 4198400 9112445 140720828177984 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 30945280 140720828184870 140720828185069 140720828185069 140720828190671 0
/proc/50779/statm: 118481 113256 1248 1200 0 116961 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 473924 KiB
Current children cumulated memory: 453024 KiB

Child status: 10

Real time (s): 3610.31
CPU time (s): 3600.06
CPU user time (s): 3587.01
CPU system time (s): 13.0521
CPU usage (%): 99.7162
Max. virtual memory (cumulated for all children) (KiB): 473924
Max. memory (cumulated for all children) (KiB): 453024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.01
system time used= 13.0521
maximum resident set size= 453152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80083
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= 125
involuntary context switches= 8346


# summary of solver processes directly reported to runsolver:
#   pid: 50779
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3587.01
#   total CPU system time (s): 13.0521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.8418 second user time and 33.4357 second system time

The end