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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4522456-1751589378/watcher-4522456-1751589378 -o /tmp/evaluation-result-4522456-1751589378/solver-4522456-1751589378 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751589378-92772 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1171261500 HOME/instance-4522456-1751589378.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=92799, runsolver pid=92795

[startup+0.100061 s]*
/proc/loadavg: 0.79 1.87 2.78 6/260 92815
/proc/meminfo: memFree=128966792/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=80708 memory=6528 CPUtime=0.16 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) S 92795 92799 92759 0 -1 4194304 1079 0 0 0 16 0 0 0 20 0 2 0 74615642 82644992 1632 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 20177 1632 672 633 0 3076 0
[pid=92799/tid=92801] ppid=92795 vsize=80708 memory=4026532379 CPUtime=0.06 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 71 0 0 0 6 0 0 0 20 0 2 0 74615642 82644992 1632 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 80708 KiB
Current children cumulated memory: 6528 KiB

[startup+0.205476 s]*
/proc/loadavg: 0.79 1.87 2.78 7/263 92821
/proc/meminfo: memFree=128891772/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=81200 memory=6876 CPUtime=0.34 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 1208 0 0 0 34 0 0 0 20 0 2 0 74615642 83148800 1719 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 20300 1719 672 633 0 3199 0
[pid=92799/tid=92801] ppid=92795 vsize=81200 memory=664958721904869660 CPUtime=0.14 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 71 0 0 0 14 0 0 0 20 0 2 0 74615642 83148800 1719 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 81200 KiB
Current children cumulated memory: 6876 KiB

[startup+0.305426 s]*
/proc/loadavg: 0.79 1.87 2.78 7/261 92821
/proc/meminfo: memFree=128829784/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=81200 memory=6876 CPUtime=0.53 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 1208 0 0 0 53 0 0 0 20 0 2 0 74615642 83148800 1719 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 20300 1719 672 633 0 3199 0
[pid=92799/tid=92801] ppid=92795 vsize=81200 memory=7971232287598721650 CPUtime=0.24 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 71 0 0 0 24 0 0 0 20 0 2 0 74615642 83148800 1719 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 81200 KiB
Current children cumulated memory: 6876 KiB

[startup+0.700199 s]
/proc/loadavg: 0.79 1.87 2.78 7/266 92831
/proc/meminfo: memFree=128607340/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=82572 memory=8288 CPUtime=1.22 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 1642 0 0 0 121 1 0 0 20 0 2 0 74615642 84553728 2072 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 20643 2072 672 633 0 3542 0
[pid=92799/tid=92801] ppid=92795 vsize=82572 memory=18560 CPUtime=0.54 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 71 0 0 0 54 0 0 0 20 0 2 0 74615642 84553728 2072 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 82572 KiB
Current children cumulated memory: 8288 KiB

[startup+1.50022 s]
/proc/loadavg: 0.79 1.87 2.78 7/267 92832
/proc/meminfo: memFree=128136208/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=83924 memory=9060 CPUtime=2.8 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 3187 0 0 0 278 2 0 0 20 0 2 0 74615642 85938176 2265 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 20981 2265 672 633 0 3880 0
[pid=92799/tid=92801] ppid=92795 vsize=83924 memory=18560 CPUtime=1.33 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 253 0 0 0 133 0 0 0 20 0 2 0 74615642 85938176 2265 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 83924 KiB
Current children cumulated memory: 9060 KiB

[startup+3.10577 s]
/proc/loadavg: 1.21 1.94 2.80 7/267 92832
/proc/meminfo: memFree=127221696/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=84256 memory=9444 CPUtime=5.95 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 4451 0 0 0 591 4 0 0 20 0 2 0 74615642 86278144 2361 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 21064 2361 672 633 0 3963 0
[pid=92799/tid=92801] ppid=92795 vsize=84256 memory=7970959604420067953 CPUtime=2.88 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 557 0 0 0 288 0 0 0 20 0 2 0 74615642 86278144 2361 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 84256 KiB
Current children cumulated memory: 9444 KiB

[startup+6.3002 s]
/proc/loadavg: 1.21 1.94 2.80 6/267 92832
/proc/meminfo: memFree=126795624/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=88796 memory=14360 CPUtime=12.05 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 7677 0 0 0 1198 7 0 0 20 0 2 0 74615642 90927104 3590 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 22199 3590 672 633 0 5098 0
[pid=92799/tid=92801] ppid=92795 vsize=88796 memory=13848 CPUtime=5.82 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 1480 0 0 0 581 1 0 0 20 0 2 0 74615642 90927104 3590 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 88796 KiB
Current children cumulated memory: 14360 KiB

[startup+12.7002 s]
/proc/loadavg: 1.43 1.97 2.81 6/267 92832
/proc/meminfo: memFree=126343896/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=96512 memory=20784 CPUtime=23.98 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 12906 0 0 0 2387 11 0 0 20 0 2 0 74615642 98828288 5196 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 24128 5196 672 633 0 7027 0
[pid=92799/tid=92801] ppid=92795 vsize=96512 memory=20272 CPUtime=11.39 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) S 92795 92799 92759 0 -1 4194368 3530 0 0 0 1136 3 0 0 20 0 2 0 74615642 98828288 5196 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 23.98 s
Current children cumulated vsize: 96512 KiB
Current children cumulated memory: 20784 KiB

[startup+25.5002 s]
/proc/loadavg: 2.30 2.14 2.85 6/267 92832
/proc/meminfo: memFree=126312520/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=98440 memory=22576 CPUtime=47.84 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 17244 0 0 0 4761 23 0 0 20 0 2 0 74615642 100802560 5644 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 24610 5644 672 633 0 7509 0
[pid=92799/tid=92801] ppid=92795 vsize=98440 memory=21424 CPUtime=22.55 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 4730 0 0 0 2249 6 0 0 20 0 2 0 74615642 100802560 5644 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 47.84 s
Current children cumulated vsize: 98440 KiB
Current children cumulated memory: 22576 KiB

[startup+51.1057 s]
/proc/loadavg: 3.30 2.38 2.91 7/267 92833
/proc/meminfo: memFree=125949220/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=102704 memory=27568 CPUtime=95.53 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 27097 0 0 0 9513 40 0 0 20 0 2 0 74615642 105168896 6892 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 25676 6892 672 633 0 8575 0
[pid=92799/tid=92801] ppid=92795 vsize=102704 memory=25520 CPUtime=44.88 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 7839 0 0 0 4476 12 0 0 20 0 2 0 74615642 105168896 6892 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 95.53 s
Current children cumulated vsize: 102704 KiB
Current children cumulated memory: 27568 KiB

[startup+102.3 s]
/proc/loadavg: 4.24 2.79 3.02 6/268 92839
/proc/meminfo: memFree=125044824/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=114824 memory=37992 CPUtime=192.01 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 32702 0 0 0 19143 58 0 0 20 0 2 0 74615642 117579776 9498 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 28706 9498 672 633 0 11605 0
[pid=92799/tid=92801] ppid=92795 vsize=114824 memory=27568 CPUtime=90.55 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) S 92795 92799 92759 0 -1 4194368 8466 0 0 0 9038 17 0 0 20 0 2 0 74615642 117579776 9498 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 192.01 s
Current children cumulated vsize: 114824 KiB
Current children cumulated memory: 37992 KiB

[startup+162.3 s]
/proc/loadavg: 4.90 3.24 3.17 6/268 92841
/proc/meminfo: memFree=125022340/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=120616 memory=43752 CPUtime=296.56 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 39475 0 0 0 29579 77 0 0 20 0 2 0 74615642 123510784 10938 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 30154 10938 672 633 0 13053 0
[pid=92799/tid=92801] ppid=92795 vsize=120616 memory=2473040 CPUtime=135.57 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 9801 0 0 0 13536 21 0 0 20 0 2 0 74615642 123510784 10938 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 296.56 s
Current children cumulated vsize: 120616 KiB
Current children cumulated memory: 43752 KiB

[startup+222.3 s]
/proc/loadavg: 5.41 3.69 3.33 6/269 92844
/proc/meminfo: memFree=125015508/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=120616 memory=43752 CPUtime=410.16 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 43423 0 0 0 40914 102 0 0 20 0 2 0 74615642 123510784 10938 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 30154 10938 672 633 0 13053 0
[pid=92799/tid=92801] ppid=92795 vsize=120616 memory=43752 CPUtime=189.76 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 10386 0 0 0 18946 30 0 0 20 0 2 0 74615642 123510784 10938 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 410.16 s
Current children cumulated vsize: 120616 KiB
Current children cumulated memory: 43752 KiB

[startup+282.3 s]
/proc/loadavg: 5.46 4.01 3.46 6/269 92846
/proc/meminfo: memFree=125020152/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=120616 memory=43752 CPUtime=523.68 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 47652 0 0 0 52248 120 0 0 20 0 2 0 74615642 123510784 10938 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 30154 10938 672 633 0 13053 0
[pid=92799/tid=92801] ppid=92795 vsize=120616 memory=18560 CPUtime=243.81 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 11214 0 0 0 24346 35 0 0 20 0 2 0 74615642 123510784 10938 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 523.68 s
Current children cumulated vsize: 120616 KiB
Current children cumulated memory: 43752 KiB

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

/proc/meminfo: memFree=124866380/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=146416 memory=71692 CPUtime=2407.51 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 79101 0 0 0 240384 367 0 0 20 0 2 0 74615642 149929984 17923 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 36604 17923 672 633 0 19503 0
[pid=92799/tid=92801] ppid=92795 vsize=146416 memory=71436 CPUtime=1117.06 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 17489 0 0 0 111597 109 0 0 20 0 2 0 74615642 149929984 17923 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2407.51 s
Current children cumulated vsize: 146416 KiB
Current children cumulated memory: 71692 KiB

[startup+1362.3 s]
/proc/loadavg: 5.31 5.34 4.82 6/269 92903
/proc/meminfo: memFree=124869116/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=147000 memory=72204 CPUtime=2517.83 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 79282 0 0 0 251403 380 0 0 20 0 2 0 74615642 150528000 18051 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 36750 18051 672 633 0 19649 0
[pid=92799/tid=92801] ppid=92795 vsize=147000 memory=71948 CPUtime=1167.95 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) S 92795 92799 92759 0 -1 4194368 17489 0 0 0 116682 113 0 0 20 0 2 0 74615642 150528000 18051 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2517.83 s
Current children cumulated vsize: 147000 KiB
Current children cumulated memory: 72204 KiB

[startup+1422.3 s]
/proc/loadavg: 5.72 5.45 4.89 6/269 92905
/proc/meminfo: memFree=124868400/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=147512 memory=72716 CPUtime=2627.92 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 79410 0 0 0 262399 393 0 0 20 0 2 0 74615642 151052288 18179 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 36878 18179 672 633 0 19777 0
[pid=92799/tid=92801] ppid=92795 vsize=147512 memory=71948 CPUtime=1218.66 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 17491 0 0 0 121749 117 0 0 20 0 2 0 74615642 151052288 18179 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2627.92 s
Current children cumulated vsize: 147512 KiB
Current children cumulated memory: 72716 KiB

[startup+1482.3 s]
/proc/loadavg: 5.21 5.36 4.90 6/269 92907
/proc/meminfo: memFree=124868864/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=147932 memory=73100 CPUtime=2737.52 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 79542 0 0 0 273344 408 0 0 20 0 2 0 74615642 151482368 18275 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 36983 18275 672 633 0 19882 0
[pid=92799/tid=92801] ppid=92795 vsize=147932 memory=73100 CPUtime=1268.81 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 17491 0 0 0 126759 122 0 0 20 0 2 0 74615642 151482368 18275 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2737.52 s
Current children cumulated vsize: 147932 KiB
Current children cumulated memory: 73100 KiB

[startup+1542.3 s]
/proc/loadavg: 5.23 5.35 4.93 6/270 92924
/proc/meminfo: memFree=124851448/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=148356 memory=73484 CPUtime=2847.44 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 79632 0 0 0 284321 423 0 0 20 0 2 0 74615642 151916544 18371 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37089 18371 672 633 0 19988 0
[pid=92799/tid=92801] ppid=92795 vsize=148356 memory=73484 CPUtime=1319.29 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 17491 0 0 0 131802 127 0 0 20 0 2 0 74615642 151916544 18371 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2847.44 s
Current children cumulated vsize: 148356 KiB
Current children cumulated memory: 73484 KiB

[startup+1602.3 s]
/proc/loadavg: 5.30 5.35 4.96 7/269 92928
/proc/meminfo: memFree=124848912/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=148780 memory=73996 CPUtime=2957.21 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 83082 0 0 0 295284 437 0 0 20 0 2 0 74615642 152350720 18499 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37195 18499 672 633 0 20094 0
[pid=92799/tid=92801] ppid=92795 vsize=148780 memory=73484 CPUtime=1369.67 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 18637 0 0 0 136834 133 0 0 20 0 2 0 74615642 152350720 18499 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 2957.21 s
Current children cumulated vsize: 148780 KiB
Current children cumulated memory: 73996 KiB

[startup+1662.3 s]
/proc/loadavg: 5.10 5.28 4.96 6/268 92931
/proc/meminfo: memFree=124820948/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=149232 memory=74380 CPUtime=3066.99 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 83204 0 0 0 306247 452 0 0 20 0 2 0 74615642 152813568 18595 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37308 18595 672 633 0 20207 0
[pid=92799/tid=92801] ppid=92795 vsize=149232 memory=73484 CPUtime=1420.03 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 18637 0 0 0 141866 137 0 0 20 0 2 0 74615642 152813568 18595 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 3066.99 s
Current children cumulated vsize: 149232 KiB
Current children cumulated memory: 74380 KiB

[startup+1722.3 s]
/proc/loadavg: 5.30 5.29 4.99 6/268 92933
/proc/meminfo: memFree=124819348/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=149524 memory=74636 CPUtime=3176.68 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 86823 0 0 0 317202 466 0 0 20 0 2 0 74615642 153112576 18659 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37381 18659 672 633 0 20280 0
[pid=92799/tid=92801] ppid=92795 vsize=149524 memory=73484 CPUtime=1470.33 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) S 92795 92799 92759 0 -1 4194368 19984 0 0 0 146890 143 0 0 20 0 2 0 74615642 153112576 18659 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 3176.68 s
Current children cumulated vsize: 149524 KiB
Current children cumulated memory: 74636 KiB

[startup+1782.3 s]
/proc/loadavg: 5.29 5.30 5.01 5/268 92935
/proc/meminfo: memFree=124814416/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=149656 memory=74764 CPUtime=3286.59 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 86865 0 0 0 328176 483 0 0 20 0 2 0 74615642 153247744 18691 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37414 18691 672 633 0 20313 0
[pid=92799/tid=92801] ppid=92795 vsize=149656 memory=74764 CPUtime=1520.76 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 19984 0 0 0 151927 149 0 0 20 0 2 0 74615642 153247744 18691 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 3286.59 s
Current children cumulated vsize: 149656 KiB
Current children cumulated memory: 74764 KiB

[startup+1842.3 s]
/proc/loadavg: 5.33 5.31 5.03 5/269 92938
/proc/meminfo: memFree=124831208/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=149932 memory=75148 CPUtime=3396.67 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 86941 0 0 0 339168 499 0 0 20 0 2 0 74615642 153530368 18787 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37483 18787 672 633 0 20382 0
[pid=92799/tid=92801] ppid=92795 vsize=149932 memory=74892 CPUtime=1571.41 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 19984 0 0 0 156987 154 0 0 20 0 2 0 74615642 153530368 18787 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 3396.67 s
Current children cumulated vsize: 149932 KiB
Current children cumulated memory: 75148 KiB

[startup+1902.3 s]
/proc/loadavg: 5.17 5.26 5.03 5/270 92945
/proc/meminfo: memFree=124839716/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=150068 memory=75276 CPUtime=3506.71 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 90698 0 0 0 350157 514 0 0 20 0 2 0 74615642 153669632 18819 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37517 18819 672 633 0 20416 0
[pid=92799/tid=92801] ppid=92795 vsize=150068 memory=74892 CPUtime=1622.03 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 21254 0 0 0 162044 159 0 0 20 0 2 0 74615642 153669632 18819 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 3506.71 s
Current children cumulated vsize: 150068 KiB
Current children cumulated memory: 75276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1953.2 s]
/proc/loadavg: 5.35 5.30 5.05 8/270 92948
/proc/meminfo: memFree=124842388/131250000 swapFree=33010416/33010684
[pid=92799] ppid=92795 vsize=150380 memory=75532 CPUtime=3600.04 cores=5,7
/proc/92799/stat : 92799 (pb_competition_) R 92795 92799 92759 0 -1 4194304 90761 0 0 0 359477 527 0 0 20 0 2 0 74615642 153989120 18883 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
/proc/92799/statm: 37595 18883 672 633 0 20494 0
[pid=92799/tid=92801] ppid=92795 vsize=150380 memory=3104 CPUtime=1664.95 cores=5,7
/proc/92799/task/92801/stat : 92801 (pb_competition_) R 92795 92799 92759 0 -1 4194368 21254 0 0 0 166332 163 0 0 20 0 2 0 74615642 153989120 18883 18446744073709551615 4198400 6788177 140733180430672 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 37158912 140733180438873 140733180439000 140733180439000 140733180444602 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 150380 KiB
Current children cumulated memory: 75532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.88 s, system=5.27748 s

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

Child status: 0

Real time (s): 1953.3
CPU time (s): 3600.15
CPU user time (s): 3594.88
CPU system time (s): 5.27748
CPU usage (%): 184.312
Max. virtual memory (cumulated for all children) (KiB): 150380
Max. memory (cumulated for all children) (KiB): 75532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.87
system time used= 5.27748
maximum resident set size= 75532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90871
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= 14797
involuntary context switches= 33049


# summary of solver processes directly reported to runsolver:
#   pid: 92799
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3594.88
#   total CPU system time (s): 5.27748

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21447 second user time and 9.36176 second system time

The end