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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525207-1751623062/watcher-4525207-1751623062 -o /tmp/evaluation-result-4525207-1751623062/solver-4525207-1751623062 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751619994-88359 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1287719791 HOME/instance-4525207-1751623062.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=88762, runsolver pid=88759

[startup+0.100063 s]*
/proc/loadavg: 6.85 6.21 5.67 9/267 88764
/proc/meminfo: memFree=129350780/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=83876 memory=9808 CPUtime=0.16 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) S 88759 88762 88348 0 -1 4194304 1954 0 0 0 16 0 0 0 20 0 2 0 77986099 85889024 2452 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 20969 2452 672 633 0 3925 0
[pid=88762/tid=88764] ppid=88759 vsize=83876 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 129 0 0 0 6 0 0 0 20 0 2 0 77986099 85889024 2452 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 83876 KiB
Current children cumulated memory: 9808 KiB

[startup+0.205691 s]*
/proc/loadavg: 6.85 6.21 5.67 8/267 88764
/proc/meminfo: memFree=129350780/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=84340 memory=10052 CPUtime=0.33 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 2110 0 0 0 33 0 0 0 20 0 2 0 77986099 86364160 2513 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 21085 2513 672 633 0 4041 0
[pid=88762/tid=88764] ppid=88759 vsize=84340 memory=4208735117501333788 CPUtime=0.13 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) S 88759 88762 88348 0 -1 4194368 129 0 0 0 13 0 0 0 20 0 2 0 77986099 86364160 2513 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 84340 KiB
Current children cumulated memory: 10052 KiB

[startup+0.305718 s]*
/proc/loadavg: 6.85 6.21 5.67 9/267 88764
/proc/meminfo: memFree=129350528/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=84824 memory=10564 CPUtime=0.48 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) S 88759 88762 88348 0 -1 4194304 2215 0 0 0 48 0 0 0 20 0 2 0 77986099 86859776 2641 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 21206 2641 672 633 0 4162 0
[pid=88762/tid=88764] ppid=88759 vsize=84824 memory=-6735828948342574692 CPUtime=0.18 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 129 0 0 0 18 0 0 0 20 0 2 0 77986099 86859776 2641 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 84824 KiB
Current children cumulated memory: 10564 KiB

[startup+0.700199 s]
/proc/loadavg: 6.85 6.21 5.67 8/267 88764
/proc/meminfo: memFree=129350528/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=85656 memory=11048 CPUtime=1.13 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 2501 0 0 0 112 1 0 0 20 0 2 0 77986099 87711744 2762 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 21414 2762 672 633 0 4370 0
[pid=88762/tid=88764] ppid=88759 vsize=85656 memory=18816 CPUtime=0.45 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) S 88759 88762 88348 0 -1 4194368 129 0 0 0 45 0 0 0 20 0 2 0 77986099 87711744 2762 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 85656 KiB
Current children cumulated memory: 11048 KiB

[startup+1.50022 s]
/proc/loadavg: 6.85 6.21 5.67 8/267 88764
/proc/meminfo: memFree=129350276/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=85952 memory=11688 CPUtime=2.62 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 4451 0 0 0 260 2 0 0 20 0 2 0 77986099 88014848 2922 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 21488 2922 672 633 0 4444 0
[pid=88762/tid=88764] ppid=88759 vsize=85952 memory=18816 CPUtime=1.14 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) S 88759 88762 88348 0 -1 4194368 365 0 0 0 114 0 0 0 20 0 2 0 77986099 88014848 2922 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 85952 KiB
Current children cumulated memory: 11688 KiB

[startup+3.10552 s]
/proc/loadavg: 6.85 6.21 5.67 9/267 88764
/proc/meminfo: memFree=129349772/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=86420 memory=12328 CPUtime=5.55 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 6615 0 0 0 551 4 0 0 20 0 2 0 77986099 88494080 3082 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 21605 3082 672 633 0 4561 0
[pid=88762/tid=88764] ppid=88759 vsize=86420 memory=11816 CPUtime=2.49 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) S 88759 88762 88348 0 -1 4194368 931 0 0 0 248 1 0 0 20 0 2 0 77986099 88494080 3082 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 5.55 s
Current children cumulated vsize: 86420 KiB
Current children cumulated memory: 12328 KiB

[startup+6.30021 s]
/proc/loadavg: 6.86 6.22 5.68 9/267 88764
/proc/meminfo: memFree=129346848/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=87876 memory=12560 CPUtime=11.2 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 9071 0 0 0 1112 8 0 0 20 0 2 0 77986099 89985024 3140 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 21969 3140 672 633 0 4925 0
[pid=88762/tid=88764] ppid=88759 vsize=87876 memory=18816 CPUtime=4.96 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 1617 0 0 0 494 2 0 0 20 0 2 0 77986099 89985024 3140 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 11.2 s
Current children cumulated vsize: 87876 KiB
Current children cumulated memory: 12560 KiB

[startup+12.7002 s]
/proc/loadavg: 6.95 6.25 5.69 9/267 88764
/proc/meminfo: memFree=129346636/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=88252 memory=13200 CPUtime=22.96 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 10988 0 0 0 2280 16 0 0 20 0 2 0 77986099 90370048 3300 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 22063 3300 672 633 0 5019 0
[pid=88762/tid=88764] ppid=88759 vsize=88252 memory=13072 CPUtime=10.36 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 2133 0 0 0 1032 4 0 0 20 0 2 0 77986099 90370048 3300 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 22.96 s
Current children cumulated vsize: 88252 KiB
Current children cumulated memory: 13200 KiB

[startup+25.5002 s]
/proc/loadavg: 7.04 6.29 5.71 8/267 88765
/proc/meminfo: memFree=129346140/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=88800 memory=14224 CPUtime=46.36 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 11736 0 0 0 4604 32 0 0 20 0 2 0 77986099 90931200 3556 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 22200 3556 672 633 0 5156 0
[pid=88762/tid=88764] ppid=88759 vsize=88800 memory=13840 CPUtime=21.07 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 2375 0 0 0 2099 8 0 0 20 0 2 0 77986099 90931200 3556 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 46.36 s
Current children cumulated vsize: 88800 KiB
Current children cumulated memory: 14224 KiB

[startup+51.1056 s]
/proc/loadavg: 7.09 6.38 5.76 9/267 88765
/proc/meminfo: memFree=129342044/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=89708 memory=15504 CPUtime=92.2 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 20088 0 0 0 9165 55 0 0 20 0 2 0 77986099 91860992 3876 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 22427 3876 672 633 0 5383 0
[pid=88762/tid=88764] ppid=88759 vsize=89708 memory=18816 CPUtime=41.53 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 4339 0 0 0 4138 15 0 0 20 0 2 0 77986099 91860992 3876 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 92.2 s
Current children cumulated vsize: 89708 KiB
Current children cumulated memory: 15504 KiB

[startup+102.3 s]
/proc/loadavg: 7.17 6.50 5.83 9/267 88767
/proc/meminfo: memFree=129324216/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=93372 memory=19232 CPUtime=182.67 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 25773 0 0 0 18179 88 0 0 20 0 2 0 77986099 95612928 4808 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 23343 4808 672 633 0 6299 0
[pid=88762/tid=88764] ppid=88759 vsize=93372 memory=18816 CPUtime=81.29 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 4758 0 0 0 8105 24 0 0 20 0 2 0 77986099 95612928 4808 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 182.67 s
Current children cumulated vsize: 93372 KiB
Current children cumulated memory: 19232 KiB

[startup+162.3 s]
/proc/loadavg: 7.03 6.59 5.91 9/266 88771
/proc/meminfo: memFree=129325352/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=94252 memory=20128 CPUtime=286.65 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 27250 0 0 0 28542 123 0 0 20 0 2 0 77986099 96514048 5032 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 23563 5032 672 633 0 6519 0
[pid=88762/tid=88764] ppid=88759 vsize=94252 memory=5760 CPUtime=125.85 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 4842 0 0 0 12548 37 0 0 20 0 2 0 77986099 96514048 5032 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 286.65 s
Current children cumulated vsize: 94252 KiB
Current children cumulated memory: 20128 KiB

[startup+222.3 s]
/proc/loadavg: 7.08 6.68 5.99 8/267 88789
/proc/meminfo: memFree=129326552/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=94932 memory=20768 CPUtime=388.91 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 29113 0 0 0 38735 156 0 0 20 0 2 0 77986099 97210368 5192 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 23733 5192 672 633 0 6689 0
[pid=88762/tid=88764] ppid=88759 vsize=94932 memory=18816 CPUtime=168.72 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 4932 0 0 0 16825 47 0 0 20 0 2 0 77986099 97210368 5192 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 388.91 s
Current children cumulated vsize: 94932 KiB
Current children cumulated memory: 20768 KiB

[startup+282.3 s]
/proc/loadavg: 7.18 6.80 6.07 9/267 88791
/proc/meminfo: memFree=129323892/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=95476 memory=21408 CPUtime=490.35 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 29247 0 0 0 48851 184 0 0 20 0 2 0 77986099 97767424 5352 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 23869 5352 672 633 0 6825 0
[pid=88762/tid=88764] ppid=88759 vsize=95476 memory=21024 CPUtime=210.75 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 4933 0 0 0 21018 57 0 0 20 0 2 0 77986099 97767424 5352 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 490.35 s
Current children cumulated vsize: 95476 KiB
Current children cumulated memory: 21408 KiB

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

/proc/meminfo: memFree=129303288/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=104712 memory=29560 CPUtime=2481.93 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 38328 0 0 0 247707 486 0 0 20 0 2 0 77986099 107225088 7390 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26178 7390 672 633 0 9134 0
[pid=88762/tid=88764] ppid=88759 vsize=104712 memory=27092 CPUtime=1072.85 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5341 0 0 0 107104 181 0 0 20 0 2 0 77986099 107225088 7390 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 2481.93 s
Current children cumulated vsize: 104712 KiB
Current children cumulated memory: 29560 KiB

[startup+1482.3 s]
/proc/loadavg: 7.70 7.40 7.01 8/267 88844
/proc/meminfo: memFree=129305780/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=104712 memory=29560 CPUtime=2587.24 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 38336 0 0 0 258225 499 0 0 20 0 2 0 77986099 107225088 7390 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26178 7390 672 633 0 9134 0
[pid=88762/tid=88764] ppid=88759 vsize=104712 memory=29560 CPUtime=1118.76 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5341 0 0 0 111689 187 0 0 20 0 2 0 77986099 107225088 7390 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 2587.24 s
Current children cumulated vsize: 104712 KiB
Current children cumulated memory: 29560 KiB

[startup+1542.3 s]
/proc/loadavg: 7.25 7.34 7.01 7/267 88846
/proc/meminfo: memFree=129308936/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=104992 memory=29944 CPUtime=2692.99 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 39039 0 0 0 268788 511 0 0 20 0 2 0 77986099 107511808 7486 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26248 7486 672 633 0 9204 0
[pid=88762/tid=88764] ppid=88759 vsize=104992 memory=14720 CPUtime=1165.05 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5343 0 0 0 116314 191 0 0 20 0 2 0 77986099 107511808 7486 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 2692.99 s
Current children cumulated vsize: 104992 KiB
Current children cumulated memory: 29944 KiB

[startup+1602.3 s]
/proc/loadavg: 7.21 7.32 7.03 9/267 88848
/proc/meminfo: memFree=129308084/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=104992 memory=29944 CPUtime=2798.47 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 39048 0 0 0 279324 523 0 0 20 0 2 0 77986099 107511808 7486 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26248 7486 672 633 0 9204 0
[pid=88762/tid=88764] ppid=88759 vsize=104992 memory=29944 CPUtime=1211.11 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) S 88759 88762 88348 0 -1 4194368 5343 0 0 0 120914 197 0 0 20 0 2 0 77986099 107511808 7486 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 2798.47 s
Current children cumulated vsize: 104992 KiB
Current children cumulated memory: 29944 KiB

[startup+1662.3 s]
/proc/loadavg: 7.28 7.32 7.04 8/266 88850
/proc/meminfo: memFree=129308140/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105332 memory=30200 CPUtime=2904.21 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 39823 0 0 0 289885 536 0 0 20 0 2 0 77986099 107859968 7550 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26333 7550 672 633 0 9289 0
[pid=88762/tid=88764] ppid=88759 vsize=105332 memory=29944 CPUtime=1257.4 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5388 0 0 0 125538 202 0 0 20 0 2 0 77986099 107859968 7550 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 2904.21 s
Current children cumulated vsize: 105332 KiB
Current children cumulated memory: 30200 KiB

[startup+1722.3 s]
/proc/loadavg: 7.44 7.36 7.07 9/266 88943
/proc/meminfo: memFree=129327620/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105332 memory=30200 CPUtime=3010.73 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 40560 0 0 0 300515 558 0 0 20 0 2 0 77986099 107859968 7550 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26333 7550 672 633 0 9289 0
[pid=88762/tid=88764] ppid=88759 vsize=105332 memory=14720 CPUtime=1304.48 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5438 0 0 0 130237 211 0 0 20 0 2 0 77986099 107859968 7550 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3010.73 s
Current children cumulated vsize: 105332 KiB
Current children cumulated memory: 30200 KiB

[startup+1782.3 s]
/proc/loadavg: 7.32 7.34 7.09 9/266 88945
/proc/meminfo: memFree=129341328/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105464 memory=30328 CPUtime=3118.78 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 41390 0 0 0 311307 571 0 0 20 0 2 0 77986099 107995136 7582 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26366 7582 672 633 0 9322 0
[pid=88762/tid=88764] ppid=88759 vsize=105464 memory=30328 CPUtime=1352.99 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5483 0 0 0 135082 217 0 0 20 0 2 0 77986099 107995136 7582 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3118.78 s
Current children cumulated vsize: 105464 KiB
Current children cumulated memory: 30328 KiB

[startup+1842.3 s]
/proc/loadavg: 7.63 7.41 7.13 9/266 88947
/proc/meminfo: memFree=129340496/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105672 memory=30456 CPUtime=3227.11 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 41429 0 0 0 322126 585 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26418 7614 672 633 0 9374 0
[pid=88762/tid=88764] ppid=88759 vsize=105672 memory=30328 CPUtime=1401.77 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5483 0 0 0 139954 223 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3227.11 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 30456 KiB

[startup+1902.3 s]
/proc/loadavg: 6.96 7.27 7.09 7/266 88994
/proc/meminfo: memFree=129239228/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105672 memory=30456 CPUtime=3335.27 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 42245 0 0 0 332928 599 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26418 7614 672 633 0 9374 0
[pid=88762/tid=88764] ppid=88759 vsize=105672 memory=30456 CPUtime=1450.5 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5533 0 0 0 144821 229 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3335.27 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 30456 KiB

[startup+1962.3 s]
/proc/loadavg: 6.65 7.12 7.05 8/266 88996
/proc/meminfo: memFree=129212124/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105672 memory=30456 CPUtime=3443.37 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 42245 0 0 0 343726 611 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26418 7614 672 633 0 9374 0
[pid=88762/tid=88764] ppid=88759 vsize=105672 memory=30456 CPUtime=1499.2 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) S 88759 88762 88348 0 -1 4194368 5533 0 0 0 149686 234 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3443.37 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 30456 KiB

[startup+2022.3 s]
/proc/loadavg: 6.96 7.12 7.06 8/267 89002
/proc/meminfo: memFree=129211300/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105672 memory=30456 CPUtime=3551.73 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 43059 0 0 0 354550 623 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26418 7614 672 633 0 9374 0
[pid=88762/tid=88764] ppid=88759 vsize=105672 memory=14720 CPUtime=1548.12 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5571 0 0 0 154574 238 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3551.73 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 30456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2049 s]*
/proc/loadavg: 7.04 7.13 7.06 9/267 89007
/proc/meminfo: memFree=129209080/131250000 swapFree=33010416/33010684
[pid=88762] ppid=88759 vsize=105672 memory=30456 CPUtime=3600.02 cores=4,6
/proc/88762/stat : 88762 (pb_competition_) R 88759 88762 88348 0 -1 4194304 43060 0 0 0 359373 629 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
/proc/88762/statm: 26418 7614 672 633 0 9374 0
[pid=88762/tid=88764] ppid=88759 vsize=105672 memory=7971802938528580211 CPUtime=1569.93 cores=4,6
/proc/88762/task/88764/stat : 88764 (pb_competition_) R 88759 88762 88348 0 -1 4194368 5571 0 0 0 156753 240 0 0 20 0 2 0 77986099 108208128 7614 18446744073709551615 4198400 6788177 140730387397264 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 10371072 140730387401047 140730387401174 140730387401174 140730387406778 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 105672 KiB
Current children cumulated memory: 30456 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.78 s, system=6.29638 s

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

Child status: 0

Real time (s): 2049.05
CPU time (s): 3600.07
CPU user time (s): 3593.78
CPU system time (s): 6.29638
CPU usage (%): 175.695
Max. virtual memory (cumulated for all children) (KiB): 105672
Max. memory (cumulated for all children) (KiB): 30456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.78
system time used= 6.29638
maximum resident set size= 30456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43090
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= 24935
involuntary context switches= 110638


# summary of solver processes directly reported to runsolver:
#   pid: 88762
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.78
#   total CPU system time (s): 6.29638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.0735 second user time and 9.62409 second system time

The end