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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524586-1751616128/watcher-4524586-1751616128 -o /tmp/evaluation-result-4524586-1751616128/solver-4524586-1751616128 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751612865-90769 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 430525327 HOME/instance-4524586-1751616128.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=91186, runsolver pid=91183
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 6.50 5.72 5.14 7/270 91188
/proc/meminfo: memFree=121346160/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=81244 memory=6888 CPUtime=0.17 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 1262 0 0 0 17 0 0 0 20 0 2 0 77292189 83193856 1722 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20311 1722 672 633 0 3208 0
[pid=91186/tid=91188] ppid=91183 vsize=81244 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 70 0 0 0 7 0 0 0 20 0 2 0 77292189 83193856 1722 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 81244 KiB
Current children cumulated memory: 6888 KiB

[startup+0.20566 s]*
/proc/loadavg: 6.50 5.72 5.14 9/270 91188
/proc/meminfo: memFree=121346160/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=81828 memory=7284 CPUtime=0.35 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 1452 0 0 0 35 0 0 0 20 0 2 0 77292189 83791872 1821 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20457 1821 672 633 0 3354 0
[pid=91186/tid=91188] ppid=91183 vsize=81828 memory=664958721904869660 CPUtime=0.15 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 70 0 0 0 15 0 0 0 20 0 2 0 77292189 83791872 1821 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 81828 KiB
Current children cumulated memory: 7284 KiB

[startup+0.305561 s]*
/proc/loadavg: 6.50 5.72 5.14 9/270 91188
/proc/meminfo: memFree=121346160/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=81828 memory=7412 CPUtime=0.55 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 1509 0 0 0 54 1 0 0 20 0 2 0 77292189 83791872 1853 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20457 1853 672 633 0 3354 0
[pid=91186/tid=91188] ppid=91183 vsize=81828 memory=7970395529168241003 CPUtime=0.25 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 70 0 0 0 25 0 0 0 20 0 2 0 77292189 83791872 1853 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 81828 KiB
Current children cumulated memory: 7412 KiB

[startup+0.700202 s]
/proc/loadavg: 6.50 5.72 5.14 8/270 91188
/proc/meminfo: memFree=121346160/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=82140 memory=7796 CPUtime=1.26 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 1613 0 0 0 124 2 0 0 20 0 2 0 77292189 84111360 1949 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20535 1949 672 633 0 3432 0
[pid=91186/tid=91188] ppid=91183 vsize=82140 memory=19072 CPUtime=0.57 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 70 0 0 0 57 0 0 0 20 0 2 0 77292189 84111360 1949 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 82140 KiB
Current children cumulated memory: 7796 KiB

[startup+1.50021 s]
/proc/loadavg: 6.50 5.72 5.14 9/270 91188
/proc/meminfo: memFree=121346160/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=82780 memory=7960 CPUtime=2.62 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 2932 0 0 0 259 3 0 0 20 0 2 0 77292189 84766720 1990 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20695 1990 672 633 0 3592 0
[pid=91186/tid=91188] ppid=91183 vsize=82780 memory=19072 CPUtime=1.14 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 337 0 0 0 114 0 0 0 20 0 2 0 77292189 84766720 1990 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 82780 KiB
Current children cumulated memory: 7960 KiB

[startup+3.1055 s]
/proc/loadavg: 6.54 5.74 5.16 9/270 91188
/proc/meminfo: memFree=121346868/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=82960 memory=8216 CPUtime=5.63 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 4175 0 0 0 557 6 0 0 20 0 2 0 77292189 84951040 2054 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20740 2054 672 633 0 3637 0
[pid=91186/tid=91188] ppid=91183 vsize=82960 memory=7960 CPUtime=2.57 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 609 0 0 0 256 1 0 0 20 0 2 0 77292189 84951040 2054 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 5.63 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 8216 KiB

[startup+6.3002 s]
/proc/loadavg: 6.54 5.74 5.16 7/270 91188
/proc/meminfo: memFree=121347236/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=83144 memory=8600 CPUtime=11.77 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 5521 0 0 0 1165 12 0 0 20 0 2 0 77292189 85139456 2150 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20786 2150 672 633 0 3683 0
[pid=91186/tid=91188] ppid=91183 vsize=83144 memory=19072 CPUtime=5.53 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 877 0 0 0 551 2 0 0 20 0 2 0 77292189 85139456 2150 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 11.77 s
Current children cumulated vsize: 83144 KiB
Current children cumulated memory: 8600 KiB

[startup+12.7002 s]
/proc/loadavg: 6.66 5.78 5.17 8/270 91189
/proc/meminfo: memFree=121347236/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=83420 memory=8984 CPUtime=24 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 6977 0 0 0 2378 22 0 0 20 0 2 0 77292189 85422080 2246 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 20855 2246 672 633 0 3752 0
[pid=91186/tid=91188] ppid=91183 vsize=83420 memory=8856 CPUtime=11.39 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 1263 0 0 0 1136 3 0 0 20 0 2 0 77292189 85422080 2246 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 24 s
Current children cumulated vsize: 83420 KiB
Current children cumulated memory: 8984 KiB

[startup+25.5002 s]
/proc/loadavg: 6.81 5.85 5.21 8/269 91189
/proc/meminfo: memFree=121347244/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=85220 memory=9604 CPUtime=48.05 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 8969 0 0 0 4766 39 0 0 20 0 2 0 77292189 87265280 2401 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 21305 2401 672 633 0 4202 0
[pid=91186/tid=91188] ppid=91183 vsize=85220 memory=9496 CPUtime=22.73 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 1638 0 0 0 2267 6 0 0 20 0 2 0 77292189 87265280 2401 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 48.05 s
Current children cumulated vsize: 85220 KiB
Current children cumulated memory: 9604 KiB

[startup+51.1055 s]
/proc/loadavg: 7.14 6.01 5.28 9/269 91189
/proc/meminfo: memFree=121346748/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=85716 memory=10500 CPUtime=95.44 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 12048 0 0 0 9476 68 0 0 20 0 2 0 77292189 87773184 2625 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 21429 2625 672 633 0 4326 0
[pid=91186/tid=91188] ppid=91183 vsize=85716 memory=19072 CPUtime=44.68 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 1873 0 0 0 4457 11 0 0 20 0 2 0 77292189 87773184 2625 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 95.44 s
Current children cumulated vsize: 85716 KiB
Current children cumulated memory: 10500 KiB

[startup+102.3 s]
/proc/loadavg: 7.37 6.24 5.40 8/270 91196
/proc/meminfo: memFree=121338916/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=86304 memory=11652 CPUtime=189.08 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 14624 0 0 0 18790 118 0 0 20 0 2 0 77292189 88375296 2913 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 21576 2913 672 633 0 4473 0
[pid=91186/tid=91188] ppid=91183 vsize=86304 memory=19072 CPUtime=87.51 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 2502 0 0 0 8730 21 0 0 20 0 2 0 77292189 88375296 2913 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 189.08 s
Current children cumulated vsize: 86304 KiB
Current children cumulated memory: 11652 KiB

[startup+162.3 s]
/proc/loadavg: 7.61 6.51 5.54 9/268 91198
/proc/meminfo: memFree=121343256/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=86928 memory=12548 CPUtime=297.03 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 16192 0 0 0 29534 169 0 0 20 0 2 0 77292189 89014272 3137 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 21732 3137 672 633 0 4629 0
[pid=91186/tid=91188] ppid=91183 vsize=86928 memory=5504 CPUtime=135.91 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 2689 0 0 0 13558 33 0 0 20 0 2 0 77292189 89014272 3137 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 297.03 s
Current children cumulated vsize: 86928 KiB
Current children cumulated memory: 12548 KiB

[startup+222.3 s]
/proc/loadavg: 7.40 6.63 5.65 7/267 91200
/proc/meminfo: memFree=121338792/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=89808 memory=14352 CPUtime=403.88 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 18211 0 0 0 40175 213 0 0 20 0 2 0 77292189 91963392 3588 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22452 3588 672 633 0 5349 0
[pid=91186/tid=91188] ppid=91183 vsize=89808 memory=19072 CPUtime=183.3 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 3038 0 0 0 18283 47 0 0 20 0 2 0 77292189 91963392 3588 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 403.88 s
Current children cumulated vsize: 89808 KiB
Current children cumulated memory: 14352 KiB

[startup+282.3 s]
/proc/loadavg: 7.46 6.78 5.76 9/267 91202
/proc/meminfo: memFree=121338912/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=90072 memory=14736 CPUtime=510.44 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 19102 0 0 0 50790 254 0 0 20 0 2 0 77292189 92233728 3684 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22518 3684 672 633 0 5415 0
[pid=91186/tid=91188] ppid=91183 vsize=90072 memory=14608 CPUtime=230.34 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 3244 0 0 0 22980 54 0 0 20 0 2 0 77292189 92233728 3684 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 510.44 s
Current children cumulated vsize: 90072 KiB
Current children cumulated memory: 14736 KiB

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

/proc/meminfo: memFree=121341124/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91836 memory=16400 CPUtime=2565.67 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 31983 0 0 0 255637 930 0 0 20 0 2 0 77292189 94040064 4100 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22959 4100 672 633 0 5856 0
[pid=91186/tid=91188] ppid=91183 vsize=91836 memory=16400 CPUtime=1096.32 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4003 0 0 0 109409 223 0 0 20 0 2 0 77292189 94040064 4100 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 2565.67 s
Current children cumulated vsize: 91836 KiB
Current children cumulated memory: 16400 KiB

[startup+1542.3 s]
/proc/loadavg: 7.33 7.45 7.01 9/268 91261
/proc/meminfo: memFree=121340484/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91996 memory=16528 CPUtime=2666.9 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 32000 0 0 0 265730 960 0 0 20 0 2 0 77292189 94203904 4132 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22999 4132 672 633 0 5896 0
[pid=91186/tid=91188] ppid=91183 vsize=91996 memory=16528 CPUtime=1138.08 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) S 91183 91186 90346 0 -1 4194368 4003 0 0 0 113579 229 0 0 20 0 2 0 77292189 94203904 4132 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 2666.9 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 16528 KiB

[startup+1602.3 s]
/proc/loadavg: 7.45 7.47 7.05 8/267 91263
/proc/meminfo: memFree=121340668/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91996 memory=16528 CPUtime=2768.09 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 32860 0 0 0 275818 991 0 0 20 0 2 0 77292189 94203904 4132 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22999 4132 672 633 0 5896 0
[pid=91186/tid=91188] ppid=91183 vsize=91996 memory=16528 CPUtime=1179.8 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4093 0 0 0 117743 237 0 0 20 0 2 0 77292189 94203904 4132 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 2768.09 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 16528 KiB

[startup+1662.3 s]
/proc/loadavg: 7.54 7.51 7.09 8/268 91313
/proc/meminfo: memFree=121312752/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91996 memory=16656 CPUtime=2873.95 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 32868 0 0 0 286376 1019 0 0 20 0 2 0 77292189 94203904 4164 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22999 4164 672 633 0 5896 0
[pid=91186/tid=91188] ppid=91183 vsize=91996 memory=16528 CPUtime=1226.16 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4093 0 0 0 122372 244 0 0 20 0 2 0 77292189 94203904 4164 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 2873.95 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 16656 KiB

[startup+1722.3 s]
/proc/loadavg: 7.62 7.53 7.12 8/268 91316
/proc/meminfo: memFree=121321516/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91996 memory=16656 CPUtime=2982 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 33745 0 0 0 297148 1052 0 0 20 0 2 0 77292189 94203904 4164 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22999 4164 672 633 0 5896 0
[pid=91186/tid=91188] ppid=91183 vsize=91996 memory=16528 CPUtime=1274.66 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4179 0 0 0 127214 252 0 0 20 0 2 0 77292189 94203904 4164 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 2982 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 16656 KiB

[startup+1782.3 s]
/proc/loadavg: 7.34 7.46 7.12 9/268 91364
/proc/meminfo: memFree=121307228/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91996 memory=16784 CPUtime=3090.05 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 33766 0 0 0 307924 1081 0 0 20 0 2 0 77292189 94203904 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22999 4196 672 633 0 5896 0
[pid=91186/tid=91188] ppid=91183 vsize=91996 memory=16784 CPUtime=1323.16 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) S 91183 91186 90346 0 -1 4194368 4179 0 0 0 132058 258 0 0 20 0 2 0 77292189 94203904 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3090.05 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 16784 KiB

[startup+1842.3 s]
/proc/loadavg: 7.58 7.53 7.17 9/268 91366
/proc/meminfo: memFree=121306216/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=91996 memory=16784 CPUtime=3198.12 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 34653 0 0 0 318703 1109 0 0 20 0 2 0 77292189 94203904 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 22999 4196 672 633 0 5896 0
[pid=91186/tid=91188] ppid=91183 vsize=91996 memory=16432 CPUtime=1371.69 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4273 0 0 0 136905 264 0 0 20 0 2 0 77292189 94203904 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3198.12 s
Current children cumulated vsize: 91996 KiB
Current children cumulated memory: 16784 KiB

[startup+1902.3 s]
/proc/loadavg: 7.68 7.55 7.20 9/269 91415
/proc/meminfo: memFree=121315316/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=92148 memory=16784 CPUtime=3306.25 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 34673 0 0 0 329486 1139 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 23037 4196 672 633 0 5934 0
[pid=91186/tid=91188] ppid=91183 vsize=92148 memory=16784 CPUtime=1420.28 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4273 0 0 0 141757 271 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3306.25 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 16784 KiB

[startup+1962.3 s]
/proc/loadavg: 7.78 7.60 7.24 9/269 91422
/proc/meminfo: memFree=121305164/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=92148 memory=16784 CPUtime=3414.1 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 35582 0 0 0 340241 1169 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 23037 4196 672 633 0 5934 0
[pid=91186/tid=91188] ppid=91183 vsize=92148 memory=16784 CPUtime=1468.61 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4293 0 0 0 146583 278 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3414.1 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 16784 KiB

[startup+2022.3 s]
/proc/loadavg: 7.76 7.62 7.27 8/269 91424
/proc/meminfo: memFree=121315596/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=92148 memory=16784 CPUtime=3522.03 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 35601 0 0 0 351004 1199 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 23037 4196 672 633 0 5934 0
[pid=91186/tid=91188] ppid=91183 vsize=92148 memory=16432 CPUtime=1516.98 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4293 0 0 0 151413 285 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3522.03 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 16784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2065.7 s]
/proc/loadavg: 7.78 7.65 7.29 9/269 91426
/proc/meminfo: memFree=121316064/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=92148 memory=16784 CPUtime=3600.02 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 35602 0 0 0 358781 1221 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 23037 4196 672 633 0 5934 0
[pid=91186/tid=91188] ppid=91183 vsize=92148 memory=16784 CPUtime=1551.86 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4293 0 0 0 154898 288 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 16784 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.84 s, system=12.2166 s

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

[startup+2065.7 s]
/proc/loadavg: 7.78 7.65 7.29 9/269 91426
/proc/meminfo: memFree=121316064/131250000 swapFree=33009904/33010684
[pid=91186] ppid=91183 vsize=92148 memory=16784 CPUtime=3600.02 cores=1,3
/proc/91186/stat : 91186 (pb_competition_) R 91183 91186 90346 0 -1 4194304 35602 0 0 0 358781 1221 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
/proc/91186/statm: 23037 4196 672 633 0 5934 0
[pid=91186/tid=91188] ppid=91183 vsize=92148 memory=16784 CPUtime=1551.86 cores=1,3
/proc/91186/task/91188/stat : 91188 (pb_competition_) R 91183 91186 90346 0 -1 4194368 4293 0 0 0 154898 288 0 0 20 0 2 0 77292189 94359552 4196 18446744073709551615 4198400 6788177 140732816996432 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 28090368 140732817004888 140732817005014 140732817005014 140732817010618 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 92148 KiB
Current children cumulated memory: 16784 KiB

Child status: 0

Real time (s): 2065.72
CPU time (s): 3600.06
CPU user time (s): 3587.84
CPU system time (s): 12.2166
CPU usage (%): 174.276
Max. virtual memory (cumulated for all children) (KiB): 92148
Max. memory (cumulated for all children) (KiB): 16784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.84
system time used= 12.2166
maximum resident set size= 16788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35700
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= 52750
involuntary context switches= 183249


# summary of solver processes directly reported to runsolver:
#   pid: 91186
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3587.84
#   total CPU system time (s): 12.2166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.17193 second user time and 9.54804 second system time

The end