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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498460-1751390578/watcher-4498460-1751390578 -o /tmp/evaluation-result-4498460-1751390578/solver-4498460-1751390578 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751380933-49309 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1876090272 HOME/instance-4498460-1751390578.opb 

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=50492, runsolver pid=50489

[startup+0.100063 s]*
/proc/loadavg: 5.80 6.03 5.99 6/266 50494
/proc/meminfo: memFree=129974100/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=101780 memory=29156 CPUtime=0.1 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 7711 0 0 0 9 1 0 0 20 0 2 0 54735297 104222720 7289 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 25445 7289 608 633 0 8822 0
[pid=50492/tid=50494] ppid=50489 vsize=101780 memory=4026531960 CPUtime=0.01 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 547 0 0 0 1 0 0 0 20 0 2 0 54735297 104222720 7289 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 101780 KiB
Current children cumulated memory: 29156 KiB

[startup+0.205543 s]*
/proc/loadavg: 5.80 6.03 5.99 7/266 50494
/proc/meminfo: memFree=129907816/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=170596 memory=100684 CPUtime=0.24 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 15899 0 0 0 21 3 0 0 20 0 2 0 54735297 174690304 25171 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 42649 25171 608 633 0 26724 0
[pid=50492/tid=50494] ppid=50489 vsize=170596 memory=664958721904869660 CPUtime=0.03 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) R 50489 50492 49296 0 -1 4194368 1247 0 0 0 3 0 0 0 20 0 2 0 54735297 174690304 25171 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 170596 KiB
Current children cumulated memory: 100684 KiB

[startup+0.305539 s]*
/proc/loadavg: 5.80 6.03 5.99 7/266 50494
/proc/meminfo: memFree=129877576/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=182992 memory=120268 CPUtime=0.39 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 20723 0 0 0 35 4 0 0 20 0 2 0 54735297 187383808 30067 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 45748 30067 640 633 0 31819 0
[pid=50492/tid=50494] ppid=50489 vsize=182992 memory=7972084391896105582 CPUtime=0.08 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 3243 0 0 0 8 0 0 0 20 0 2 0 54735297 187383808 30067 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 182992 KiB
Current children cumulated memory: 120268 KiB

[startup+0.700191 s]
/proc/loadavg: 5.80 6.03 5.99 7/266 50494
/proc/meminfo: memFree=129853384/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=241684 memory=179952 CPUtime=0.78 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 36626 0 0 0 72 6 0 0 20 0 2 0 54735297 247484416 44988 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 60421 44988 672 633 0 46492 0
[pid=50492/tid=50494] ppid=50489 vsize=241684 memory=17920 CPUtime=0.08 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 3243 0 0 0 8 0 0 0 20 0 2 0 54735297 247484416 44988 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 241684 KiB
Current children cumulated memory: 179952 KiB

[startup+1.5002 s]
/proc/loadavg: 5.80 6.03 5.99 6/266 50494
/proc/meminfo: memFree=129712736/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368612 memory=307124 CPUtime=1.58 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 110041 0 0 0 143 15 0 0 20 0 2 0 54735297 377458688 76781 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92153 76781 672 633 0 78224 0
[pid=50492/tid=50494] ppid=50489 vsize=368612 memory=17920 CPUtime=0.09 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 3658 0 0 0 9 0 0 0 20 0 2 0 54735297 377458688 76781 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 368612 KiB
Current children cumulated memory: 307124 KiB

[startup+3.10532 s]
/proc/loadavg: 5.82 6.03 5.99 6/266 50494
/proc/meminfo: memFree=129689112/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302632 CPUtime=3.7 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 191016 0 0 0 345 25 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75658 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=302612 CPUtime=0.64 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) R 50489 50492 49296 0 -1 4194368 4337 0 0 0 63 1 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3.7 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302632 KiB

[startup+6.30021 s]
/proc/loadavg: 5.82 6.03 5.99 6/266 50494
/proc/meminfo: memFree=129689112/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302632 CPUtime=8.87 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 278757 0 0 0 855 32 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75658 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=17920 CPUtime=2.63 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 6977 0 0 0 262 1 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 8.87 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302632 KiB

[startup+12.7002 s]
/proc/loadavg: 5.77 6.01 5.99 6/266 50494
/proc/meminfo: memFree=129689140/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302716 CPUtime=20.13 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 382993 0 0 0 1970 43 0 0 20 0 2 0 54735297 372748288 75679 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75679 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=302712 CPUtime=7.54 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) R 50489 50492 49296 0 -1 4194368 9304 0 0 0 753 1 0 0 20 0 2 0 54735297 372748288 75679 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 20.13 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302716 KiB

[startup+25.5002 s]
/proc/loadavg: 5.80 6.01 5.99 8/266 50494
/proc/meminfo: memFree=129689140/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302632 CPUtime=42.51 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 504575 0 0 0 4191 60 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75658 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=302804 CPUtime=17.26 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) R 50489 50492 49296 0 -1 4194368 11229 0 0 0 1724 2 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 42.51 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302632 KiB

[startup+51.1055 s]
/proc/loadavg: 5.59 5.94 5.97 7/266 50495
/proc/meminfo: memFree=129688660/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302524 CPUtime=79.22 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 1062174 0 0 0 7771 151 0 0 20 0 2 0 54735297 372748288 75631 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75631 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=17920 CPUtime=28.53 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 15357 0 0 0 2849 4 0 0 20 0 2 0 54735297 372748288 75631 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 79.22 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302524 KiB

[startup+102.3 s]
/proc/loadavg: 5.57 5.87 5.94 6/266 50497
/proc/meminfo: memFree=129696612/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302524 CPUtime=146.78 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 2360797 0 0 0 14299 379 0 0 20 0 2 0 54735297 372748288 75631 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75631 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=17920 CPUtime=45.2 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) R 50489 50492 49296 0 -1 4194368 19913 0 0 0 4514 6 0 0 20 0 2 0 54735297 372748288 75631 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 146.78 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302524 KiB

[startup+162.3 s]
/proc/loadavg: 5.75 5.88 5.94 7/266 50499
/proc/meminfo: memFree=129661032/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364600 memory=303220 CPUtime=228.88 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 3538822 0 0 0 22284 604 0 0 20 0 2 0 54735297 373350400 75805 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91150 75805 672 633 0 77221 0
[pid=50492/tid=50494] ppid=50489 vsize=364600 memory=5632 CPUtime=67.76 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 24861 0 0 0 6767 9 0 0 20 0 2 0 54735297 373350400 75805 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 228.88 s
Current children cumulated vsize: 364600 KiB
Current children cumulated memory: 303220 KiB

[startup+222.3 s]
/proc/loadavg: 5.79 5.87 5.93 7/266 50501
/proc/meminfo: memFree=129650160/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=364012 memory=302632 CPUtime=310.25 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 4794449 0 0 0 30172 853 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 91003 75658 672 633 0 77074 0
[pid=50492/tid=50494] ppid=50489 vsize=364012 memory=17920 CPUtime=89.55 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 26859 0 0 0 8943 12 0 0 20 0 2 0 54735297 372748288 75658 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 310.25 s
Current children cumulated vsize: 364012 KiB
Current children cumulated memory: 302632 KiB

[startup+282.3 s]
/proc/loadavg: 5.72 5.85 5.92 7/266 50502
/proc/meminfo: memFree=129651684/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=370676 memory=309160 CPUtime=389.61 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 6634858 0 0 0 37773 1188 0 0 20 0 2 0 54735297 379572224 77290 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92669 77290 672 633 0 78740 0
[pid=50492/tid=50494] ppid=50489 vsize=370676 memory=302632 CPUtime=109.3 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 27630 0 0 0 10915 15 0 0 20 0 2 0 54735297 379572224 77290 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 389.61 s
Current children cumulated vsize: 370676 KiB
Current children cumulated memory: 309160 KiB

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

/proc/meminfo: memFree=129781564/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=306816 CPUtime=2912.32 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 78761296 0 0 0 277324 13908 0 0 20 0 2 0 54735297 377769984 76704 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76704 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=306696 CPUtime=603.99 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 32953 0 0 0 60324 75 0 0 20 0 2 0 54735297 377769984 76704 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 2912.32 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 306816 KiB

[startup+2382.3 s]
/proc/loadavg: 1.52 2.37 3.40 3/248 50710
/proc/meminfo: memFree=129779612/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=306820 CPUtime=2980.29 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 81692456 0 0 0 283610 14419 0 0 20 0 2 0 54735297 377769984 76705 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76705 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=306696 CPUtime=612.29 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33270 0 0 0 61153 76 0 0 20 0 2 0 54735297 377769984 76705 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 2980.29 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 306820 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 2.16 3.27 2/248 50712
/proc/meminfo: memFree=129787196/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=306796 CPUtime=3048.93 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 83372163 0 0 0 290182 14711 0 0 20 0 2 0 54735297 377769984 76699 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76699 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=306696 CPUtime=621.21 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33299 0 0 0 62044 77 0 0 20 0 2 0 54735297 377769984 76699 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3048.93 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 306796 KiB

[startup+2502.3 s]
/proc/loadavg: 1.31 1.99 3.14 2/245 50714
/proc/meminfo: memFree=129788224/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=306864 CPUtime=3127.12 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 85205815 0 0 0 297677 15035 0 0 20 0 2 0 54735297 377769984 76716 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76716 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=312684 CPUtime=639.69 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33398 0 0 0 63890 79 0 0 20 0 2 0 54735297 377769984 76716 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3127.12 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 306864 KiB

[startup+2562.3 s]
/proc/loadavg: 1.20 1.84 3.01 2/245 50716
/proc/meminfo: memFree=129780452/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=374956 memory=312776 CPUtime=3202.76 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 87319475 0 0 0 304875 15401 0 0 20 0 2 0 54735297 383954944 78194 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 93739 78194 672 633 0 79810 0
[pid=50492/tid=50494] ppid=50489 vsize=374956 memory=309320 CPUtime=655.6 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33407 0 0 0 65480 80 0 0 20 0 2 0 54735297 383954944 78194 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3202.76 s
Current children cumulated vsize: 374956 KiB
Current children cumulated memory: 312776 KiB

[startup+2622.3 s]
/proc/loadavg: 1.32 1.76 2.91 3/245 50718
/proc/meminfo: memFree=129776980/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=371260 memory=308448 CPUtime=3277.93 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 89493635 0 0 0 312014 15779 0 0 20 0 2 0 54735297 380170240 77080 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92815 77080 672 633 0 78886 0
[pid=50492/tid=50494] ppid=50489 vsize=371260 memory=309320 CPUtime=671.06 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33431 0 0 0 67025 81 0 0 20 0 2 0 54735297 380170240 77112 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3277.93 s
Current children cumulated vsize: 371260 KiB
Current children cumulated memory: 308448 KiB

[startup+2682.3 s]
/proc/loadavg: 1.23 1.66 2.80 2/245 50720
/proc/meminfo: memFree=129780196/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=307424 CPUtime=3350.83 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 91886417 0 0 0 318892 16191 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76856 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=309320 CPUtime=684.26 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33461 0 0 0 68344 82 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3350.83 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 307424 KiB

[startup+2742.3 s]
/proc/loadavg: 1.18 1.57 2.70 2/245 50722
/proc/meminfo: memFree=129777116/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=307412 CPUtime=3421.9 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 94449780 0 0 0 325545 16645 0 0 20 0 2 0 54735297 377769984 76853 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76853 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=309320 CPUtime=695.61 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) R 50489 50492 49296 0 -1 4194368 33515 0 0 0 69479 82 0 0 20 0 2 0 54735297 377769984 76853 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3421.9 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 307412 KiB

[startup+2802.3 s]
/proc/loadavg: 1.44 1.59 2.63 3/247 50728
/proc/meminfo: memFree=129769076/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=307424 CPUtime=3495.26 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 96815201 0 0 0 332460 17066 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76856 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=313312 CPUtime=709.27 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33522 0 0 0 70843 84 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3495.26 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 307424 KiB

[startup+2862.3 s]
/proc/loadavg: 1.45 1.56 2.55 2/248 50731
/proc/meminfo: memFree=129771292/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=307424 CPUtime=3568.49 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 99191863 0 0 0 339370 17479 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76856 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=312032 CPUtime=722.77 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33552 0 0 0 72192 85 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3568.49 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 307424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2889.1 s]
/proc/loadavg: 1.41 1.54 2.51 3/249 50733
/proc/meminfo: memFree=129768824/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=368916 memory=307424 CPUtime=3600.05 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 100361321 0 0 0 342317 17688 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 92229 76856 672 633 0 78300 0
[pid=50492/tid=50494] ppid=50489 vsize=368916 memory=312032 CPUtime=727.71 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33552 0 0 0 72685 86 0 0 20 0 2 0 54735297 377769984 76856 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 368916 KiB
Current children cumulated memory: 307424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3423.31 s, system=176.907 s

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

[startup+2889.2 s]
/proc/loadavg: 1.41 1.54 2.51 3/249 50733
/proc/meminfo: memFree=129768824/131250000 swapFree=33007332/33010684
[pid=50492] ppid=50489 vsize=349280 memory=287788 CPUtime=3600.15 cores=5,7
/proc/50492/stat : 50492 (pb_competition_) R 50489 50492 49296 0 -1 4194304 100373682 0 0 0 342326 17689 0 0 20 0 2 0 54735297 357662720 71947 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
/proc/50492/statm: 87320 71947 672 633 0 73391 0
[pid=50492/tid=50494] ppid=50489 vsize=349280 memory=5044 CPUtime=727.71 cores=5,7
/proc/50492/task/50494/stat : 50494 (pb_competition_) S 50489 50492 49296 0 -1 4194368 33552 0 0 0 72685 86 0 0 20 0 2 0 54735297 357662720 71947 18446744073709551615 4198400 6788177 140729140610160 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 36257792 140729140619609 140729140619736 140729140619736 140729140625338 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 349280 KiB
Current children cumulated memory: 287788 KiB

Child status: 0

Real time (s): 2889.26
CPU time (s): 3600.22
CPU user time (s): 3423.31
CPU system time (s): 176.907
CPU usage (%): 124.607
Max. virtual memory (cumulated for all children) (KiB): 375804
Max. memory (cumulated for all children) (KiB): 313568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3423.31
system time used= 176.907
maximum resident set size= 315748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100380379
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= 74779
involuntary context switches= 35830


# summary of solver processes directly reported to runsolver:
#   pid: 50492
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3423.31
#   total CPU system time (s): 176.907

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.478 second user time and 12.806 second system time

The end