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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520754-1751566991/watcher-4520754-1751566991 -o /tmp/evaluation-result-4520754-1751566991/solver-4520754-1751566991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751566991-80087 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1059741070 HOME/instance-4520754-1751566991.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=80144, runsolver pid=80127

[startup+0.100059 s]*
/proc/loadavg: 0.68 1.61 2.73 7/268 80148
/proc/meminfo: memFree=108669132/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=95332 memory=22044 CPUtime=0.12 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 5122 0 0 0 12 0 0 0 20 0 2 0 72377648 97619968 5511 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 23833 5511 672 633 0 6999 0
[pid=80144/tid=80148] ppid=80127 vsize=95332 memory=4026531960 CPUtime=0.03 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 338 0 0 0 3 0 0 0 20 0 2 0 72377649 97619968 5511 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 95332 KiB
Current children cumulated memory: 22044 KiB

[startup+0.205737 s]*
/proc/loadavg: 0.68 1.61 2.73 8/268 80148
/proc/meminfo: memFree=108665352/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=95332 memory=22172 CPUtime=0.31 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 5130 0 0 0 30 1 0 0 20 0 2 0 72377648 97619968 5543 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 23833 5543 672 633 0 6999 0
[pid=80144/tid=80148] ppid=80127 vsize=95332 memory=5983648042466672924 CPUtime=0.1 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 338 0 0 0 10 0 0 0 20 0 2 0 72377649 97619968 5543 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 95332 KiB
Current children cumulated memory: 22172 KiB

[startup+0.305664 s]*
/proc/loadavg: 0.68 1.61 2.73 8/268 80148
/proc/meminfo: memFree=108665352/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=95708 memory=22560 CPUtime=0.48 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) S 80127 80144 80074 0 -1 4194304 5307 0 0 0 47 1 0 0 20 0 2 0 72377648 98004992 5640 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 23927 5640 672 633 0 7093 0
[pid=80144/tid=80148] ppid=80127 vsize=95708 memory=-6880795192744645740 CPUtime=0.19 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 338 0 0 0 19 0 0 0 20 0 2 0 72377649 98004992 5640 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 95708 KiB
Current children cumulated memory: 22560 KiB

[startup+0.700152 s]
/proc/loadavg: 0.68 1.61 2.73 7/268 80148
/proc/meminfo: memFree=108665328/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=95840 memory=22804 CPUtime=1.21 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 5560 0 0 0 120 1 0 0 20 0 2 0 72377648 98140160 5701 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 23960 5701 672 633 0 7126 0
[pid=80144/tid=80148] ppid=80127 vsize=95840 memory=18432 CPUtime=0.54 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 338 0 0 0 54 0 0 0 20 0 2 0 72377649 98140160 5701 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 95840 KiB
Current children cumulated memory: 22804 KiB

[startup+1.50017 s]
/proc/loadavg: 0.68 1.61 2.73 8/268 80148
/proc/meminfo: memFree=108665328/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=96308 memory=23140 CPUtime=2.75 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 10683 0 0 0 273 2 0 0 20 0 2 0 72377648 98619392 5785 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24077 5785 672 633 0 7243 0
[pid=80144/tid=80148] ppid=80127 vsize=96308 memory=18432 CPUtime=1.29 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 643 0 0 0 129 0 0 0 20 0 2 0 72377649 98619392 5785 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 96308 KiB
Current children cumulated memory: 23140 KiB

[startup+3.10554 s]
/proc/loadavg: 0.68 1.61 2.73 10/268 80148
/proc/meminfo: memFree=108665680/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=97028 memory=24016 CPUtime=5.82 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 45094 0 0 0 575 7 0 0 20 0 2 0 72377648 99356672 6004 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24257 6004 672 633 0 7423 0
[pid=80144/tid=80148] ppid=80127 vsize=97028 memory=14344 CPUtime=2.75 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 818 0 0 0 275 0 0 0 20 0 2 0 72377649 99356672 6004 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 97028 KiB
Current children cumulated memory: 24016 KiB

[startup+6.30015 s]
/proc/loadavg: 1.19 1.70 2.75 9/266 80148
/proc/meminfo: memFree=108665500/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=97644 memory=24504 CPUtime=12.04 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 146879 0 0 0 1185 19 0 0 20 0 2 0 72377648 99987456 6126 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24411 6126 672 633 0 7577 0
[pid=80144/tid=80148] ppid=80127 vsize=97644 memory=24476 CPUtime=5.8 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 1484 0 0 0 580 0 0 0 20 0 2 0 72377649 99987456 6126 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 12.04 s
Current children cumulated vsize: 97644 KiB
Current children cumulated memory: 24504 KiB

[startup+12.7002 s]
/proc/loadavg: 1.65 1.79 2.77 10/266 80149
/proc/meminfo: memFree=108665256/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=97960 memory=24752 CPUtime=24.19 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 169387 0 0 0 2394 25 0 0 20 0 2 0 72377648 100311040 6188 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24490 6188 672 633 0 7656 0
[pid=80144/tid=80148] ppid=80127 vsize=97960 memory=24752 CPUtime=11.59 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 2628 0 0 0 1159 0 0 0 20 0 2 0 72377649 100311040 6188 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 24.19 s
Current children cumulated vsize: 97960 KiB
Current children cumulated memory: 24752 KiB

[startup+25.5002 s]
/proc/loadavg: 2.84 2.04 2.84 9/266 80149
/proc/meminfo: memFree=108664508/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=97624 memory=24392 CPUtime=49.31 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 178318 0 0 0 4898 33 0 0 20 0 2 0 72377648 99966976 6098 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24406 6098 672 633 0 7572 0
[pid=80144/tid=80148] ppid=80127 vsize=97624 memory=24500 CPUtime=24.01 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 2885 0 0 0 2399 2 0 0 20 0 2 0 72377649 99966976 6098 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 49.31 s
Current children cumulated vsize: 97624 KiB
Current children cumulated memory: 24392 KiB

[startup+51.1056 s]
/proc/loadavg: 4.54 2.51 2.98 9/266 80149
/proc/meminfo: memFree=108663800/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=98104 memory=24868 CPUtime=99.17 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 198426 0 0 0 9870 47 0 0 20 0 2 0 72377648 100458496 6217 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24526 6217 672 633 0 7692 0
[pid=80144/tid=80148] ppid=80127 vsize=98104 memory=24024 CPUtime=48.49 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 3746 0 0 0 4844 5 0 0 20 0 2 0 72377649 100458496 6217 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 99.17 s
Current children cumulated vsize: 98104 KiB
Current children cumulated memory: 24868 KiB

[startup+102.3 s]
/proc/loadavg: 6.20 3.26 3.21 9/266 80151
/proc/meminfo: memFree=108654772/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=98168 memory=24956 CPUtime=199.51 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 247252 0 0 0 19877 74 0 0 20 0 2 0 72377648 100524032 6239 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24542 6239 672 633 0 7708 0
[pid=80144/tid=80148] ppid=80127 vsize=98168 memory=14344 CPUtime=98.03 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 4623 0 0 0 9795 8 0 0 20 0 2 0 72377649 100524032 6239 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 199.51 s
Current children cumulated vsize: 98168 KiB
Current children cumulated memory: 24956 KiB

[startup+162.3 s]
/proc/loadavg: 6.91 3.99 3.47 9/266 80153
/proc/meminfo: memFree=108630396/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=98680 memory=25464 CPUtime=316.92 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 262875 0 0 0 31595 97 0 0 20 0 2 0 72377648 101048320 6366 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24670 6366 672 633 0 7836 0
[pid=80144/tid=80148] ppid=80127 vsize=98680 memory=25416 CPUtime=155.94 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5198 0 0 0 15581 13 0 0 20 0 2 0 72377649 101048320 6366 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 316.92 s
Current children cumulated vsize: 98680 KiB
Current children cumulated memory: 25464 KiB

[startup+222.3 s]
/proc/loadavg: 7.37 4.66 3.73 9/267 80158
/proc/meminfo: memFree=108660020/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=99452 memory=25836 CPUtime=433.66 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 263916 0 0 0 43248 118 0 0 20 0 2 0 72377648 101838848 6459 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24863 6459 672 633 0 8029 0
[pid=80144/tid=80148] ppid=80127 vsize=99452 memory=14344 CPUtime=213.14 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5203 0 0 0 21297 17 0 0 20 0 2 0 72377649 101838848 6459 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 433.66 s
Current children cumulated vsize: 99452 KiB
Current children cumulated memory: 25836 KiB

[startup+282.3 s]
/proc/loadavg: 7.37 5.17 3.97 9/267 80160
/proc/meminfo: memFree=108659780/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=99452 memory=25836 CPUtime=551.07 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 265339 0 0 0 54970 137 0 0 20 0 2 0 72377648 101838848 6459 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 24863 6459 672 633 0 8029 0
[pid=80144/tid=80148] ppid=80127 vsize=99452 memory=25836 CPUtime=271 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5326 0 0 0 27079 21 0 0 20 0 2 0 72377649 101838848 6459 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 551.07 s
Current children cumulated vsize: 99452 KiB
Current children cumulated memory: 25836 KiB

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

/proc/meminfo: memFree=108639508/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100172 memory=26752 CPUtime=2415.96 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 357248 0 0 0 241112 484 0 0 20 0 2 0 72377648 102576128 6688 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25043 6688 672 633 0 8209 0
[pid=80144/tid=80148] ppid=80127 vsize=100172 memory=26752 CPUtime=1183.2 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5820 0 0 0 118223 97 0 0 20 0 2 0 72377649 102576128 6688 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 2415.96 s
Current children cumulated vsize: 100172 KiB
Current children cumulated memory: 26752 KiB

[startup+1302.3 s]
/proc/loadavg: 7.16 7.33 6.31 9/267 80209
/proc/meminfo: memFree=108639012/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100172 memory=26880 CPUtime=2532.94 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 357997 0 0 0 252788 506 0 0 20 0 2 0 72377648 102576128 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25043 6720 672 633 0 8209 0
[pid=80144/tid=80148] ppid=80127 vsize=100172 memory=26752 CPUtime=1240.64 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5912 0 0 0 123961 103 0 0 20 0 2 0 72377649 102576128 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 2532.94 s
Current children cumulated vsize: 100172 KiB
Current children cumulated memory: 26880 KiB

[startup+1362.3 s]
/proc/loadavg: 7.43 7.36 6.39 9/265 80211
/proc/meminfo: memFree=108639036/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100172 memory=26880 CPUtime=2649.81 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358012 0 0 0 264453 528 0 0 20 0 2 0 72377648 102576128 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25043 6720 672 633 0 8209 0
[pid=80144/tid=80148] ppid=80127 vsize=100172 memory=26880 CPUtime=1297.97 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5914 0 0 0 129688 109 0 0 20 0 2 0 72377649 102576128 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 2649.81 s
Current children cumulated vsize: 100172 KiB
Current children cumulated memory: 26880 KiB

[startup+1422.3 s]
/proc/loadavg: 7.37 7.36 6.45 8/266 80216
/proc/meminfo: memFree=108640088/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=26880 CPUtime=2767.04 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358024 0 0 0 276156 548 0 0 20 0 2 0 72377648 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6720 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=26880 CPUtime=1355.65 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5914 0 0 0 135452 113 0 0 20 0 2 0 72377649 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 2767.04 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 26880 KiB

[startup+1482.3 s]
/proc/loadavg: 7.33 7.35 6.51 9/266 80217
/proc/meminfo: memFree=108647476/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=26880 CPUtime=2884.33 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358034 0 0 0 287866 567 0 0 20 0 2 0 72377648 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6720 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=14344 CPUtime=1413.41 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5914 0 0 0 141223 118 0 0 20 0 2 0 72377649 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 2884.33 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 26880 KiB

[startup+1542.3 s]
/proc/loadavg: 7.28 7.32 6.55 10/266 80219
/proc/meminfo: memFree=108649576/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=26880 CPUtime=3001.29 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358034 0 0 0 299542 587 0 0 20 0 2 0 72377648 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6720 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=10752 CPUtime=1470.84 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) S 80127 80144 80074 0 -1 4194368 5914 0 0 0 146963 121 0 0 20 0 2 0 72377649 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3001.29 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 26880 KiB

[startup+1602.3 s]
/proc/loadavg: 7.26 7.31 6.60 10/266 80221
/proc/meminfo: memFree=108647820/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=26880 CPUtime=3118.87 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358039 0 0 0 311283 604 0 0 20 0 2 0 72377648 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6720 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=26880 CPUtime=1528.86 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5916 0 0 0 152761 125 0 0 20 0 2 0 72377649 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3118.87 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 26880 KiB

[startup+1662.3 s]
/proc/loadavg: 7.39 7.32 6.65 9/266 80228
/proc/meminfo: memFree=108658340/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=26880 CPUtime=3236.09 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358049 0 0 0 322989 620 0 0 20 0 2 0 72377648 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6720 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=26880 CPUtime=1586.52 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5916 0 0 0 158524 128 0 0 20 0 2 0 72377649 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3236.09 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 26880 KiB

[startup+1722.3 s]
/proc/loadavg: 7.55 7.38 6.71 10/265 80230
/proc/meminfo: memFree=108656812/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=26880 CPUtime=3353.14 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358049 0 0 0 334674 640 0 0 20 0 2 0 72377648 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6720 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=26880 CPUtime=1644.06 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5916 0 0 0 164274 132 0 0 20 0 2 0 72377649 102711296 6720 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3353.14 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 26880 KiB

[startup+1782.3 s]
/proc/loadavg: 7.39 7.36 6.75 9/265 80232
/proc/meminfo: memFree=108656276/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100304 memory=27008 CPUtime=3469.96 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358077 0 0 0 346333 663 0 0 20 0 2 0 72377648 102711296 6752 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25076 6752 672 633 0 8242 0
[pid=80144/tid=80148] ppid=80127 vsize=100304 memory=14344 CPUtime=1701.3 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5916 0 0 0 169995 135 0 0 20 0 2 0 72377649 102711296 6752 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3469.96 s
Current children cumulated vsize: 100304 KiB
Current children cumulated memory: 27008 KiB

[startup+1842.3 s]
/proc/loadavg: 7.44 7.38 6.80 9/266 80281
/proc/meminfo: memFree=108631672/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100220 memory=26940 CPUtime=3586.62 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358694 0 0 0 357977 685 0 0 20 0 2 0 72377648 102625280 6735 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25055 6735 672 633 0 8221 0
[pid=80144/tid=80148] ppid=80127 vsize=100220 memory=26888 CPUtime=1758.42 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5916 0 0 0 175702 140 0 0 20 0 2 0 72377649 102625280 6735 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3586.62 s
Current children cumulated vsize: 100220 KiB
Current children cumulated memory: 26940 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1849.2 s]
/proc/loadavg: 7.60 7.42 6.82 8/266 80281
/proc/meminfo: memFree=108632200/131249988 swapFree=33010416/33010684
[pid=80144] ppid=80127 vsize=100220 memory=26940 CPUtime=3600.05 cores=5,7
/proc/80144/stat : 80144 (pb_competition_) R 80127 80144 80074 0 -1 4194304 358698 0 0 0 359318 687 0 0 20 0 2 0 72377648 102625280 6735 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
/proc/80144/statm: 25055 6735 672 633 0 8221 0
[pid=80144/tid=80148] ppid=80127 vsize=100220 memory=3100 CPUtime=1765 cores=5,7
/proc/80144/task/80148/stat : 80148 (pb_competition_) R 80127 80144 80074 0 -1 4194368 5916 0 0 0 176360 140 0 0 20 0 2 0 72377649 102625280 6735 18446744073709551615 4198400 6788177 140726390106720 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 35180544 140726390110553 140726390110680 140726390110680 140726390116282 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 100220 KiB
Current children cumulated memory: 26940 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.2 s, system=6.87163 s

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

Child status: 0

Real time (s): 1849.21
CPU time (s): 3600.07
CPU user time (s): 3593.2
CPU system time (s): 6.87163
CPU usage (%): 194.681
Max. virtual memory (cumulated for all children) (KiB): 100656
Max. memory (cumulated for all children) (KiB): 27144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.2
system time used= 6.87163
maximum resident set size= 27144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358970
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= 28165
involuntary context switches= 60549


# summary of solver processes directly reported to runsolver:
#   pid: 80144
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.2
#   total CPU system time (s): 6.87163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.78748 second user time and 8.04261 second system time

The end