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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525000-1751620505/watcher-4525000-1751620505 -o /tmp/evaluation-result-4525000-1751620505/solver-4525000-1751620505 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751616814-86826 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 705006954 HOME/instance-4525000-1751620505.wbo 

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
Current StackSize limit: 8192 KiB

solver pid=87301, runsolver pid=87298

[startup+0.100067 s]*
/proc/loadavg: 7.08 7.11 7.23 7/254 87303
/proc/meminfo: memFree=127801592/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=91272 memory=19028 CPUtime=0.15 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 3906 0 0 0 14 1 0 0 20 0 2 0 77729896 93462528 4757 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 22818 4757 640 633 0 6308 0
[pid=87301/tid=87303] ppid=87298 vsize=91272 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 663 0 0 0 5 0 0 0 20 0 2 0 77729896 93462528 4757 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 91272 KiB
Current children cumulated memory: 19028 KiB

[startup+0.212887 s]*
/proc/loadavg: 7.08 7.11 7.23 7/254 87303
/proc/meminfo: memFree=127801592/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=97456 memory=25428 CPUtime=0.26 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 5496 0 0 0 24 2 0 0 20 0 2 0 77729896 99794944 6357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 24364 6357 672 633 0 7854 0
[pid=87301/tid=87303] ppid=87298 vsize=97456 memory=664958721904869660 CPUtime=0.05 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 663 0 0 0 5 0 0 0 20 0 2 0 77729896 99794944 6357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 97456 KiB
Current children cumulated memory: 25428 KiB

[startup+0.313081 s]*
/proc/loadavg: 7.08 7.11 7.23 7/254 87303
/proc/meminfo: memFree=127786472/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=109696 memory=37716 CPUtime=0.35 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 8560 0 0 0 32 3 0 0 20 0 2 0 77729896 112328704 9429 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 27424 9429 672 633 0 10914 0
[pid=87301/tid=87303] ppid=87298 vsize=109696 memory=7971804007958657389 CPUtime=0.06 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 663 0 0 0 6 0 0 0 20 0 2 0 77729896 112328704 9429 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 109696 KiB
Current children cumulated memory: 37716 KiB

[startup+0.700348 s]
/proc/loadavg: 7.08 7.11 7.23 7/254 87303
/proc/meminfo: memFree=127786472/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=111604 memory=39636 CPUtime=0.84 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 9048 0 0 0 81 3 0 0 20 0 2 0 77729896 114282496 9909 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 27901 9909 672 633 0 11391 0
[pid=87301/tid=87303] ppid=87298 vsize=111604 memory=18560 CPUtime=0.19 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 663 0 0 0 19 0 0 0 20 0 2 0 77729896 114282496 9909 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 0.84 s
Current children cumulated vsize: 111604 KiB
Current children cumulated memory: 39636 KiB

[startup+1.50027 s]
/proc/loadavg: 7.08 7.11 7.23 7/254 87303
/proc/meminfo: memFree=127786472/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=112000 memory=40020 CPUtime=2.15 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 15159 0 0 0 210 5 0 0 20 0 2 0 77729896 114688000 10005 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28000 10005 672 633 0 11490 0
[pid=87301/tid=87303] ppid=87298 vsize=112000 memory=18560 CPUtime=0.7 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 862 0 0 0 70 0 0 0 20 0 2 0 77729896 114688000 10005 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 2.15 s
Current children cumulated vsize: 112000 KiB
Current children cumulated memory: 40020 KiB

[startup+3.10544 s]
/proc/loadavg: 7.07 7.11 7.23 7/254 87303
/proc/meminfo: memFree=127786496/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=112264 memory=40276 CPUtime=4.98 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 16804 0 0 0 492 6 0 0 20 0 2 0 77729896 114958336 10069 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28066 10069 672 633 0 11556 0
[pid=87301/tid=87303] ppid=87298 vsize=112264 memory=40276 CPUtime=1.94 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 914 0 0 0 193 1 0 0 20 0 2 0 77729896 114958336 10069 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 4.98 s
Current children cumulated vsize: 112264 KiB
Current children cumulated memory: 40276 KiB

[startup+6.3002 s]
/proc/loadavg: 7.07 7.11 7.23 8/254 87303
/proc/meminfo: memFree=127786692/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=112660 memory=40660 CPUtime=10.27 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 28880 0 0 0 1018 9 0 0 20 0 2 0 77729896 115363840 10165 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28165 10165 672 633 0 11655 0
[pid=87301/tid=87303] ppid=87298 vsize=112660 memory=18560 CPUtime=4.05 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 1273 0 0 0 404 1 0 0 20 0 2 0 77729896 115363840 10165 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 112660 KiB
Current children cumulated memory: 40660 KiB

[startup+12.7002 s]
/proc/loadavg: 6.98 7.09 7.22 7/254 87303
/proc/meminfo: memFree=127786708/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=112660 memory=40788 CPUtime=21 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 40772 0 0 0 2085 15 0 0 20 0 2 0 77729896 115363840 10197 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28165 10197 672 633 0 11655 0
[pid=87301/tid=87303] ppid=87298 vsize=112660 memory=40788 CPUtime=8.43 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 1769 0 0 0 841 2 0 0 20 0 2 0 77729896 115363840 10197 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 21 s
Current children cumulated vsize: 112660 KiB
Current children cumulated memory: 40788 KiB

[startup+25.5002 s]
/proc/loadavg: 7.05 7.10 7.23 8/254 87304
/proc/meminfo: memFree=127786716/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113188 memory=41300 CPUtime=42.25 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 56029 0 0 0 4199 26 0 0 20 0 2 0 77729896 115904512 10325 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28297 10325 672 633 0 11787 0
[pid=87301/tid=87303] ppid=87298 vsize=113188 memory=41300 CPUtime=16.97 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 2066 0 0 0 1690 7 0 0 20 0 2 0 77729896 115904512 10325 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 42.25 s
Current children cumulated vsize: 113188 KiB
Current children cumulated memory: 41300 KiB

[startup+51.1052 s]
/proc/loadavg: 6.83 7.04 7.20 7/253 87304
/proc/meminfo: memFree=127786508/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113320 memory=41300 CPUtime=84.88 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 72193 0 0 0 8440 48 0 0 20 0 2 0 77729896 116039680 10325 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28330 10325 672 633 0 11820 0
[pid=87301/tid=87303] ppid=87298 vsize=113320 memory=18560 CPUtime=34.18 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 2627 0 0 0 3405 13 0 0 20 0 2 0 77729896 116039680 10325 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 84.88 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 41300 KiB

[startup+102.3 s]
/proc/loadavg: 6.83 7.00 7.18 8/253 87306
/proc/meminfo: memFree=127786648/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113320 memory=41428 CPUtime=170.17 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 72300 0 0 0 16933 84 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28330 10357 672 633 0 11820 0
[pid=87301/tid=87303] ppid=87298 vsize=113320 memory=18560 CPUtime=68.61 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 2632 0 0 0 6838 23 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 170.17 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 41428 KiB

[startup+162.3 s]
/proc/loadavg: 6.18 6.79 7.09 6/253 87399
/proc/meminfo: memFree=127441176/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113320 memory=41428 CPUtime=265.41 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 77557 0 0 0 26412 129 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28330 10357 672 633 0 11820 0
[pid=87301/tid=87303] ppid=87298 vsize=113320 memory=14304 CPUtime=104.3 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 2867 0 0 0 10393 37 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 265.41 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 41428 KiB

[startup+222.3 s]
/proc/loadavg: 5.69 6.55 6.99 5/254 87402
/proc/meminfo: memFree=127426216/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113320 memory=41428 CPUtime=359.86 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 77570 0 0 0 35810 176 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28330 10357 672 633 0 11820 0
[pid=87301/tid=87303] ppid=87298 vsize=113320 memory=41428 CPUtime=139.14 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 2868 0 0 0 13860 54 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 359.86 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 41428 KiB

[startup+282.3 s]
/proc/loadavg: 5.59 6.36 6.89 7/255 87405
/proc/meminfo: memFree=127446488/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113320 memory=41428 CPUtime=454.29 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 79259 0 0 0 45207 222 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28330 10357 672 633 0 11820 0
[pid=87301/tid=87303] ppid=87298 vsize=113320 memory=5760 CPUtime=173.97 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 2901 0 0 0 17328 69 0 0 20 0 2 0 77729896 116039680 10357 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 454.29 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 41428 KiB

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

/proc/meminfo: memFree=127434748/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=2625.88 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 87769 0 0 0 261423 1165 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=974.79 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3026 0 0 0 97071 408 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 2625.88 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+1722.3 s]
/proc/loadavg: 6.04 5.73 5.79 7/256 87540
/proc/meminfo: memFree=127434248/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=2720.22 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 88225 0 0 0 270816 1206 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1009.54 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3030 0 0 0 100529 425 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 2720.22 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+1782.3 s]
/proc/loadavg: 6.06 5.79 5.80 8/256 87542
/proc/meminfo: memFree=127434272/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=2814.59 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 88686 0 0 0 280212 1247 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=14304 CPUtime=1044.32 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3045 0 0 0 103990 442 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 2814.59 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+1842.3 s]
/proc/loadavg: 5.91 5.81 5.81 7/255 87544
/proc/meminfo: memFree=127428736/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=2908.99 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 89142 0 0 0 289608 1291 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1079.1 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3054 0 0 0 107453 457 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 2908.99 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+1902.3 s]
/proc/loadavg: 6.02 5.86 5.83 7/253 87546
/proc/meminfo: memFree=127429820/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3003.39 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 89598 0 0 0 299006 1333 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=14304 CPUtime=1113.89 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 3058 0 0 0 110918 471 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3003.39 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+1962.3 s]
/proc/loadavg: 5.85 5.85 5.83 7/252 87548
/proc/meminfo: memFree=127429828/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3097.81 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 90054 0 0 0 308406 1375 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1148.7 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3061 0 0 0 114383 487 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3097.81 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+2022.3 s]
/proc/loadavg: 5.87 5.86 5.83 7/252 87550
/proc/meminfo: memFree=127429852/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3192.24 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 90512 0 0 0 317806 1418 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=14304 CPUtime=1183.53 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3073 0 0 0 117850 503 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3192.24 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+2082.3 s]
/proc/loadavg: 6.17 5.95 5.87 7/252 87553
/proc/meminfo: memFree=127437956/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3286.64 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 90968 0 0 0 327202 1462 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1218.32 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 3076 0 0 0 121311 521 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3286.64 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+2142.3 s]
/proc/loadavg: 5.90 5.93 5.87 7/252 87555
/proc/meminfo: memFree=127437232/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3380.98 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 91428 0 0 0 336595 1503 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=14304 CPUtime=1253.06 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3101 0 0 0 124770 536 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3380.98 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+2202.3 s]
/proc/loadavg: 6.30 6.05 5.91 7/254 87561
/proc/meminfo: memFree=127429580/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3475.43 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 91884 0 0 0 345995 1548 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1287.9 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3104 0 0 0 128238 552 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3475.43 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

[startup+2262.3 s]
/proc/loadavg: 6.53 6.13 5.95 8/254 87567
/proc/meminfo: memFree=127428596/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3569.72 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 92340 0 0 0 355383 1589 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1322.59 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) R 87298 87301 86815 0 -1 4194368 3109 0 0 0 131693 566 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3569.72 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2281.6 s]
/proc/loadavg: 6.66 6.19 5.97 7/254 87568
/proc/meminfo: memFree=127428596/131382120 swapFree=33010416/33010684
[pid=87301] ppid=87298 vsize=113584 memory=41556 CPUtime=3600.11 cores=4,6
/proc/87301/stat : 87301 (pb_competition_) R 87298 87301 86815 0 -1 4194304 92340 0 0 0 358409 1602 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
/proc/87301/statm: 28396 10389 672 633 0 11886 0
[pid=87301/tid=87303] ppid=87298 vsize=113584 memory=41556 CPUtime=1333.82 cores=4,6
/proc/87301/task/87303/stat : 87303 (pb_competition_) S 87298 87301 86815 0 -1 4194368 3109 0 0 0 132810 572 0 0 20 0 2 0 77729896 116310016 10389 18446744073709551615 4198400 6788177 140725063721216 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 37306368 140725063723352 140725063723478 140725063723478 140725063729082 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 41556 KiB

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

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

# cumulated CPU time of all completed processes:  user=3584.13 s, system=16.0272 s

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

Child status: 0

Real time (s): 2281.62
CPU time (s): 3600.15
CPU user time (s): 3584.13
CPU system time (s): 16.0272
CPU usage (%): 157.789
Max. virtual memory (cumulated for all children) (KiB): 113584
Max. memory (cumulated for all children) (KiB): 41556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3584.13
system time used= 16.0272
maximum resident set size= 41556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92961
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= 564570
involuntary context switches= 36534


# summary of solver processes directly reported to runsolver:
#   pid: 87301
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3584.13
#   total CPU system time (s): 16.0272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.18618 second user time and 12.1151 second system time

The end