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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519604-1751551624/watcher-4519604-1751551624 -o /tmp/evaluation-result-4519604-1751551624/solver-4519604-1751551624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751544067-78933 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 135645573 HOME/instance-4519604-1751551624.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=80150, runsolver pid=80147

[startup+0.100066 s]*
/proc/loadavg: 6.94 6.82 6.39 8/267 80152
/proc/meminfo: memFree=126427792/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=88892 memory=15360 CPUtime=0.15 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) S 80147 80150 78844 0 -1 4194304 3411 0 0 0 15 0 0 0 20 0 2 0 70839907 91025408 3840 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22223 3840 672 633 0 5302 0
[pid=80150/tid=80152] ppid=80147 vsize=88892 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 251 0 0 0 6 0 0 0 20 0 2 0 70839908 91025408 3840 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 88892 KiB
Current children cumulated memory: 15360 KiB

[startup+0.20605 s]*
/proc/loadavg: 6.94 6.82 6.39 7/267 80152
/proc/meminfo: memFree=126427792/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=88900 memory=15360 CPUtime=0.33 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 5504 0 0 0 32 1 0 0 20 0 2 0 70839907 91033600 3840 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22225 3840 672 633 0 5304 0
[pid=80150/tid=80152] ppid=80147 vsize=88900 memory=4208735117501333788 CPUtime=0.13 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 251 0 0 0 13 0 0 0 20 0 2 0 70839908 91033600 3840 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 88900 KiB
Current children cumulated memory: 15360 KiB

[startup+0.306062 s]*
/proc/loadavg: 6.94 6.82 6.39 7/267 80152
/proc/meminfo: memFree=126427792/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=88900 memory=15360 CPUtime=0.45 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 7859 0 0 0 44 1 0 0 20 0 2 0 70839907 91033600 3840 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22225 3840 672 633 0 5304 0
[pid=80150/tid=80152] ppid=80147 vsize=88900 memory=7971517031011335787 CPUtime=0.15 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 251 0 0 0 15 0 0 0 20 0 2 0 70839908 91033600 3840 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 88900 KiB
Current children cumulated memory: 15360 KiB

[startup+0.700219 s]
/proc/loadavg: 6.94 6.82 6.39 7/267 80152
/proc/meminfo: memFree=126427792/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=88900 memory=15304 CPUtime=1.17 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 15493 0 0 0 115 2 0 0 20 0 2 0 70839907 91033600 3826 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22225 3826 672 633 0 5304 0
[pid=80150/tid=80152] ppid=80147 vsize=88900 memory=14976 CPUtime=0.49 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 251 0 0 0 49 0 0 0 20 0 2 0 70839908 91033600 3826 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 88900 KiB
Current children cumulated memory: 15304 KiB

[startup+1.50021 s]
/proc/loadavg: 6.94 6.82 6.39 7/267 80152
/proc/meminfo: memFree=126427792/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=88980 memory=15432 CPUtime=2.5 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 19966 0 0 0 247 3 0 0 20 0 2 0 70839907 91115520 3858 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22245 3858 672 633 0 5324 0
[pid=80150/tid=80152] ppid=80147 vsize=88980 memory=14976 CPUtime=1.03 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 335 0 0 0 103 0 0 0 20 0 2 0 70839908 91115520 3858 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 88980 KiB
Current children cumulated memory: 15432 KiB

[startup+3.10591 s]
/proc/loadavg: 6.86 6.81 6.38 8/267 80152
/proc/meminfo: memFree=126428296/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=89140 memory=15572 CPUtime=5.62 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 25724 0 0 0 558 4 0 0 20 0 2 0 70839907 91279360 3893 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22285 3893 672 633 0 5364 0
[pid=80150/tid=80152] ppid=80147 vsize=89140 memory=15512 CPUtime=2.56 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 642 0 0 0 256 0 0 0 20 0 2 0 70839908 91279360 3893 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 89140 KiB
Current children cumulated memory: 15572 KiB

[startup+6.30022 s]
/proc/loadavg: 6.86 6.81 6.38 9/267 80152
/proc/meminfo: memFree=126428572/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=89296 memory=15792 CPUtime=11.78 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 29239 0 0 0 1171 7 0 0 20 0 2 0 70839907 91439104 3948 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22324 3948 672 633 0 5403 0
[pid=80150/tid=80152] ppid=80147 vsize=89296 memory=14976 CPUtime=5.55 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 883 0 0 0 555 0 0 0 20 0 2 0 70839908 91439104 3948 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 11.78 s
Current children cumulated vsize: 89296 KiB
Current children cumulated memory: 15792 KiB

[startup+12.7002 s]
/proc/loadavg: 6.79 6.80 6.38 6/267 80153
/proc/meminfo: memFree=126424056/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=89744 memory=15972 CPUtime=18.15 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 205078 0 0 0 1783 32 0 0 20 0 2 0 70839907 91897856 3993 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22436 3993 672 633 0 5515 0
[pid=80150/tid=80152] ppid=80147 vsize=89744 memory=15844 CPUtime=5.55 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 883 0 0 0 555 0 0 0 20 0 2 0 70839908 91897856 3993 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 18.15 s
Current children cumulated vsize: 89744 KiB
Current children cumulated memory: 15972 KiB

[startup+25.5002 s]
/proc/loadavg: 6.62 6.76 6.37 8/268 80154
/proc/meminfo: memFree=126426924/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=91380 memory=17392 CPUtime=30.88 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 214614 0 0 0 3047 41 0 0 20 0 2 0 70839907 93573120 4348 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22845 4348 672 633 0 5924 0
[pid=80150/tid=80152] ppid=80147 vsize=91380 memory=16948 CPUtime=5.55 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 883 0 0 0 555 0 0 0 20 0 2 0 70839908 93573120 4348 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 30.88 s
Current children cumulated vsize: 91380 KiB
Current children cumulated memory: 17392 KiB

[startup+51.1057 s]
/proc/loadavg: 6.08 6.61 6.34 5/268 80154
/proc/meminfo: memFree=126412220/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=91976 memory=18288 CPUtime=56.34 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 217401 0 0 0 5581 53 0 0 20 0 2 0 70839907 94183424 4572 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 22994 4572 672 633 0 6073 0
[pid=80150/tid=80152] ppid=80147 vsize=91976 memory=14976 CPUtime=5.55 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 883 0 0 0 555 0 0 0 20 0 2 0 70839908 94183424 4572 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 56.34 s
Current children cumulated vsize: 91976 KiB
Current children cumulated memory: 18288 KiB

[startup+102.3 s]
/proc/loadavg: 6.15 6.55 6.33 8/270 80160
/proc/meminfo: memFree=126442600/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=95160 memory=21532 CPUtime=148.75 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 225429 0 0 0 14795 80 0 0 20 0 2 0 70839907 97443840 5383 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 23790 5383 672 633 0 6869 0
[pid=80150/tid=80152] ppid=80147 vsize=95160 memory=14976 CPUtime=47.21 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 1802 0 0 0 4714 7 0 0 20 0 2 0 70839908 97443840 5383 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 148.75 s
Current children cumulated vsize: 95160 KiB
Current children cumulated memory: 21532 KiB

[startup+162.3 s]
/proc/loadavg: 6.04 6.44 6.30 7/269 80162
/proc/meminfo: memFree=126428188/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=98964 memory=23624 CPUtime=257.7 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 229855 0 0 0 25653 117 0 0 20 0 2 0 70839907 101339136 5906 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 24741 5906 672 633 0 7820 0
[pid=80150/tid=80152] ppid=80147 vsize=98964 memory=5632 CPUtime=96.71 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 2886 0 0 0 9654 17 0 0 20 0 2 0 70839908 101339136 5906 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 257.7 s
Current children cumulated vsize: 98964 KiB
Current children cumulated memory: 23624 KiB

[startup+222.3 s]
/proc/loadavg: 5.84 6.31 6.26 6/270 80170
/proc/meminfo: memFree=126425664/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=99676 memory=24520 CPUtime=367.08 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 235876 0 0 0 36550 158 0 0 20 0 2 0 70839907 102068224 6130 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 24919 6130 672 633 0 7998 0
[pid=80150/tid=80152] ppid=80147 vsize=99676 memory=14976 CPUtime=146.68 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 5011 0 0 0 14641 27 0 0 20 0 2 0 70839908 102068224 6130 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 367.08 s
Current children cumulated vsize: 99676 KiB
Current children cumulated memory: 24520 KiB

[startup+282.3 s]
/proc/loadavg: 5.89 6.25 6.25 7/270 80172
/proc/meminfo: memFree=126439212/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=99836 memory=24904 CPUtime=475.96 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 237014 0 0 0 47407 189 0 0 20 0 2 0 70839907 102232064 6226 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 24959 6226 672 633 0 8038 0
[pid=80150/tid=80152] ppid=80147 vsize=99836 memory=24776 CPUtime=196.13 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 5114 0 0 0 19578 35 0 0 20 0 2 0 70839908 102232064 6226 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 475.96 s
Current children cumulated vsize: 99836 KiB
Current children cumulated memory: 24904 KiB

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

/proc/meminfo: memFree=129003976/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=2948.96 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 262389 0 0 0 294202 694 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=26696 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 2948.96 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+1782.3 s]
/proc/loadavg: 6.03 6.36 6.45 7/269 80334
/proc/meminfo: memFree=129000592/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3008.68 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 263961 0 0 0 300168 700 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=14848 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3008.68 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+1842.3 s]
/proc/loadavg: 6.22 6.38 6.45 7/268 80336
/proc/meminfo: memFree=129004228/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3068.41 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 264005 0 0 0 306134 707 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=14976 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3068.41 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+1902.3 s]
/proc/loadavg: 6.26 6.35 6.43 8/268 80341
/proc/meminfo: memFree=129004380/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3128.13 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 264009 0 0 0 312099 714 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=26696 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3128.13 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+1962.3 s]
/proc/loadavg: 6.72 6.47 6.47 8/267 80343
/proc/meminfo: memFree=129005144/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3187.83 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 265588 0 0 0 318062 721 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=26696 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3187.83 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+2022.3 s]
/proc/loadavg: 6.48 6.44 6.46 7/267 80349
/proc/meminfo: memFree=129004360/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3247.51 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 265626 0 0 0 324023 728 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=26696 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3247.51 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+2082.3 s]
/proc/loadavg: 6.67 6.51 6.48 8/267 80351
/proc/meminfo: memFree=129007000/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3307.22 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 267245 0 0 0 329987 735 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=26696 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3307.22 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+2142.3 s]
/proc/loadavg: 6.48 6.51 6.49 7/268 80354
/proc/meminfo: memFree=129008128/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3366.91 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 267246 0 0 0 335951 740 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=14848 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3366.91 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+2202.3 s]
/proc/loadavg: 6.05 6.38 6.44 6/268 80356
/proc/meminfo: memFree=129008516/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3426.61 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 268852 0 0 0 341914 747 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=14848 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3426.61 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+2262.3 s]
/proc/loadavg: 6.10 6.33 6.42 7/268 80358
/proc/meminfo: memFree=129009472/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101000 memory=26696 CPUtime=3486.3 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 268862 0 0 0 347876 754 0 0 20 0 2 0 70839907 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25250 6674 672 633 0 8329 0
[pid=80150/tid=80152] ppid=80147 vsize=101000 memory=26696 CPUtime=1242.77 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) S 80147 80150 78844 0 -1 4194368 9959 0 0 0 124130 147 0 0 20 0 2 0 70839908 103424000 6674 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3486.3 s
Current children cumulated vsize: 101000 KiB
Current children cumulated memory: 26696 KiB

[startup+2322.3 s]
/proc/loadavg: 6.35 6.36 6.42 6/261 80391
/proc/meminfo: memFree=129028784/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101188 memory=26952 CPUtime=3592.36 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 268912 0 0 0 358462 774 0 0 20 0 2 0 70839907 103616512 6738 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25297 6738 672 633 0 8376 0
[pid=80150/tid=80152] ppid=80147 vsize=101188 memory=26952 CPUtime=1289.47 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 9960 0 0 0 128796 151 0 0 20 0 2 0 70839908 103616512 6738 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3592.36 s
Current children cumulated vsize: 101188 KiB
Current children cumulated memory: 26952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2326.6 s]
/proc/loadavg: 6.24 6.34 6.42 6/261 80391
/proc/meminfo: memFree=129028944/131249996 swapFree=33006296/33010684
[pid=80150] ppid=80147 vsize=101188 memory=26952 CPUtime=3600.16 cores=0,2
/proc/80150/stat : 80150 (pb_competition_) R 80147 80150 78844 0 -1 4194304 268912 0 0 0 359241 775 0 0 20 0 2 0 70839907 103616512 6738 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
/proc/80150/statm: 25297 6738 672 633 0 8376 0
[pid=80150/tid=80152] ppid=80147 vsize=101188 memory=14848 CPUtime=1293.03 cores=0,2
/proc/80150/task/80152/stat : 80152 (pb_competition_) R 80147 80150 78844 0 -1 4194368 9960 0 0 0 129152 151 0 0 20 0 2 0 70839908 103616512 6738 18446744073709551615 4198400 6788177 140730631248672 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18046976 140730631252314 140730631252440 140730631252440 140730631258042 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 101188 KiB
Current children cumulated memory: 26952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.46 s, system=7.75844 s

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

Child status: 0

Real time (s): 2326.64
CPU time (s): 3600.22
CPU user time (s): 3592.46
CPU system time (s): 7.75844
CPU usage (%): 154.739
Max. virtual memory (cumulated for all children) (KiB): 101188
Max. memory (cumulated for all children) (KiB): 26952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.46
system time used= 7.75844
maximum resident set size= 26952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269243
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= 20903
involuntary context switches= 32245


# summary of solver processes directly reported to runsolver:
#   pid: 80150
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3592.46
#   total CPU system time (s): 7.75844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.72365 second user time and 11.0111 second system time

The end