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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525126-1751622672/watcher-4525126-1751622672 -o /tmp/evaluation-result-4525126-1751622672/solver-4525126-1751622672 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751619994-88361 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1287719791 HOME/instance-4525126-1751622672.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=88613, runsolver pid=88610

[startup+0.100069 s]*
/proc/loadavg: 5.29 5.41 5.27 8/267 88615
/proc/meminfo: memFree=128797692/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=81240 memory=6784 CPUtime=0.16 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 1265 0 0 0 16 0 0 0 20 0 2 0 77947130 83189760 1696 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20310 1696 672 633 0 3206 0
[pid=88613/tid=88615] ppid=88610 vsize=81240 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 69 0 0 0 6 0 0 0 20 0 2 0 77947130 83189760 1696 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 81240 KiB
Current children cumulated memory: 6784 KiB

[startup+0.205616 s]*
/proc/loadavg: 5.29 5.41 5.27 5/267 88615
/proc/meminfo: memFree=128797692/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=81716 memory=7084 CPUtime=0.33 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 1424 0 0 0 33 0 0 0 20 0 2 0 77947130 83677184 1771 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20429 1771 672 633 0 3325 0
[pid=88613/tid=88615] ppid=88610 vsize=81716 memory=664958721904869660 CPUtime=0.13 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 69 0 0 0 13 0 0 0 20 0 2 0 77947130 83677184 1771 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 81716 KiB
Current children cumulated memory: 7084 KiB

[startup+0.305749 s]*
/proc/loadavg: 5.29 5.41 5.27 6/267 88615
/proc/meminfo: memFree=128797692/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=81716 memory=7340 CPUtime=0.51 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 1465 0 0 0 51 0 0 0 20 0 2 0 77947130 83677184 1835 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20429 1835 672 633 0 3325 0
[pid=88613/tid=88615] ppid=88610 vsize=81716 memory=7969543429248727664 CPUtime=0.22 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 69 0 0 0 22 0 0 0 20 0 2 0 77947130 83677184 1835 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 81716 KiB
Current children cumulated memory: 7340 KiB

[startup+0.700222 s]
/proc/loadavg: 5.29 5.41 5.27 7/267 88615
/proc/meminfo: memFree=128798028/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=82916 memory=8092 CPUtime=1.24 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 1818 0 0 0 123 1 0 0 20 0 2 0 77947130 84905984 2023 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20729 2023 672 633 0 3625 0
[pid=88613/tid=88615] ppid=88610 vsize=82916 memory=18816 CPUtime=0.56 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 69 0 0 0 56 0 0 0 20 0 2 0 77947130 84905984 2023 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 82916 KiB
Current children cumulated memory: 8092 KiB

[startup+1.50022 s]
/proc/loadavg: 5.29 5.41 5.27 8/267 88615
/proc/meminfo: memFree=128798028/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=83264 memory=8604 CPUtime=2.76 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 3203 0 0 0 274 2 0 0 20 0 2 0 77947130 85262336 2151 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20816 2151 672 633 0 3712 0
[pid=88613/tid=88615] ppid=88610 vsize=83264 memory=18816 CPUtime=1.3 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 459 0 0 0 130 0 0 0 20 0 2 0 77947130 85262336 2151 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 83264 KiB
Current children cumulated memory: 8604 KiB

[startup+3.10558 s]
/proc/loadavg: 5.29 5.41 5.27 7/267 88615
/proc/meminfo: memFree=128798684/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=83448 memory=8860 CPUtime=5.67 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 4642 0 0 0 563 4 0 0 20 0 2 0 77947130 85450752 2215 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20862 2215 672 633 0 3758 0
[pid=88613/tid=88615] ppid=88610 vsize=83448 memory=8732 CPUtime=2.61 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 887 0 0 0 261 0 0 0 20 0 2 0 77947130 85450752 2215 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 5.67 s
Current children cumulated vsize: 83448 KiB
Current children cumulated memory: 8860 KiB

[startup+6.3002 s]
/proc/loadavg: 5.35 5.42 5.27 7/267 88615
/proc/meminfo: memFree=128798684/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=83448 memory=9116 CPUtime=11.69 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 6108 0 0 0 1161 8 0 0 20 0 2 0 77947130 85450752 2279 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 20862 2279 672 633 0 3758 0
[pid=88613/tid=88615] ppid=88610 vsize=83448 memory=18816 CPUtime=5.46 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 1189 0 0 0 546 0 0 0 20 0 2 0 77947130 85450752 2279 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 11.69 s
Current children cumulated vsize: 83448 KiB
Current children cumulated memory: 9116 KiB

[startup+12.7002 s]
/proc/loadavg: 5.32 5.41 5.27 7/267 88615
/proc/meminfo: memFree=128799536/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=85072 memory=9588 CPUtime=23.66 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 9480 0 0 0 2349 17 0 0 20 0 2 0 77947130 87113728 2397 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 21268 2397 672 633 0 4164 0
[pid=88613/tid=88615] ppid=88610 vsize=85072 memory=9588 CPUtime=11.07 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 2190 0 0 0 1105 2 0 0 20 0 2 0 77947130 87113728 2397 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 23.66 s
Current children cumulated vsize: 85072 KiB
Current children cumulated memory: 9588 KiB

[startup+25.5002 s]
/proc/loadavg: 5.41 5.43 5.28 7/267 88615
/proc/meminfo: memFree=128796048/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=85404 memory=10100 CPUtime=47.46 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 11205 0 0 0 4716 30 0 0 20 0 2 0 77947130 87453696 2525 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 21351 2525 672 633 0 4247 0
[pid=88613/tid=88615] ppid=88610 vsize=85404 memory=14720 CPUtime=22.16 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 2312 0 0 0 2212 4 0 0 20 0 2 0 77947130 87453696 2525 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 47.46 s
Current children cumulated vsize: 85404 KiB
Current children cumulated memory: 10100 KiB

[startup+51.1055 s]
/proc/loadavg: 5.76 5.51 5.31 6/267 88616
/proc/meminfo: memFree=128794768/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=86000 memory=11252 CPUtime=94.79 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 13223 0 0 0 9422 57 0 0 20 0 2 0 77947130 88064000 2813 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 21500 2813 672 633 0 4396 0
[pid=88613/tid=88615] ppid=88610 vsize=86000 memory=10996 CPUtime=44.09 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 3152 0 0 0 4400 9 0 0 20 0 2 0 77947130 88064000 2813 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 94.79 s
Current children cumulated vsize: 86000 KiB
Current children cumulated memory: 11252 KiB

[startup+102.3 s]
/proc/loadavg: 5.84 5.58 5.34 6/267 88617
/proc/meminfo: memFree=128809620/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=86740 memory=12276 CPUtime=188.44 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 14152 0 0 0 18742 102 0 0 20 0 2 0 77947130 88821760 3069 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 21685 3069 672 633 0 4581 0
[pid=88613/tid=88615] ppid=88610 vsize=86740 memory=12020 CPUtime=86.93 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 3470 0 0 0 8673 20 0 0 20 0 2 0 77947130 88821760 3069 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 188.44 s
Current children cumulated vsize: 86740 KiB
Current children cumulated memory: 12276 KiB

[startup+162.3 s]
/proc/loadavg: 5.98 5.66 5.39 9/267 88664
/proc/meminfo: memFree=128935752/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=89828 memory=13424 CPUtime=295.51 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 16805 0 0 0 29405 146 0 0 20 0 2 0 77947130 91983872 3356 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 22457 3356 672 633 0 5353 0
[pid=88613/tid=88615] ppid=88610 vsize=89828 memory=13168 CPUtime=134.46 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 4623 0 0 0 13416 30 0 0 20 0 2 0 77947130 91983872 3356 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 295.51 s
Current children cumulated vsize: 89828 KiB
Current children cumulated memory: 13424 KiB

[startup+222.3 s]
/proc/loadavg: 6.11 5.77 5.44 8/267 88666
/proc/meminfo: memFree=128934852/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=90316 memory=15884 CPUtime=403.43 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 20967 0 0 0 40154 189 0 0 20 0 2 0 77947130 92483584 3971 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 22579 3971 672 633 0 5475 0
[pid=88613/tid=88615] ppid=88610 vsize=90316 memory=15884 CPUtime=182.86 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 4907 0 0 0 18243 43 0 0 20 0 2 0 77947130 92483584 3971 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 403.43 s
Current children cumulated vsize: 90316 KiB
Current children cumulated memory: 15884 KiB

[startup+282.3 s]
/proc/loadavg: 6.41 5.92 5.52 8/267 88714
/proc/meminfo: memFree=129165556/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=90636 memory=16140 CPUtime=512.46 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 21815 0 0 0 51020 226 0 0 20 0 2 0 77947130 92811264 4035 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 22659 4035 672 633 0 5555 0
[pid=88613/tid=88615] ppid=88610 vsize=90636 memory=16140 CPUtime=232.4 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 4994 0 0 0 23187 53 0 0 20 0 2 0 77947130 92811264 4035 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 512.46 s
Current children cumulated vsize: 90636 KiB
Current children cumulated memory: 16140 KiB

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

/proc/meminfo: memFree=129313820/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93024 memory=18572 CPUtime=2494.43 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 30415 0 0 0 248595 848 0 0 20 0 2 0 77947130 95256576 4643 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23256 4643 672 633 0 6152 0
[pid=88613/tid=88615] ppid=88610 vsize=93024 memory=18444 CPUtime=1086.97 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 5519 0 0 0 108392 305 0 0 20 0 2 0 77947130 95256576 4643 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 2494.43 s
Current children cumulated vsize: 93024 KiB
Current children cumulated memory: 18572 KiB

[startup+1482.3 s]
/proc/loadavg: 7.26 7.22 6.79 9/266 88825
/proc/meminfo: memFree=129313996/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93024 memory=18572 CPUtime=2596.69 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 31259 0 0 0 258795 874 0 0 20 0 2 0 77947130 95256576 4643 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23256 4643 672 633 0 6152 0
[pid=88613/tid=88615] ppid=88610 vsize=93024 memory=18816 CPUtime=1129.9 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 5614 0 0 0 112674 316 0 0 20 0 2 0 77947130 95256576 4643 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 2596.69 s
Current children cumulated vsize: 93024 KiB
Current children cumulated memory: 18572 KiB

[startup+1542.3 s]
/proc/loadavg: 7.20 7.21 6.81 8/266 88827
/proc/meminfo: memFree=129314272/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93180 memory=18700 CPUtime=2698.86 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 32122 0 0 0 268983 903 0 0 20 0 2 0 77947130 95416320 4675 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23295 4675 672 633 0 6191 0
[pid=88613/tid=88615] ppid=88610 vsize=93180 memory=18572 CPUtime=1172.78 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 5642 0 0 0 116948 330 0 0 20 0 2 0 77947130 95416320 4675 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 2698.86 s
Current children cumulated vsize: 93180 KiB
Current children cumulated memory: 18700 KiB

[startup+1602.3 s]
/proc/loadavg: 7.29 7.24 6.85 8/266 88829
/proc/meminfo: memFree=129309312/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93180 memory=18828 CPUtime=2801.5 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 32129 0 0 0 279221 929 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23295 4707 672 633 0 6191 0
[pid=88613/tid=88615] ppid=88610 vsize=93180 memory=18572 CPUtime=1216.12 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 5642 0 0 0 121270 342 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 2801.5 s
Current children cumulated vsize: 93180 KiB
Current children cumulated memory: 18828 KiB

[startup+1662.3 s]
/proc/loadavg: 7.22 7.21 6.86 6/266 88831
/proc/meminfo: memFree=129310604/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93180 memory=18828 CPUtime=2904.35 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 33000 0 0 0 289481 954 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23295 4707 672 633 0 6191 0
[pid=88613/tid=88615] ppid=88610 vsize=93180 memory=18828 CPUtime=1259.66 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 5676 0 0 0 125612 354 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 2904.35 s
Current children cumulated vsize: 93180 KiB
Current children cumulated memory: 18828 KiB

[startup+1722.3 s]
/proc/loadavg: 7.11 7.19 6.88 9/267 88836
/proc/meminfo: memFree=129310908/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93180 memory=18828 CPUtime=3007.11 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 33018 0 0 0 299730 981 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23295 4707 672 633 0 6191 0
[pid=88613/tid=88615] ppid=88610 vsize=93180 memory=18828 CPUtime=1303.08 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 5676 0 0 0 129942 366 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3007.11 s
Current children cumulated vsize: 93180 KiB
Current children cumulated memory: 18828 KiB

[startup+1782.3 s]
/proc/loadavg: 7.56 7.30 6.94 8/267 88842
/proc/meminfo: memFree=129307372/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93180 memory=18828 CPUtime=3109.73 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 33923 0 0 0 309968 1005 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23295 4707 672 633 0 6191 0
[pid=88613/tid=88615] ppid=88610 vsize=93180 memory=18828 CPUtime=1346.41 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 5736 0 0 0 134263 378 0 0 20 0 2 0 77947130 95416320 4707 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3109.73 s
Current children cumulated vsize: 93180 KiB
Current children cumulated memory: 18828 KiB

[startup+1842.3 s]
/proc/loadavg: 7.68 7.37 6.99 6/267 88844
/proc/meminfo: memFree=129305276/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93316 memory=18956 CPUtime=3212.52 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 34833 0 0 0 320221 1031 0 0 20 0 2 0 77947130 95555584 4739 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23329 4739 672 633 0 6225 0
[pid=88613/tid=88615] ppid=88610 vsize=93316 memory=18956 CPUtime=1389.88 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 5826 0 0 0 138599 389 0 0 20 0 2 0 77947130 95555584 4739 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3212.52 s
Current children cumulated vsize: 93316 KiB
Current children cumulated memory: 18956 KiB

[startup+1902.3 s]
/proc/loadavg: 7.69 7.43 7.03 7/267 88846
/proc/meminfo: memFree=129306588/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93316 memory=18956 CPUtime=3315.2 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 34841 0 0 0 330468 1052 0 0 20 0 2 0 77947130 95555584 4739 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23329 4739 672 633 0 6225 0
[pid=88613/tid=88615] ppid=88610 vsize=93316 memory=18956 CPUtime=1433.27 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 5826 0 0 0 142927 400 0 0 20 0 2 0 77947130 95555584 4739 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3315.2 s
Current children cumulated vsize: 93316 KiB
Current children cumulated memory: 18956 KiB

[startup+1962.3 s]
/proc/loadavg: 7.36 7.36 7.03 8/267 88848
/proc/meminfo: memFree=129308320/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93316 memory=18956 CPUtime=3418.06 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 35760 0 0 0 340732 1074 0 0 20 0 2 0 77947130 95555584 4739 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23329 4739 672 633 0 6225 0
[pid=88613/tid=88615] ppid=88610 vsize=93316 memory=18956 CPUtime=1476.79 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 5853 0 0 0 147269 410 0 0 20 0 2 0 77947130 95555584 4739 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3418.06 s
Current children cumulated vsize: 93316 KiB
Current children cumulated memory: 18956 KiB

[startup+2022.3 s]
/proc/loadavg: 7.34 7.34 7.04 7/266 88850
/proc/meminfo: memFree=129308124/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93472 memory=19084 CPUtime=3521.19 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 35792 0 0 0 351023 1096 0 0 20 0 2 0 77947130 95715328 4771 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23368 4771 672 633 0 6264 0
[pid=88613/tid=88615] ppid=88610 vsize=93472 memory=14720 CPUtime=1520.56 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) R 88610 88613 88348 0 -1 4194368 5853 0 0 0 151636 420 0 0 20 0 2 0 77947130 95715328 4771 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3521.19 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 19084 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2068.2 s]
/proc/loadavg: 7.21 7.31 7.04 8/266 88850
/proc/meminfo: memFree=129308140/131250000 swapFree=33010416/33010684
[pid=88613] ppid=88610 vsize=93472 memory=19084 CPUtime=3600.04 cores=5,7
/proc/88613/stat : 88613 (pb_competition_) R 88610 88613 88348 0 -1 4194304 35798 0 0 0 358891 1113 0 0 20 0 2 0 77947130 95715328 4771 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
/proc/88613/statm: 23368 4771 672 633 0 6264 0
[pid=88613/tid=88615] ppid=88610 vsize=93472 memory=7969543429248727664 CPUtime=1554.07 cores=5,7
/proc/88613/task/88615/stat : 88615 (pb_competition_) S 88610 88613 88348 0 -1 4194368 5853 0 0 0 154979 428 0 0 20 0 2 0 77947130 95715328 4771 18446744073709551615 4198400 6788177 140731813907104 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36294656 140731813914967 140731813915094 140731813915094 140731813920698 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 93472 KiB
Current children cumulated memory: 19084 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.94 s, system=11.1364 s

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

Child status: 0

Real time (s): 2068.22
CPU time (s): 3600.07
CPU user time (s): 3588.94
CPU system time (s): 11.1364
CPU usage (%): 174.066
Max. virtual memory (cumulated for all children) (KiB): 93472
Max. memory (cumulated for all children) (KiB): 19084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.94
system time used= 11.1364
maximum resident set size= 19084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35902
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= 41989
involuntary context switches= 101736


# summary of solver processes directly reported to runsolver:
#   pid: 88613
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3588.94
#   total CPU system time (s): 11.1364

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14199 second user time and 9.90079 second system time

The end