runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (63111 MiB free)
  memory of node 1: 64465 MiB (63646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486284-1751297437/watcher-4486284-1751297437 -o /tmp/evaluation-result-4486284-1751297437/solver-4486284-1751297437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751291873-39488 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1305088463 HOME/instance-4486284-1751297437.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=40748, runsolver pid=40745
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 6.80 6.55 6.06 7/267 40750
/proc/meminfo: memFree=129779860/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=101536 memory=37004 CPUtime=0.13 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 6920 0 0 0 12 1 0 0 20 0 2 0 45422334 103972864 9251 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 25384 9251 672 633 0 10767 0
[pid=40748/tid=40750] ppid=40745 vsize=101536 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 2555 0 0 0 6 0 0 0 20 0 2 0 45422334 103972864 9251 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 101536 KiB
Current children cumulated memory: 37004 KiB

[startup+0.205773 s]*
/proc/loadavg: 6.80 6.55 6.06 8/267 40750
/proc/meminfo: memFree=129739540/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=136260 memory=71820 CPUtime=0.24 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 15622 0 0 0 21 3 0 0 20 0 2 0 45422334 139530240 17955 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34065 17955 672 633 0 19448 0
[pid=40748/tid=40750] ppid=40745 vsize=136260 memory=664958721904869660 CPUtime=0.06 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 2555 0 0 0 6 0 0 0 20 0 2 0 45422334 139530240 17987 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 71820 KiB

[startup+0.305767 s]*
/proc/loadavg: 6.80 6.55 6.06 7/267 40750
/proc/meminfo: memFree=129739288/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=136260 memory=71948 CPUtime=0.35 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 15632 0 0 0 32 3 0 0 20 0 2 0 45422334 139530240 17987 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34065 17987 672 633 0 19448 0
[pid=40748/tid=40750] ppid=40745 vsize=136260 memory=7970954106827980145 CPUtime=0.07 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 2555 0 0 0 7 0 0 0 20 0 2 0 45422334 139530240 17987 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 71948 KiB

[startup+0.700209 s]
/proc/loadavg: 6.80 6.55 6.06 6/267 40750
/proc/meminfo: memFree=129739288/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=136260 memory=71948 CPUtime=0.79 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 15632 0 0 0 76 3 0 0 20 0 2 0 45422334 139530240 17987 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34065 17987 672 633 0 19448 0
[pid=40748/tid=40750] ppid=40745 vsize=136260 memory=17664 CPUtime=0.13 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 2555 0 0 0 13 0 0 0 20 0 2 0 45422334 139530240 17987 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 136260 KiB
Current children cumulated memory: 71948 KiB

[startup+1.50022 s]
/proc/loadavg: 6.80 6.55 6.06 8/267 40750
/proc/meminfo: memFree=129739288/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=136524 memory=72204 CPUtime=1.96 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 24491 0 0 0 193 3 0 0 20 0 2 0 45422334 139800576 18051 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34131 18051 672 633 0 19514 0
[pid=40748/tid=40750] ppid=40745 vsize=136524 memory=17664 CPUtime=0.5 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 3542 0 0 0 50 0 0 0 20 0 2 0 45422334 139800576 18051 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 136524 KiB
Current children cumulated memory: 72204 KiB

[startup+3.10587 s]
/proc/loadavg: 6.82 6.56 6.07 9/267 40750
/proc/meminfo: memFree=129739336/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=136656 memory=72332 CPUtime=4.35 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 31179 0 0 0 430 5 0 0 20 0 2 0 45422334 139935744 18083 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34164 18083 672 633 0 19547 0
[pid=40748/tid=40750] ppid=40745 vsize=136656 memory=72204 CPUtime=1.3 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 3984 0 0 0 129 1 0 0 20 0 2 0 45422334 139935744 18083 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 4.35 s
Current children cumulated vsize: 136656 KiB
Current children cumulated memory: 72332 KiB

[startup+6.3002 s]
/proc/loadavg: 6.82 6.56 6.07 8/267 40750
/proc/meminfo: memFree=129739364/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=138792 memory=74508 CPUtime=8.85 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 45063 0 0 0 877 8 0 0 20 0 2 0 45422334 142123008 18627 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34698 18627 672 633 0 20081 0
[pid=40748/tid=40750] ppid=40745 vsize=138792 memory=17664 CPUtime=2.62 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 5648 0 0 0 260 2 0 0 20 0 2 0 45422334 142123008 18627 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 8.85 s
Current children cumulated vsize: 138792 KiB
Current children cumulated memory: 74508 KiB

[startup+12.7002 s]
/proc/loadavg: 6.75 6.55 6.07 8/267 40750
/proc/meminfo: memFree=129739364/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=139716 memory=75404 CPUtime=18.39 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 63612 0 0 0 1827 12 0 0 20 0 2 0 45422334 143069184 18851 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 34929 18851 672 633 0 20312 0
[pid=40748/tid=40750] ppid=40745 vsize=139716 memory=75404 CPUtime=5.8 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 8925 0 0 0 576 4 0 0 20 0 2 0 45422334 143069184 18851 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 18.39 s
Current children cumulated vsize: 139716 KiB
Current children cumulated memory: 75404 KiB

[startup+25.5002 s]
/proc/loadavg: 6.82 6.57 6.08 8/267 40750
/proc/meminfo: memFree=129739364/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=140968 memory=76584 CPUtime=37.48 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 404214 0 0 0 3675 73 0 0 20 0 2 0 45422334 144351232 19146 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 35242 19146 672 633 0 20625 0
[pid=40748/tid=40750] ppid=40745 vsize=140968 memory=75304 CPUtime=12.17 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 13488 0 0 0 1211 6 0 0 20 0 2 0 45422334 144351232 19146 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 37.48 s
Current children cumulated vsize: 140968 KiB
Current children cumulated memory: 76584 KiB

[startup+51.1055 s]
/proc/loadavg: 6.87 6.60 6.11 8/267 40751
/proc/meminfo: memFree=129737616/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=141440 memory=77200 CPUtime=75.27 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 1479933 0 0 0 7273 254 0 0 20 0 2 0 45422334 144834560 19300 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 35360 19300 672 633 0 20743 0
[pid=40748/tid=40750] ppid=40745 vsize=141440 memory=17664 CPUtime=24.51 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 16709 0 0 0 2440 11 0 0 20 0 2 0 45422334 144834560 19300 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 75.27 s
Current children cumulated vsize: 141440 KiB
Current children cumulated memory: 77200 KiB

[startup+102.3 s]
/proc/loadavg: 7.34 6.76 6.19 9/267 40798
/proc/meminfo: memFree=129788228/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=144228 memory=79456 CPUtime=154.93 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 2661021 0 0 0 15028 465 0 0 20 0 2 0 45422334 147689472 19832 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 36057 19864 672 633 0 21440 0
[pid=40748/tid=40750] ppid=40745 vsize=144228 memory=14572 CPUtime=53.34 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 19200 0 0 0 5313 21 0 0 20 0 2 0 45422334 147689472 19896 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 154.93 s
Current children cumulated vsize: 144228 KiB
Current children cumulated memory: 79456 KiB

[startup+162.3 s]
/proc/loadavg: 7.56 6.94 6.29 7/267 40803
/proc/meminfo: memFree=129786860/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=144932 memory=80612 CPUtime=248 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 4691989 0 0 0 23981 819 0 0 20 0 2 0 45422334 148410368 20153 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 36233 20153 672 633 0 21616 0
[pid=40748/tid=40750] ppid=40745 vsize=144932 memory=80104 CPUtime=86.82 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 22083 0 0 0 8652 30 0 0 20 0 2 0 45422334 148410368 20153 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 248 s
Current children cumulated vsize: 144932 KiB
Current children cumulated memory: 80612 KiB

[startup+222.3 s]
/proc/loadavg: 7.59 7.06 6.37 9/267 40809
/proc/meminfo: memFree=129765036/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=146216 memory=81964 CPUtime=342.03 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 6211167 0 0 0 33110 1093 0 0 20 0 2 0 45422334 149725184 20491 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 36554 20491 672 633 0 21937 0
[pid=40748/tid=40750] ppid=40745 vsize=146216 memory=81292 CPUtime=121.27 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 24795 0 0 0 12087 40 0 0 20 0 2 0 45422334 149725184 20491 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 342.03 s
Current children cumulated vsize: 146216 KiB
Current children cumulated memory: 81964 KiB

[startup+282.3 s]
/proc/loadavg: 7.51 7.13 6.44 9/267 40812
/proc/meminfo: memFree=129748036/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=148308 memory=83980 CPUtime=435.78 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 7528492 0 0 0 42243 1335 0 0 20 0 2 0 45422334 151867392 20995 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 37077 20995 672 633 0 22460 0
[pid=40748/tid=40750] ppid=40745 vsize=148308 memory=83980 CPUtime=155.39 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 24851 0 0 0 15492 47 0 0 20 0 2 0 45422334 151867392 20995 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 435.78 s
Current children cumulated vsize: 148308 KiB

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

/proc/meminfo: memFree=129634352/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=158908 memory=94192 CPUtime=2564.76 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 22394274 0 0 0 252106 4370 0 0 20 0 2 0 45422334 162721792 23548 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 39727 23548 672 633 0 25110 0
[pid=40748/tid=40750] ppid=40745 vsize=158908 memory=92604 CPUtime=974.06 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 26820 0 0 0 97204 202 0 0 20 0 2 0 45422334 162721792 23548 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 2564.76 s
Current children cumulated vsize: 158908 KiB
Current children cumulated memory: 94192 KiB

[startup+1662.3 s]
/proc/loadavg: 6.04 6.35 6.65 6/268 40972
/proc/meminfo: memFree=129616820/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=157836 memory=93392 CPUtime=2665.54 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 23281516 0 0 0 262006 4548 0 0 20 0 2 0 45422334 161624064 23348 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 39459 23348 672 633 0 24842 0
[pid=40748/tid=40750] ppid=40745 vsize=157836 memory=92604 CPUtime=1015.34 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27128 0 0 0 101327 207 0 0 20 0 2 0 45422334 161624064 23348 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 2665.54 s
Current children cumulated vsize: 157836 KiB
Current children cumulated memory: 93392 KiB

[startup+1722.3 s]
/proc/loadavg: 6.08 6.29 6.61 8/267 40974
/proc/meminfo: memFree=129616424/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=160064 memory=95544 CPUtime=2765.83 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 24072292 0 0 0 271875 4708 0 0 20 0 2 0 45422334 163905536 23886 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40016 23886 672 633 0 25399 0
[pid=40748/tid=40750] ppid=40745 vsize=160064 memory=92604 CPUtime=1056.14 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27422 0 0 0 105402 212 0 0 20 0 2 0 45422334 163905536 23886 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 2765.83 s
Current children cumulated vsize: 160064 KiB
Current children cumulated memory: 95544 KiB

[startup+1782.3 s]
/proc/loadavg: 6.13 6.25 6.57 8/268 40977
/proc/meminfo: memFree=129613308/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=160664 memory=96116 CPUtime=2866.32 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 24656404 0 0 0 281805 4827 0 0 20 0 2 0 45422334 164519936 24029 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40166 24029 672 633 0 25549 0
[pid=40748/tid=40750] ppid=40745 vsize=160664 memory=96116 CPUtime=1097.18 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27430 0 0 0 109500 218 0 0 20 0 2 0 45422334 164519936 24029 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 2866.32 s
Current children cumulated vsize: 160664 KiB
Current children cumulated memory: 96116 KiB

[startup+1842.3 s]
/proc/loadavg: 6.29 6.27 6.56 7/268 40990
/proc/meminfo: memFree=129606696/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=159920 memory=95584 CPUtime=2968.25 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 24789962 0 0 0 291959 4866 0 0 20 0 2 0 45422334 163758080 23896 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 39980 23896 672 633 0 25363 0
[pid=40748/tid=40750] ppid=40745 vsize=159920 memory=96244 CPUtime=1139.62 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27656 0 0 0 113738 224 0 0 20 0 2 0 45422334 163758080 23896 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 2968.25 s
Current children cumulated vsize: 159920 KiB
Current children cumulated memory: 95584 KiB

[startup+1902.3 s]
/proc/loadavg: 6.21 6.24 6.53 7/268 40992
/proc/meminfo: memFree=129606236/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=159992 memory=95680 CPUtime=3068.52 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26034475 0 0 0 301741 5111 0 0 20 0 2 0 45422334 163831808 23920 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 39998 23920 672 633 0 25381 0
[pid=40748/tid=40750] ppid=40745 vsize=159992 memory=96244 CPUtime=1180.4 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27656 0 0 0 117810 230 0 0 20 0 2 0 45422334 163831808 23920 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3068.52 s
Current children cumulated vsize: 159992 KiB
Current children cumulated memory: 95680 KiB

[startup+1962.3 s]
/proc/loadavg: 5.87 6.14 6.48 7/268 41040
/proc/meminfo: memFree=129606452/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=161776 memory=97468 CPUtime=3157.78 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26194631 0 0 0 310615 5163 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40444 24367 672 633 0 25827 0
[pid=40748/tid=40750] ppid=40745 vsize=161776 memory=97468 CPUtime=1210.09 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 27689 0 0 0 120769 240 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3157.78 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 97468 KiB

[startup+2022.3 s]
/proc/loadavg: 6.09 6.15 6.45 7/269 41045
/proc/meminfo: memFree=129611108/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=161776 memory=97468 CPUtime=3247.82 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26194683 0 0 0 319600 5182 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40444 24367 672 633 0 25827 0
[pid=40748/tid=40750] ppid=40745 vsize=161776 memory=97468 CPUtime=1240.54 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27689 0 0 0 123805 249 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3247.82 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 97468 KiB

[startup+2082.3 s]
/proc/loadavg: 5.92 6.10 6.42 8/268 41051
/proc/meminfo: memFree=129614096/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=161776 memory=97468 CPUtime=3339.76 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26196134 0 0 0 328777 5199 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40444 24367 672 633 0 25827 0
[pid=40748/tid=40750] ppid=40745 vsize=161776 memory=17664 CPUtime=1272.95 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 27842 0 0 0 127038 257 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3339.76 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 97468 KiB

[startup+2142.3 s]
/proc/loadavg: 5.96 6.09 6.40 7/268 41053
/proc/meminfo: memFree=129609952/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=161776 memory=97468 CPUtime=3434.42 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26196169 0 0 0 338225 5217 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40444 24367 672 633 0 25827 0
[pid=40748/tid=40750] ppid=40745 vsize=161776 memory=17664 CPUtime=1308.07 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27842 0 0 0 130542 265 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3434.42 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 97468 KiB

[startup+2202.3 s]
/proc/loadavg: 5.93 6.05 6.36 6/268 41055
/proc/meminfo: memFree=129604464/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=161776 memory=97468 CPUtime=3530.87 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26197253 0 0 0 347853 5234 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40444 24367 672 633 0 25827 0
[pid=40748/tid=40750] ppid=40745 vsize=161776 memory=17664 CPUtime=1345 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) R 40745 40748 39477 0 -1 4194368 27978 0 0 0 134226 274 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3530.87 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 97468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2245.2 s]
/proc/loadavg: 6.44 6.15 6.38 7/268 41058
/proc/meminfo: memFree=129603564/131249996 swapFree=33010684/33010684
[pid=40748] ppid=40745 vsize=161776 memory=97468 CPUtime=3600.08 cores=4,6
/proc/40748/stat : 40748 (pb_competition_) R 40745 40748 39477 0 -1 4194304 26197262 0 0 0 354763 5245 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
/proc/40748/statm: 40444 24367 672 633 0 25827 0
[pid=40748/tid=40750] ppid=40745 vsize=161776 memory=17664 CPUtime=1371.63 cores=4,6
/proc/40748/task/40750/stat : 40750 (pb_competition_) S 40745 40748 39477 0 -1 4194368 27978 0 0 0 136884 279 0 0 20 0 2 0 45422334 165658624 24367 18446744073709551615 4198400 6788177 140731319859152 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 34275328 140731319867737 140731319867864 140731319867864 140731319873466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 161776 KiB
Current children cumulated memory: 97468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3547.68 s, system=52.4594 s

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

Child status: 0

Real time (s): 2245.24
CPU time (s): 3600.14
CPU user time (s): 3547.68
CPU system time (s): 52.4594
CPU usage (%): 160.345
Max. virtual memory (cumulated for all children) (KiB): 161844
Max. memory (cumulated for all children) (KiB): 97468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3547.68
system time used= 52.4594
maximum resident set size= 97468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26201620
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= 232066
involuntary context switches= 134904


# summary of solver processes directly reported to runsolver:
#   pid: 40748
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3547.68
#   total CPU system time (s): 52.4594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91845 second user time and 11.4642 second system time

The end