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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499716-1751405359/watcher-4499716-1751405359 -o /tmp/evaluation-result-4499716-1751405359/solver-4499716-1751405359 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751395822-56306 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1117529031 HOME/instance-4499716-1751405359.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100067 s]*
/proc/loadavg: 4.99 4.76 4.73 5/268 57924
/proc/meminfo: memFree=108604704/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=113404 memory=47040 CPUtime=0.15 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 8135 0 0 0 13 2 0 0 20 0 2 0 56214732 116125696 11760 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 28351 11760 640 633 0 13286 0
[pid=57922/tid=57924] ppid=57919 vsize=113404 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 2107 0 0 0 5 0 0 0 20 0 2 0 56214732 116125696 11760 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 113404 KiB
Current children cumulated memory: 47040 KiB

[startup+0.205869 s]*
/proc/loadavg: 4.99 4.76 4.73 5/268 57924
/proc/meminfo: memFree=108588576/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=132328 memory=65984 CPUtime=0.26 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 12860 0 0 0 23 3 0 0 20 0 2 0 56214732 135503872 16496 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 33082 16496 672 633 0 18017 0
[pid=57922/tid=57924] ppid=57919 vsize=132328 memory=664958721904869660 CPUtime=0.05 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 2107 0 0 0 5 0 0 0 20 0 2 0 56214732 135503872 16496 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 132328 KiB
Current children cumulated memory: 65984 KiB

[startup+0.305776 s]*
/proc/loadavg: 4.99 4.76 4.73 5/268 57924
/proc/meminfo: memFree=108556320/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165196 memory=99008 CPUtime=0.35 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) S 57919 57922 56290 0 -1 4194304 21107 0 0 0 31 4 0 0 20 0 2 0 56214732 169160704 24752 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41299 24752 672 633 0 26234 0
[pid=57922/tid=57924] ppid=57919 vsize=165196 memory=-6736952653571722341 CPUtime=0.05 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) R 57919 57922 56290 0 -1 4194368 2107 0 0 0 5 0 0 0 20 0 2 0 56214732 169160704 24752 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 165196 KiB
Current children cumulated memory: 99008 KiB

[startup+0.700223 s]
/proc/loadavg: 4.99 4.76 4.73 5/268 57924
/proc/meminfo: memFree=108555816/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165196 memory=99008 CPUtime=0.86 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 21119 0 0 0 81 5 0 0 20 0 2 0 56214732 169160704 24752 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41299 24752 672 633 0 26234 0
[pid=57922/tid=57924] ppid=57919 vsize=165196 memory=18432 CPUtime=0.16 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 2107 0 0 0 16 0 0 0 20 0 2 0 56214732 169160704 24752 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 165196 KiB
Current children cumulated memory: 99008 KiB

[startup+1.5002 s]
/proc/loadavg: 4.99 4.76 4.73 5/268 57924
/proc/meminfo: memFree=108555816/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165196 memory=99136 CPUtime=1.92 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 32603 0 0 0 186 6 0 0 20 0 2 0 56214732 169160704 24784 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41299 24784 672 633 0 26234 0
[pid=57922/tid=57924] ppid=57919 vsize=165196 memory=18432 CPUtime=0.43 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 2295 0 0 0 42 1 0 0 20 0 2 0 56214732 169160704 24784 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 165196 KiB
Current children cumulated memory: 99136 KiB

[startup+3.10568 s]
/proc/loadavg: 4.99 4.76 4.73 6/268 57924
/proc/meminfo: memFree=108555652/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165328 memory=99136 CPUtime=3.89 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 41626 0 0 0 382 7 0 0 20 0 2 0 56214732 169295872 24784 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41332 24784 672 633 0 26267 0
[pid=57922/tid=57924] ppid=57919 vsize=165328 memory=99136 CPUtime=0.81 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 2355 0 0 0 80 1 0 0 20 0 2 0 56214732 169295872 24784 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3.89 s
Current children cumulated vsize: 165328 KiB
Current children cumulated memory: 99136 KiB

[startup+6.3002 s]
/proc/loadavg: 4.91 4.75 4.72 6/268 57924
/proc/meminfo: memFree=108556060/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165328 memory=99136 CPUtime=7.53 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 55674 0 0 0 745 8 0 0 20 0 2 0 56214732 169295872 24784 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41332 24784 672 633 0 26267 0
[pid=57922/tid=57924] ppid=57919 vsize=165328 memory=18432 CPUtime=1.25 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) R 57919 57922 56290 0 -1 4194368 2494 0 0 0 124 1 0 0 20 0 2 0 56214732 169295872 24784 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 165328 KiB
Current children cumulated memory: 99136 KiB

[startup+12.7002 s]
/proc/loadavg: 4.84 4.74 4.72 6/268 57924
/proc/meminfo: memFree=108552088/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165328 memory=99264 CPUtime=14.22 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 79353 0 0 0 1412 10 0 0 20 0 2 0 56214732 169295872 24816 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41332 24816 672 633 0 26267 0
[pid=57922/tid=57924] ppid=57919 vsize=165328 memory=99264 CPUtime=1.57 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) R 57919 57922 56290 0 -1 4194368 2771 0 0 0 156 1 0 0 20 0 2 0 56214732 169295872 24816 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 165328 KiB
Current children cumulated memory: 99264 KiB

[startup+25.5002 s]
/proc/loadavg: 4.79 4.73 4.72 5/268 57924
/proc/meminfo: memFree=108544828/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165592 memory=99392 CPUtime=29.44 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 106333 0 0 0 2931 13 0 0 20 0 2 0 56214732 169566208 24848 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41398 24848 672 633 0 26333 0
[pid=57922/tid=57924] ppid=57919 vsize=165592 memory=99392 CPUtime=4.06 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 3218 0 0 0 404 2 0 0 20 0 2 0 56214732 169566208 24848 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 29.44 s
Current children cumulated vsize: 165592 KiB
Current children cumulated memory: 99392 KiB

[startup+51.1057 s]
/proc/loadavg: 4.97 4.79 4.74 5/269 57926
/proc/meminfo: memFree=108534316/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165592 memory=99392 CPUtime=59.25 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 128624 0 0 0 5907 18 0 0 20 0 2 0 56214732 169566208 24848 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41398 24848 672 633 0 26333 0
[pid=57922/tid=57924] ppid=57919 vsize=165592 memory=18432 CPUtime=8.4 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 3611 0 0 0 836 4 0 0 20 0 2 0 56214732 169566208 24848 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 59.25 s
Current children cumulated vsize: 165592 KiB
Current children cumulated memory: 99392 KiB

[startup+102.3 s]
/proc/loadavg: 4.72 4.75 4.73 5/269 57930
/proc/meminfo: memFree=108526916/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165592 memory=99392 CPUtime=119.83 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 151812 0 0 0 11957 26 0 0 20 0 2 0 56214732 169566208 24848 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41398 24848 672 633 0 26333 0
[pid=57922/tid=57924] ppid=57919 vsize=165592 memory=18432 CPUtime=18.06 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 4366 0 0 0 1799 7 0 0 20 0 2 0 56214732 169566208 24848 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 119.83 s
Current children cumulated vsize: 165592 KiB
Current children cumulated memory: 99392 KiB

[startup+162.3 s]
/proc/loadavg: 4.59 4.72 4.72 5/268 57932
/proc/meminfo: memFree=108515864/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165724 memory=99520 CPUtime=189.96 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 173479 0 0 0 18959 37 0 0 20 0 2 0 56214732 169701376 24880 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41431 24880 672 633 0 26366 0
[pid=57922/tid=57924] ppid=57919 vsize=165724 memory=5632 CPUtime=28.48 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) R 57919 57922 56290 0 -1 4194368 5162 0 0 0 2836 12 0 0 20 0 2 0 56214732 169701376 24880 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 189.96 s
Current children cumulated vsize: 165724 KiB
Current children cumulated memory: 99520 KiB

[startup+222.3 s]
/proc/loadavg: 4.64 4.71 4.72 5/268 57934
/proc/meminfo: memFree=108525604/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165724 memory=99776 CPUtime=260.33 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 176802 0 0 0 25987 46 0 0 20 0 2 0 56214732 169701376 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41431 24944 672 633 0 26366 0
[pid=57922/tid=57924] ppid=57919 vsize=165724 memory=99648 CPUtime=39.16 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5162 0 0 0 3899 17 0 0 20 0 2 0 56214732 169701376 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 260.33 s
Current children cumulated vsize: 165724 KiB
Current children cumulated memory: 99776 KiB

[startup+282.3 s]
/proc/loadavg: 4.50 4.67 4.71 5/268 57936
/proc/meminfo: memFree=108525604/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165724 memory=99776 CPUtime=331.4 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 176805 0 0 0 33086 54 0 0 20 0 2 0 56214732 169701376 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41431 24944 672 633 0 26366 0
[pid=57922/tid=57924] ppid=57919 vsize=165724 memory=99776 CPUtime=50.5 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5162 0 0 0 5030 20 0 0 20 0 2 0 56214732 169701376 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 331.4 s
Current children cumulated vsize: 165724 KiB
Current children cumulated memory: 99776 KiB

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

/proc/meminfo: memFree=108957688/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=2882.07 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 198565 0 0 0 287853 354 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=451.28 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5672 0 0 0 44946 182 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 2882.07 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2502.3 s]
/proc/loadavg: 2.58 3.75 4.30 3/254 58130
/proc/meminfo: memFree=108957592/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=2952.85 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 198566 0 0 0 294922 363 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=462.31 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5672 0 0 0 46045 186 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 2952.85 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2562.3 s]
/proc/loadavg: 2.36 3.47 4.17 3/252 58134
/proc/meminfo: memFree=108957788/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3023.64 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 199311 0 0 0 301992 372 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=7451037789168427883 CPUtime=473.38 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5674 0 0 0 47147 191 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3023.64 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2622.3 s]
/proc/loadavg: 2.61 3.33 4.07 3/252 58136
/proc/meminfo: memFree=108958148/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3095.14 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 200051 0 0 0 309131 383 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=485.14 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) R 57919 57922 56290 0 -1 4194368 5772 0 0 0 48318 196 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3095.14 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2682.3 s]
/proc/loadavg: 2.34 3.13 3.96 3/252 58138
/proc/meminfo: memFree=108958244/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3165.61 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 200805 0 0 0 316170 391 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=495.91 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) R 57919 57922 56290 0 -1 4194368 5773 0 0 0 49390 201 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3165.61 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2742.3 s]
/proc/loadavg: 2.56 3.04 3.87 3/252 58140
/proc/meminfo: memFree=108958844/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3236.07 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 201546 0 0 0 323208 399 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=506.63 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5774 0 0 0 50456 207 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3236.07 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2802.3 s]
/proc/loadavg: 2.56 2.94 3.78 5/252 58142
/proc/meminfo: memFree=108959204/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3307.15 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 202306 0 0 0 330307 408 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=517.97 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5776 0 0 0 51585 212 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3307.15 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2862.3 s]
/proc/loadavg: 2.68 2.90 3.71 3/253 58149
/proc/meminfo: memFree=108959988/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3377.75 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 203064 0 0 0 337360 415 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=528.84 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5777 0 0 0 52668 216 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3377.75 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2922.3 s]
/proc/loadavg: 2.55 2.81 3.63 3/254 58152
/proc/meminfo: memFree=108960176/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3448.55 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 203805 0 0 0 344431 424 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=14444 CPUtime=539.91 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5778 0 0 0 53771 220 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3448.55 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+2982.3 s]
/proc/loadavg: 2.49 2.75 3.56 3/254 58154
/proc/meminfo: memFree=108960476/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3519.94 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 204546 0 0 0 351560 434 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=551.55 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5779 0 0 0 54930 225 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3519.94 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

[startup+3042.3 s]
/proc/loadavg: 2.32 2.66 3.47 3/254 58156
/proc/meminfo: memFree=108960808/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3590.57 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 205295 0 0 0 358616 441 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=99776 CPUtime=562.45 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5780 0 0 0 56016 229 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3590.57 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3050.2 s]
/proc/loadavg: 2.38 2.66 3.47 3/247 58187
/proc/meminfo: memFree=109162396/131249988 swapFree=33010160/33010684
[pid=57922] ppid=57919 vsize=165856 memory=99776 CPUtime=3600 cores=4,6
/proc/57922/stat : 57922 (pb_competition_) R 57919 57922 56290 0 -1 4194304 206031 0 0 0 359557 443 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
/proc/57922/statm: 41464 24944 672 633 0 26399 0
[pid=57922/tid=57924] ppid=57919 vsize=165856 memory=-6736952653571722341 CPUtime=564.02 cores=4,6
/proc/57922/task/57924/stat : 57924 (pb_competition_) S 57919 57922 56290 0 -1 4194368 5781 0 0 0 56173 229 0 0 20 0 2 0 56214732 169836544 24944 18446744073709551615 4198400 6788177 140723173368928 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 25083904 140723173370201 140723173370328 140723173370328 140723173375930 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 165856 KiB
Current children cumulated memory: 99776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.63 s, system=4.43493 s

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

Child status: 0

Real time (s): 3050.26
CPU time (s): 3600.07
CPU user time (s): 3595.63
CPU system time (s): 4.43493
CPU usage (%): 118.025
Max. virtual memory (cumulated for all children) (KiB): 165856
Max. memory (cumulated for all children) (KiB): 99776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.63
system time used= 4.43493
maximum resident set size= 99776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211486
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= 313463
involuntary context switches= 13106


# summary of solver processes directly reported to runsolver:
#   pid: 57922
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3595.63
#   total CPU system time (s): 4.43493

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73785 second user time and 14.3708 second system time

The end