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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4523786-1751611674/watcher-4523786-1751611674 -o /tmp/evaluation-result-4523786-1751611674/solver-4523786-1751611674 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751608062-85495 --watchdog 3760 ./NuPBO-DeepOptS+ -f HOME/instance-4523786-1751611674.opb -t 3600 -s 422132973 

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


[startup+0.100061 s]*
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107774344/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=23600 memory=8004 CPUtime=0.1 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 1507 0 0 0 10 0 0 0 20 0 1 0 76845991 24166400 2001 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 5900 2001 1088 2752 0 2553 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 23600 KiB
Current children cumulated memory: 8004 KiB

[startup+0.20556 s]*
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107774344/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=27696 memory=10056 CPUtime=0.2 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 2023 0 0 0 20 0 0 0 20 0 1 0 76845991 28360704 2514 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 6924 2514 1088 2752 0 3577 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 10056 KiB

[startup+0.30538 s]*
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107774344/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=27696 memory=12104 CPUtime=0.3 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 2024 0 0 0 30 0 0 0 20 0 1 0 76845991 28360704 3026 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 6924 3026 1088 2752 0 3577 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 12104 KiB

[startup+0.700175 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107774344/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=0.69 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6886 0 0 0 68 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+1.50013 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107596804/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=1.48 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6886 0 0 0 147 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+3.10523 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107381640/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=3.08 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6893 0 0 0 307 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+6.30015 s]
/proc/loadavg: 4.05 4.08 4.04 5/263 85907
/proc/meminfo: memFree=107252616/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=6.27 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6899 0 0 0 626 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.07 4.04 5/263 85907
/proc/meminfo: memFree=107172108/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=12.66 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6906 0 0 0 1265 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.04 5/263 85907
/proc/meminfo: memFree=107172116/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=25.43 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6912 0 0 0 2542 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.09 4.05 5/263 85907
/proc/meminfo: memFree=107112832/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=79940 memory=62332 CPUtime=50.97 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 6919 0 0 0 5096 1 0 0 20 0 1 0 76845991 81858560 15583 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 19985 15583 1152 2752 0 16638 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 79940 KiB
Current children cumulated memory: 62332 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 85909
/proc/meminfo: memFree=106627208/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=442700 memory=401984 CPUtime=102.03 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 63648 0 0 0 10190 13 0 0 20 0 1 0 76845991 453324800 100496 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 110675 100496 2848 2752 0 107328 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 442700 KiB
Current children cumulated memory: 401984 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/263 85911
/proc/meminfo: memFree=105633700/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=838432 memory=796408 CPUtime=161.86 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 194333 0 0 0 16151 35 0 0 20 0 1 0 76845991 858554368 199102 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 209608 199102 2848 2752 0 206261 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 838432 KiB
Current children cumulated memory: 796408 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.05 5/263 85913
/proc/meminfo: memFree=105284668/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=1006040 memory=965844 CPUtime=221.7 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 399305 0 0 0 22101 69 0 0 20 0 1 0 76845991 1030184960 241461 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 251510 241461 3168 2752 0 248163 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 1006040 KiB
Current children cumulated memory: 965844 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.10 4.05 5/263 85915
/proc/meminfo: memFree=105271272/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=970064 memory=931320 CPUtime=281.52 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 498064 0 0 0 28066 86 0 0 20 0 1 0 76845991 993345536 232830 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 242516 232830 3168 2752 0 239169 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 970064 KiB
Current children cumulated memory: 931320 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.09 4.05 5/263 85921
/proc/meminfo: memFree=105273320/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=968848 memory=930184 CPUtime=341.34 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 532224 0 0 0 34043 91 0 0 20 0 1 0 76845991 992100352 232546 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 242212 232546 3168 2752 0 238865 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 968848 KiB
Current children cumulated memory: 930184 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/263 85923
/proc/meminfo: memFree=105267476/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=974560 memory=935904 CPUtime=401.16 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 553804 0 0 0 40021 95 0 0 20 0 1 0 76845991 997949440 233976 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 243640 233976 3168 2752 0 240293 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 974560 KiB
Current children cumulated memory: 935904 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.05 5/263 85925
/proc/meminfo: memFree=105267524/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=974560 memory=935912 CPUtime=460.98 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 582484 0 0 0 45998 100 0 0 20 0 1 0 76845991 997949440 233978 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 243640 233978 3168 2752 0 240293 0
Current children cumulated CPU time: 460.98 s

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

Current children cumulated memory: 923996 KiB

[startup+2862.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 86136
/proc/meminfo: memFree=104996508/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=2854.17 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800164 0 0 0 285274 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 2854.17 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/262 86138
/proc/meminfo: memFree=104999516/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=2914.02 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800180 0 0 0 291259 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 2914.02 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/262 86140
/proc/meminfo: memFree=104995232/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=2973.88 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800196 0 0 0 297245 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 2973.88 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/262 86142
/proc/meminfo: memFree=105008260/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3033.73 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800196 0 0 0 303230 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3033.73 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 86147
/proc/meminfo: memFree=105003868/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3093.58 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800212 0 0 0 309215 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3093.58 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 86149
/proc/meminfo: memFree=104991736/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3153.43 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800228 0 0 0 315200 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3153.43 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/263 86151
/proc/meminfo: memFree=104976444/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3213.28 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800228 0 0 0 321185 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3213.28 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/263 86153
/proc/meminfo: memFree=104979300/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3273.13 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800244 0 0 0 327170 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3273.13 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/263 86155
/proc/meminfo: memFree=104975812/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3332.98 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800260 0 0 0 333155 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/262 86161
/proc/meminfo: memFree=104974940/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3392.83 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800260 0 0 0 339140 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3392.83 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/262 86163
/proc/meminfo: memFree=104993716/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3452.68 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800276 0 0 0 345125 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3452.68 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/262 86165
/proc/meminfo: memFree=105002168/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3512.53 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800292 0 0 0 351110 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/262 86167
/proc/meminfo: memFree=105002056/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3572.38 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800292 0 0 0 357095 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.11 4.09 4.09 4/259 86182
/proc/meminfo: memFree=105804396/131249988 swapFree=33010416/33010684
[pid=85906] ppid=85903 vsize=933784 memory=923996 CPUtime=3600.02 cores=5,7
/proc/85906/stat : 85906 (NuPBO-DeepOptS+) R 85903 85906 85067 0 -1 4194304 800308 0 0 0 359859 143 0 0 20 0 1 0 76845991 956194816 230999 18446744073709551615 4198400 15468185 140731488210544 0 0 0 0 0 17410 0 0 0 17 5 0 0 0 0 0 17807032 17896208 32677888 140731488213399 140731488213508 140731488213508 140731488219110 0
/proc/85906/statm: 233446 230999 3168 2752 0 230099 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 933784 KiB
Current children cumulated memory: 923996 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.6 s, system=1.43767 s

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

Child status: 10

Real time (s): 3610.01
CPU time (s): 3600.04
CPU user time (s): 3598.6
CPU system time (s): 1.43767
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 1046036
Max. memory (cumulated for all children) (KiB): 1013432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.6
system time used= 1.43767
maximum resident set size= 1013432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 800436
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= 19
involuntary context switches= 20188


# summary of solver processes directly reported to runsolver:
#   pid: 85906
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3598.6
#   total CPU system time (s): 1.43767

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71704 second user time and 15.1116 second system time

The end