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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499532-1751402096/watcher-4499532-1751402096 -o /tmp/evaluation-result-4499532-1751402096/solver-4499532-1751402096 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751395822-56306 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 758774973 HOME/instance-4499532-1751402096.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=57558, runsolver pid=57555
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 5.46 5.78 6.08 5/269 57560
/proc/meminfo: memFree=108850196/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=137916 memory=64728 CPUtime=0.16 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 10053 0 0 0 14 2 0 0 20 0 2 0 55888488 141225984 16182 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 34479 16182 608 633 0 19895 0
[pid=57558/tid=57560] ppid=57555 vsize=137916 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 2587 0 0 0 5 0 0 0 20 0 2 0 55888489 141225984 16182 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 137916 KiB
Current children cumulated memory: 64728 KiB

[startup+0.205857 s]*
/proc/loadavg: 5.46 5.78 6.08 5/269 57560
/proc/meminfo: memFree=108809684/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=154384 memory=97896 CPUtime=0.32 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 16240 0 0 0 28 4 0 0 20 0 2 0 55888488 158089216 24474 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 38596 24474 640 633 0 25981 0
[pid=57558/tid=57560] ppid=57555 vsize=154384 memory=664958721904869660 CPUtime=0.12 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 4557 0 0 0 11 1 0 0 20 0 2 0 55888489 158089216 24474 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 154384 KiB
Current children cumulated memory: 97896 KiB

[startup+0.305744 s]*
/proc/loadavg: 5.46 5.78 6.08 5/269 57560
/proc/meminfo: memFree=108801620/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=161012 memory=104552 CPUtime=0.42 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 17888 0 0 0 38 4 0 0 20 0 2 0 55888488 164876288 26138 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 40253 26138 672 633 0 27638 0
[pid=57558/tid=57560] ppid=57555 vsize=161012 memory=7970955197867179631 CPUtime=0.12 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 4557 0 0 0 11 1 0 0 20 0 2 0 55888489 164876288 26138 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 161012 KiB
Current children cumulated memory: 104552 KiB

[startup+0.700198 s]
/proc/loadavg: 5.46 5.78 6.08 5/269 57560
/proc/meminfo: memFree=108769112/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=265700 memory=209384 CPUtime=0.81 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 44110 0 0 0 74 7 0 0 20 0 2 0 55888488 272076800 52346 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66425 52346 672 633 0 53810 0
[pid=57558/tid=57560] ppid=57555 vsize=265700 memory=18432 CPUtime=0.12 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 4557 0 0 0 11 1 0 0 20 0 2 0 55888489 272076800 52346 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 0.81 s
Current children cumulated vsize: 265700 KiB
Current children cumulated memory: 209384 KiB

[startup+1.5002 s]
/proc/loadavg: 5.46 5.78 6.08 5/269 57560
/proc/meminfo: memFree=108696536/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=265700 memory=209512 CPUtime=1.71 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 67796 0 0 0 162 9 0 0 20 0 2 0 55888488 272076800 52378 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66425 52378 672 633 0 53810 0
[pid=57558/tid=57560] ppid=57555 vsize=265700 memory=18432 CPUtime=0.22 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 4756 0 0 0 21 1 0 0 20 0 2 0 55888489 272076800 52378 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 265700 KiB
Current children cumulated memory: 209512 KiB

[startup+3.10574 s]
/proc/loadavg: 5.34 5.75 6.07 6/269 57560
/proc/meminfo: memFree=108696548/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=265832 memory=209512 CPUtime=3.81 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 77154 0 0 0 371 10 0 0 20 0 2 0 55888488 272211968 52378 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66458 52378 672 633 0 53843 0
[pid=57558/tid=57560] ppid=57555 vsize=265832 memory=209512 CPUtime=0.73 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 4826 0 0 0 71 2 0 0 20 0 2 0 55888489 272211968 52378 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3.81 s
Current children cumulated vsize: 265832 KiB
Current children cumulated memory: 209512 KiB

[startup+6.30019 s]
/proc/loadavg: 5.34 5.75 6.07 7/269 57560
/proc/meminfo: memFree=108696548/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=265832 memory=209512 CPUtime=7.78 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 113893 0 0 0 765 13 0 0 20 0 2 0 55888488 272211968 52378 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66458 52378 672 633 0 53843 0
[pid=57558/tid=57560] ppid=57555 vsize=265832 memory=18432 CPUtime=1.52 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 5126 0 0 0 150 2 0 0 20 0 2 0 55888489 272211968 52378 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 7.78 s
Current children cumulated vsize: 265832 KiB
Current children cumulated memory: 209512 KiB

[startup+12.7002 s]
/proc/loadavg: 5.22 5.71 6.05 5/269 57560
/proc/meminfo: memFree=108696548/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=265832 memory=209640 CPUtime=15.12 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 163780 0 0 0 1495 17 0 0 20 0 2 0 55888488 272211968 52410 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66458 52410 672 633 0 53843 0
[pid=57558/tid=57560] ppid=57555 vsize=265832 memory=209640 CPUtime=2.49 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 5643 0 0 0 247 2 0 0 20 0 2 0 55888489 272211968 52410 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 15.12 s
Current children cumulated vsize: 265832 KiB
Current children cumulated memory: 209640 KiB

[startup+25.5002 s]
/proc/loadavg: 5.03 5.65 6.03 5/269 57560
/proc/meminfo: memFree=108696548/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=265964 memory=209768 CPUtime=28.73 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 215511 0 0 0 2853 20 0 0 20 0 2 0 55888488 272347136 52442 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66491 52442 672 633 0 53876 0
[pid=57558/tid=57560] ppid=57555 vsize=265964 memory=209640 CPUtime=3.35 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) R 57555 57558 56290 0 -1 4194368 5951 0 0 0 333 2 0 0 20 0 2 0 55888489 272347136 52442 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 28.73 s
Current children cumulated vsize: 265964 KiB
Current children cumulated memory: 209768 KiB

[startup+51.1059 s]
/proc/loadavg: 5.06 5.60 6.00 5/269 57560
/proc/meminfo: memFree=108684260/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266360 memory=210024 CPUtime=57.35 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 270301 0 0 0 5709 26 0 0 20 0 2 0 55888488 272752640 52506 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66590 52506 672 633 0 53975 0
[pid=57558/tid=57560] ppid=57555 vsize=266360 memory=18432 CPUtime=6.49 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 6688 0 0 0 646 3 0 0 20 0 2 0 55888489 272752640 52506 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 57.35 s
Current children cumulated vsize: 266360 KiB
Current children cumulated memory: 210024 KiB

[startup+102.3 s]
/proc/loadavg: 4.67 5.40 5.91 5/269 57562
/proc/meminfo: memFree=108651732/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266624 memory=210280 CPUtime=114.37 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 348169 0 0 0 11403 34 0 0 20 0 2 0 55888488 273022976 52570 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66656 52570 672 633 0 54041 0
[pid=57558/tid=57560] ppid=57555 vsize=266624 memory=18432 CPUtime=12.57 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 8245 0 0 0 1251 6 0 0 20 0 2 0 55888489 273022976 52570 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 114.37 s
Current children cumulated vsize: 266624 KiB
Current children cumulated memory: 210280 KiB

[startup+162.3 s]
/proc/loadavg: 4.72 5.28 5.84 5/268 57564
/proc/meminfo: memFree=108624272/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266624 memory=210280 CPUtime=181.26 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 394614 0 0 0 18083 43 0 0 20 0 2 0 55888488 273022976 52570 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66656 52570 672 633 0 54041 0
[pid=57558/tid=57560] ppid=57555 vsize=266624 memory=5632 CPUtime=19.72 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) R 57555 57558 56290 0 -1 4194368 9141 0 0 0 1964 8 0 0 20 0 2 0 55888489 273022976 52570 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 181.26 s
Current children cumulated vsize: 266624 KiB
Current children cumulated memory: 210280 KiB

[startup+222.3 s]
/proc/loadavg: 4.71 5.17 5.76 5/268 57566
/proc/meminfo: memFree=108626956/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266624 memory=210408 CPUtime=247.97 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 417097 0 0 0 24749 48 0 0 20 0 2 0 55888488 273022976 52602 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66656 52602 672 633 0 54041 0
[pid=57558/tid=57560] ppid=57555 vsize=266624 memory=210408 CPUtime=26.7 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) R 57555 57558 56290 0 -1 4194368 9665 0 0 0 2660 10 0 0 20 0 2 0 55888489 273022976 52602 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 247.97 s
Current children cumulated vsize: 266624 KiB
Current children cumulated memory: 210408 KiB

[startup+282.3 s]
/proc/loadavg: 4.60 5.06 5.69 6/267 57570
/proc/meminfo: memFree=108634536/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266624 memory=210408 CPUtime=314.21 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 423242 0 0 0 31369 52 0 0 20 0 2 0 55888488 273022976 52602 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66656 52602 672 633 0 54041 0
[pid=57558/tid=57560] ppid=57555 vsize=266624 memory=210408 CPUtime=33.22 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 9720 0 0 0 3310 12 0 0 20 0 2 0 55888489 273022976 52602 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 314.21 s
Current children cumulated vsize: 266624 KiB

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

/proc/meminfo: memFree=108419224/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=2960.95 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 472320 0 0 0 295891 204 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=290.34 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11177 0 0 0 28938 96 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 2960.95 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+2742.3 s]
/proc/loadavg: 4.52 4.55 4.72 6/272 57807
/proc/meminfo: memFree=108415824/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3027.01 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 473550 0 0 0 302494 207 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=296.67 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11203 0 0 0 29569 98 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3027.01 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+2802.3 s]
/proc/loadavg: 4.60 4.57 4.72 5/268 57810
/proc/meminfo: memFree=108416464/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3093.36 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 474777 0 0 0 309124 212 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=303.27 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11239 0 0 0 30227 100 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3093.36 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+2862.3 s]
/proc/loadavg: 4.44 4.54 4.70 5/268 57812
/proc/meminfo: memFree=108418564/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3160.29 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 476001 0 0 0 315813 216 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=310.45 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11267 0 0 0 30944 101 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3160.29 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+2922.3 s]
/proc/loadavg: 4.40 4.50 4.68 6/268 57814
/proc/meminfo: memFree=108418804/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3227.12 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 477221 0 0 0 322492 220 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=317.55 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11301 0 0 0 31652 103 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3227.12 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+2982.3 s]
/proc/loadavg: 4.72 4.55 4.68 5/269 57817
/proc/meminfo: memFree=108423084/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3292.76 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 478462 0 0 0 329052 224 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=323.47 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11391 0 0 0 32242 105 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3292.76 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+3042.3 s]
/proc/loadavg: 4.62 4.55 4.67 5/269 57823
/proc/meminfo: memFree=108422996/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3358.94 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 479688 0 0 0 335667 227 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=5632 CPUtime=329.92 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11433 0 0 0 32885 107 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3358.94 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.58 4.55 4.66 5/269 57872
/proc/meminfo: memFree=108416420/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3425.36 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 480916 0 0 0 342304 232 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=336.6 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11478 0 0 0 33552 108 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3425.36 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.60 4.54 4.65 5/269 57874
/proc/meminfo: memFree=108420624/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3491.58 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 482143 0 0 0 348921 237 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=343.09 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11562 0 0 0 34198 111 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3491.58 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

[startup+3222.3 s]
/proc/loadavg: 5.13 4.75 4.72 5/269 57876
/proc/meminfo: memFree=108420768/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3557.84 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 483376 0 0 0 355543 241 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=210920 CPUtime=349.58 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11608 0 0 0 34846 112 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3557.84 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3261 s]*
/proc/loadavg: 4.99 4.76 4.73 5/268 57878
/proc/meminfo: memFree=108421188/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=266756 memory=210920 CPUtime=3600.08 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) S 57555 57558 56290 0 -1 4194304 483382 0 0 0 359765 243 0 0 20 0 2 0 55888488 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 66689 52730 672 633 0 54074 0
[pid=57558/tid=57560] ppid=57555 vsize=266756 memory=5056 CPUtime=353.29 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) R 57555 57558 56290 0 -1 4194368 11608 0 0 0 35216 113 0 0 20 0 2 0 55888489 273158144 52730 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 266756 KiB
Current children cumulated memory: 210920 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.78 s, system=2.44478 s

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

[startup+3261.11 s]
/proc/loadavg: 4.99 4.76 4.73 5/268 57878
/proc/meminfo: memFree=108421188/131249988 swapFree=33010160/33010684
[pid=57558] ppid=57555 vsize=233288 memory=177532 CPUtime=3600.19 cores=4,6
/proc/57558/stat : 57558 (pb_competition_) R 57555 57558 56290 0 -1 4194304 494804 0 0 0 359776 243 0 0 20 0 2 0 55888488 238886912 44383 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
/proc/57558/statm: 58322 44383 672 633 0 45707 0
[pid=57558/tid=57560] ppid=57555 vsize=233288 memory=210920 CPUtime=353.29 cores=4,6
/proc/57558/task/57560/stat : 57560 (pb_competition_) S 57555 57558 56290 0 -1 4194368 11608 0 0 0 35216 113 0 0 20 0 2 0 55888489 238886912 44383 18446744073709551615 4198400 6788177 140727541302672 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 38043648 140727541307738 140727541307864 140727541307864 140727541313466 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 233288 KiB
Current children cumulated memory: 177532 KiB

Child status: 0

Real time (s): 3261.13
CPU time (s): 3600.23
CPU user time (s): 3597.78
CPU system time (s): 2.44478
CPU usage (%): 110.398
Max. virtual memory (cumulated for all children) (KiB): 266756
Max. memory (cumulated for all children) (KiB): 210920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.78
system time used= 2.44478
maximum resident set size= 210920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499614
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= 148929
involuntary context switches= 9967


# summary of solver processes directly reported to runsolver:
#   pid: 57558
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3597.78
#   total CPU system time (s): 2.44478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45334 second user time and 15.5999 second system time

The end