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: 63665 MiB (62650 MiB free)
  memory of node 1: 64507 MiB (63900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496868-1751382437/watcher-4496868-1751382437 -o /tmp/evaluation-result-4496868-1751382437/solver-4496868-1751382437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58275 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1248567117 HOME/instance-4496868-1751382437.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=58330, runsolver pid=58317

[startup+0.100064 s]*
/proc/loadavg: 1.33 2.10 2.96 8/269 58337
/proc/meminfo: memFree=129498828/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=93788 memory=20376 CPUtime=0.14 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 4134 0 0 0 14 0 0 0 20 0 2 0 53923957 96038912 5094 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23447 5094 672 633 0 6579 0
[pid=58330/tid=58336] ppid=58317 vsize=93788 memory=4026532124 CPUtime=0.05 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 304 0 0 0 5 0 0 0 20 0 2 0 53923957 96038912 5094 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 20376 KiB

[startup+0.205933 s]*
/proc/loadavg: 1.33 2.10 2.96 8/269 58337
/proc/meminfo: memFree=129491520/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=93788 memory=20504 CPUtime=0.31 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 4138 0 0 0 30 1 0 0 20 0 2 0 53923957 96038912 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23447 5126 672 633 0 6579 0
[pid=58330/tid=58336] ppid=58317 vsize=93788 memory=664958721904869660 CPUtime=0.11 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 304 0 0 0 11 0 0 0 20 0 2 0 53923957 96038912 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 20504 KiB

[startup+0.305966 s]*
/proc/loadavg: 1.33 2.10 2.96 6/269 58337
/proc/meminfo: memFree=129459264/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=93788 memory=20504 CPUtime=0.48 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 4145 0 0 0 47 1 0 0 20 0 2 0 53923957 96038912 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23447 5126 672 633 0 6579 0
[pid=58330/tid=58336] ppid=58317 vsize=93788 memory=7971232266223959149 CPUtime=0.18 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 304 0 0 0 18 0 0 0 20 0 2 0 53923957 96038912 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 93788 KiB
Current children cumulated memory: 20504 KiB

[startup+0.700174 s]
/proc/loadavg: 1.33 2.10 2.96 6/269 58337
/proc/meminfo: memFree=129411208/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=93920 memory=20504 CPUtime=1.02 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 4158 0 0 0 101 1 0 0 20 0 2 0 53923957 96174080 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23480 5126 672 633 0 6612 0
[pid=58330/tid=58336] ppid=58317 vsize=93920 memory=13952 CPUtime=0.35 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 304 0 0 0 35 0 0 0 20 0 2 0 53923957 96174080 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 93920 KiB
Current children cumulated memory: 20504 KiB

[startup+1.50017 s]
/proc/loadavg: 1.33 2.10 2.96 7/269 58337
/proc/meminfo: memFree=129403144/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=93920 memory=20504 CPUtime=2.1 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 6935 0 0 0 208 2 0 0 20 0 2 0 53923957 96174080 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23480 5126 672 633 0 6612 0
[pid=58330/tid=58336] ppid=58317 vsize=93920 memory=13952 CPUtime=0.63 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 323 0 0 0 63 0 0 0 20 0 2 0 53923957 96174080 5126 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 93920 KiB
Current children cumulated memory: 20504 KiB

[startup+3.10583 s]
/proc/loadavg: 1.33 2.10 2.96 8/269 58337
/proc/meminfo: memFree=129395704/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=93920 memory=20632 CPUtime=4.78 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 7392 0 0 0 474 4 0 0 20 0 2 0 53923957 96174080 5158 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23480 5158 672 633 0 6612 0
[pid=58330/tid=58336] ppid=58317 vsize=93920 memory=14720 CPUtime=1.71 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 327 0 0 0 171 0 0 0 20 0 2 0 53923957 96174080 5158 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 4.78 s
Current children cumulated vsize: 93920 KiB
Current children cumulated memory: 20632 KiB

[startup+6.30024 s]
/proc/loadavg: 1.70 2.16 2.97 7/269 58337
/proc/meminfo: memFree=129396188/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=94308 memory=20888 CPUtime=10.55 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 10360 0 0 0 1047 8 0 0 20 0 2 0 53923957 96571392 5222 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23577 5222 672 633 0 6709 0
[pid=58330/tid=58336] ppid=58317 vsize=94308 memory=20760 CPUtime=4.31 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 794 0 0 0 431 0 0 0 20 0 2 0 53923957 96571392 5222 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 10.55 s
Current children cumulated vsize: 94308 KiB
Current children cumulated memory: 20888 KiB

[startup+12.7002 s]
/proc/loadavg: 2.05 2.22 2.99 6/269 58337
/proc/meminfo: memFree=129396264/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=94308 memory=21016 CPUtime=21.2 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 13550 0 0 0 2106 14 0 0 20 0 2 0 53923957 96571392 5254 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23577 5254 672 633 0 6709 0
[pid=58330/tid=58336] ppid=58317 vsize=94308 memory=7971513741200407661 CPUtime=8.6 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 1412 0 0 0 859 1 0 0 20 0 2 0 53923957 96571392 5254 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 21.2 s
Current children cumulated vsize: 94308 KiB
Current children cumulated memory: 21016 KiB

[startup+25.5002 s]
/proc/loadavg: 3.00 2.43 3.04 8/269 58337
/proc/meminfo: memFree=129396216/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=94308 memory=21016 CPUtime=45.49 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 19679 0 0 0 4517 32 0 0 20 0 2 0 53923957 96571392 5254 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23577 5254 672 633 0 6709 0
[pid=58330/tid=58336] ppid=58317 vsize=94308 memory=21016 CPUtime=20.18 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 2255 0 0 0 2014 4 0 0 20 0 2 0 53923957 96571392 5254 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 45.49 s
Current children cumulated vsize: 94308 KiB
Current children cumulated memory: 21016 KiB

[startup+51.1059 s]
/proc/loadavg: 3.94 2.70 3.12 7/269 58338
/proc/meminfo: memFree=129399572/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=94512 memory=21128 CPUtime=93.81 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 202937 0 0 0 9293 88 0 0 20 0 2 0 53923957 96780288 5282 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23628 5282 672 633 0 6760 0
[pid=58330/tid=58336] ppid=58317 vsize=94512 memory=21128 CPUtime=43.11 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 2747 0 0 0 4298 13 0 0 20 0 2 0 53923957 96780288 5282 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 93.81 s
Current children cumulated vsize: 94512 KiB
Current children cumulated memory: 21128 KiB

[startup+102.3 s]
/proc/loadavg: 5.31 3.27 3.29 7/269 58339
/proc/meminfo: memFree=129401312/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=94804 memory=21576 CPUtime=190.02 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 211880 0 0 0 18855 147 0 0 20 0 2 0 53923957 97079296 5394 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23701 5394 672 633 0 6833 0
[pid=58330/tid=58336] ppid=58317 vsize=94804 memory=13952 CPUtime=88.55 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 4397 0 0 0 8828 27 0 0 20 0 2 0 53923957 97079296 5394 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 190.02 s
Current children cumulated vsize: 94804 KiB
Current children cumulated memory: 21576 KiB

[startup+162.3 s]
/proc/loadavg: 6.11 3.88 3.50 8/269 58341
/proc/meminfo: memFree=129365152/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95464 memory=21820 CPUtime=302.22 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 220060 0 0 0 30003 219 0 0 20 0 2 0 53923957 97755136 5455 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23866 5455 672 633 0 6998 0
[pid=58330/tid=58336] ppid=58317 vsize=95464 memory=2241 CPUtime=141.22 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 5419 0 0 0 14077 45 0 0 20 0 2 0 53923957 97755136 5455 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 302.22 s
Current children cumulated vsize: 95464 KiB
Current children cumulated memory: 21820 KiB

[startup+222.3 s]
/proc/loadavg: 6.23 4.32 3.68 6/268 58345
/proc/meminfo: memFree=129332232/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95464 memory=21948 CPUtime=413.98 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 220335 0 0 0 41108 290 0 0 20 0 2 0 53923957 97755136 5487 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23866 5487 672 633 0 6998 0
[pid=58330/tid=58336] ppid=58317 vsize=95464 memory=14720 CPUtime=193.51 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 5469 0 0 0 19286 65 0 0 20 0 2 0 53923957 97755136 5487 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 413.98 s
Current children cumulated vsize: 95464 KiB
Current children cumulated memory: 21948 KiB

[startup+282.3 s]
/proc/loadavg: 6.44 4.71 3.86 8/268 58347
/proc/meminfo: memFree=129321584/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95464 memory=21948 CPUtime=526.58 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 221383 0 0 0 52293 365 0 0 20 0 2 0 53923957 97755136 5487 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23866 5487 672 633 0 6998 0
[pid=58330/tid=58336] ppid=58317 vsize=95464 memory=13952 CPUtime=246.64 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 5521 0 0 0 24580 84 0 0 20 0 2 0 53923957 97755136 5487 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 526.58 s
Current children cumulated vsize: 95464 KiB
Current children cumulated memory: 21948 KiB

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

/proc/meminfo: memFree=129374812/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95516 memory=21948 CPUtime=2542.52 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 435267 0 0 0 252647 1605 0 0 20 0 2 0 53923957 97808384 5487 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23879 5487 672 633 0 7011 0
[pid=58330/tid=58336] ppid=58317 vsize=95516 memory=21948 CPUtime=1190.47 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6357 0 0 0 118651 396 0 0 20 0 2 0 53923957 97808384 5487 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 2542.52 s
Current children cumulated vsize: 95516 KiB
Current children cumulated memory: 21948 KiB

[startup+1422.3 s]
/proc/loadavg: 6.80 6.84 6.01 8/267 58401
/proc/meminfo: memFree=129374956/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=22080 CPUtime=2654.54 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 484202 0 0 0 263784 1670 0 0 20 0 2 0 53923957 97812480 5520 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5520 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=14720 CPUtime=1242.96 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6357 0 0 0 123884 412 0 0 20 0 2 0 53923957 97812480 5520 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 2654.54 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 22080 KiB

[startup+1482.3 s]
/proc/loadavg: 6.69 6.82 6.06 8/266 58403
/proc/meminfo: memFree=129375548/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=21956 CPUtime=2766.18 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 538329 0 0 0 274875 1743 0 0 20 0 2 0 53923957 97812480 5489 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5489 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=22080 CPUtime=1295.09 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6425 0 0 0 129079 430 0 0 20 0 2 0 53923957 97812480 5489 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 2766.18 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 21956 KiB

[startup+1542.3 s]
/proc/loadavg: 6.90 6.88 6.13 8/266 58405
/proc/meminfo: memFree=129377848/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=21960 CPUtime=2878.12 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 639454 0 0 0 285987 1825 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5490 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=14720 CPUtime=1347.47 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6425 0 0 0 134298 449 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 2878.12 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 21960 KiB

[startup+1602.3 s]
/proc/loadavg: 6.60 6.79 6.15 9/266 58407
/proc/meminfo: memFree=129377260/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=21952 CPUtime=2990.12 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 820414 0 0 0 297101 1911 0 0 20 0 2 0 53923957 97812480 5488 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5488 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21704 CPUtime=1399.92 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) S 58317 58330 58262 0 -1 4194368 6501 0 0 0 139526 466 0 0 20 0 2 0 53923957 97812480 5488 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 2990.12 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 21952 KiB

[startup+1662.3 s]
/proc/loadavg: 6.75 6.81 6.20 8/267 58414
/proc/meminfo: memFree=129377188/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=22072 CPUtime=3101.8 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 1009822 0 0 0 308181 1999 0 0 20 0 2 0 53923957 97812480 5518 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5518 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21704 CPUtime=1452.06 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6585 0 0 0 144720 486 0 0 20 0 2 0 53923957 97812480 5518 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3101.8 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 22072 KiB

[startup+1722.3 s]
/proc/loadavg: 6.59 6.77 6.22 8/267 58416
/proc/meminfo: memFree=129377868/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=22056 CPUtime=3213.36 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 1270298 0 0 0 319241 2095 0 0 20 0 2 0 53923957 97812480 5514 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5514 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21704 CPUtime=1504.04 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6666 0 0 0 149902 502 0 0 20 0 2 0 53923957 97812480 5514 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 22056 KiB

[startup+1782.3 s]
/proc/loadavg: 6.97 6.84 6.28 8/267 58418
/proc/meminfo: memFree=129377212/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95388 memory=21708 CPUtime=3325.32 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 1693684 0 0 0 330317 2215 0 0 20 0 2 0 53923957 97677312 5427 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23847 5427 672 633 0 6979 0
[pid=58330/tid=58336] ppid=58317 vsize=95388 memory=21708 CPUtime=1556.44 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6750 0 0 0 155125 519 0 0 20 0 2 0 53923957 97677312 5427 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3325.32 s
Current children cumulated vsize: 95388 KiB
Current children cumulated memory: 21708 KiB

[startup+1842.3 s]
/proc/loadavg: 6.84 6.83 6.31 8/267 58420
/proc/meminfo: memFree=129377432/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=21960 CPUtime=3436.97 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 2079353 0 0 0 341361 2336 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5490 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21704 CPUtime=1608.54 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6895 0 0 0 160317 537 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3436.97 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 21960 KiB

[startup+1902.3 s]
/proc/loadavg: 6.94 6.86 6.36 8/267 58422
/proc/meminfo: memFree=129376340/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=22080 CPUtime=3548.25 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 2511763 0 0 0 352360 2465 0 0 20 0 2 0 53923957 97812480 5520 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5520 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21952 CPUtime=1660.26 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 6972 0 0 0 165472 554 0 0 20 0 2 0 53923957 97812480 5520 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3548.25 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 22080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1930.11 s]
/proc/loadavg: 6.83 6.84 6.37 8/266 58469
/proc/meminfo: memFree=129371256/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=21960 CPUtime=3600.01 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 2706564 0 0 0 357478 2523 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5490 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21824 CPUtime=1684.45 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 7066 0 0 0 167882 563 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 21960 KiB

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

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

# cumulated CPU time of all completed processes:  user=3574.8 s, system=25.235 s

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

[startup+1930.11 s]
/proc/loadavg: 6.83 6.84 6.37 8/266 58469
/proc/meminfo: memFree=129371256/131250000 swapFree=33010684/33010684
[pid=58330] ppid=58317 vsize=95520 memory=21960 CPUtime=3600.01 cores=5,7
/proc/58330/stat : 58330 (pb_competition_) R 58317 58330 58262 0 -1 4194304 2706564 0 0 0 357478 2523 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
/proc/58330/statm: 23880 5490 672 633 0 7012 0
[pid=58330/tid=58336] ppid=58317 vsize=95520 memory=21824 CPUtime=1684.45 cores=5,7
/proc/58330/task/58336/stat : 58336 (pb_competition_) R 58317 58330 58262 0 -1 4194368 7066 0 0 0 167882 563 0 0 20 0 2 0 53923957 97812480 5490 18446744073709551615 4198400 6788177 140736575047200 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 14061568 140736575056217 140736575056344 140736575056344 140736575061946 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 95520 KiB
Current children cumulated memory: 21960 KiB

Child status: 0

Real time (s): 1930.12
CPU time (s): 3600.04
CPU user time (s): 3574.8
CPU system time (s): 25.235
CPU usage (%): 186.519
Max. virtual memory (cumulated for all children) (KiB): 95656
Max. memory (cumulated for all children) (KiB): 22208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.8
system time used= 25.235
maximum resident set size= 22216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2707041
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= 100839
involuntary context switches= 47715


# summary of solver processes directly reported to runsolver:
#   pid: 58330
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3574.8
#   total CPU system time (s): 25.235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.06536 second user time and 9.39142 second system time

The end