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: 63837 MiB (63008 MiB free)
  memory of node 1: 64465 MiB (63455 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525846-1751629089/watcher-4525846-1751629089 -o /tmp/evaluation-result-4525846-1751629089/solver-4525846-1751629089 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751623775-88095 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1709084788 HOME/instance-4525846-1751629089.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=88875, runsolver pid=88872

[startup+0.100066 s]*
/proc/loadavg: 4.29 4.25 4.33 7/255 88877
/proc/meminfo: memFree=129498872/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=89980 memory=18692 CPUtime=0.18 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 4202 0 0 0 17 1 0 0 20 0 2 0 78588029 92139520 4673 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 22495 4673 576 633 0 6407 0
[pid=88875/tid=88877] ppid=88872 vsize=89980 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) D 88872 88875 88085 0 -1 4194368 1082 0 0 0 8 0 0 0 20 0 2 0 78588032 92139520 4673 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 89980 KiB
Current children cumulated memory: 18692 KiB

[startup+0.21308 s]*
/proc/loadavg: 4.29 4.25 4.33 6/255 88877
/proc/meminfo: memFree=129482744/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=107900 memory=39052 CPUtime=0.32 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 9135 0 0 0 30 2 0 0 20 0 2 0 78588029 110489600 9763 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 26975 9763 608 633 0 11277 0
[pid=88875/tid=88877] ppid=88872 vsize=107900 memory=664958721904869660 CPUtime=0.12 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 1472 0 0 0 12 0 0 0 20 0 2 0 78588032 110489600 9763 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 107900 KiB
Current children cumulated memory: 39052 KiB

[startup+0.314064 s]*
/proc/loadavg: 4.29 4.25 4.33 6/255 88877
/proc/meminfo: memFree=129455336/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=151108 memory=70008 CPUtime=0.41 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 13312 0 0 0 37 4 0 0 20 0 2 0 78588029 154734592 17502 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 37777 17502 608 633 0 22079 0
[pid=88875/tid=88877] ppid=88872 vsize=151108 memory=7970112984861982834 CPUtime=0.12 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 1472 0 0 0 12 0 0 0 20 0 2 0 78588032 154734592 17502 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 151108 KiB
Current children cumulated memory: 70008 KiB

[startup+0.700206 s]
/proc/loadavg: 4.29 4.25 4.33 7/255 88877
/proc/meminfo: memFree=129426920/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=175912 memory=113804 CPUtime=0.95 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 21183 0 0 0 88 7 0 0 20 0 2 0 78588029 180133888 28451 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 43978 28451 640 633 0 29948 0
[pid=88875/tid=88877] ppid=88872 vsize=175912 memory=18432 CPUtime=0.32 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3143 0 0 0 31 1 0 0 20 0 2 0 78588032 180133888 28451 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 175912 KiB
Current children cumulated memory: 113804 KiB

[startup+1.50025 s]
/proc/loadavg: 4.29 4.25 4.33 6/255 88877
/proc/meminfo: memFree=129378536/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=272848 memory=210648 CPUtime=1.74 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 63916 0 0 0 157 17 0 0 20 0 2 0 78588029 279396352 52662 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 68212 52662 672 633 0 54182 0
[pid=88875/tid=88877] ppid=88872 vsize=272848 memory=18432 CPUtime=0.32 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3143 0 0 0 31 1 0 0 20 0 2 0 78588032 279396352 52662 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 272848 KiB
Current children cumulated memory: 210648 KiB

[startup+3.11757 s]
/proc/loadavg: 4.35 4.26 4.33 7/255 88877
/proc/meminfo: memFree=129286012/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=327572 memory=265560 CPUtime=3.57 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 77637 0 0 0 337 20 0 0 20 0 2 0 78588029 335433728 66390 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 81893 66390 672 633 0 67863 0
[pid=88875/tid=88877] ppid=88872 vsize=327572 memory=245720 CPUtime=0.55 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3144 0 0 0 54 1 0 0 20 0 2 0 78588032 335433728 66390 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3.57 s
Current children cumulated vsize: 327572 KiB
Current children cumulated memory: 265560 KiB

[startup+6.30037 s]
/proc/loadavg: 4.35 4.26 4.33 5/255 88877
/proc/meminfo: memFree=129278216/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340540 memory=278488 CPUtime=7.1 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 122836 0 0 0 686 24 0 0 20 0 2 0 78588029 348712960 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85135 69622 672 633 0 71105 0
[pid=88875/tid=88877] ppid=88872 vsize=340540 memory=18432 CPUtime=0.92 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3144 0 0 0 91 1 0 0 20 0 2 0 78588032 348712960 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 7.1 s
Current children cumulated vsize: 340540 KiB
Current children cumulated memory: 278488 KiB

[startup+12.7004 s]
/proc/loadavg: 4.45 4.29 4.34 6/255 88877
/proc/meminfo: memFree=129278424/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340540 memory=278488 CPUtime=13.48 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 167383 0 0 0 1320 28 0 0 20 0 2 0 78588029 348712960 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85135 69622 672 633 0 71105 0
[pid=88875/tid=88877] ppid=88872 vsize=340540 memory=278488 CPUtime=0.92 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3144 0 0 0 91 1 0 0 20 0 2 0 78588032 348712960 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 13.48 s
Current children cumulated vsize: 340540 KiB
Current children cumulated memory: 278488 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.29 4.34 5/255 88878
/proc/meminfo: memFree=129278432/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340540 memory=278488 CPUtime=26.25 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 209941 0 0 0 2592 33 0 0 20 0 2 0 78588029 348712960 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85135 69622 672 633 0 71105 0
[pid=88875/tid=88877] ppid=88872 vsize=340540 memory=278488 CPUtime=0.92 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3144 0 0 0 91 1 0 0 20 0 2 0 78588032 348712960 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 26.25 s
Current children cumulated vsize: 340540 KiB
Current children cumulated memory: 278488 KiB

[startup+51.1133 s]
/proc/loadavg: 4.63 4.35 4.36 5/255 88878
/proc/meminfo: memFree=129250960/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=278488 CPUtime=51.77 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 289560 0 0 0 5137 40 0 0 20 0 2 0 78588029 348848128 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69622 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=18432 CPUtime=0.92 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3144 0 0 0 91 1 0 0 20 0 2 0 78588032 348848128 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 51.77 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 278488 KiB

[startup+102.3 s]
/proc/loadavg: 4.78 4.44 4.39 5/255 88926
/proc/meminfo: memFree=129092568/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=278488 CPUtime=102.79 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 364410 0 0 0 10227 52 0 0 20 0 2 0 78588029 348848128 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69622 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=18432 CPUtime=0.92 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 3144 0 0 0 91 1 0 0 20 0 2 0 78588032 348848128 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 102.79 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 278488 KiB

[startup+162.3 s]
/proc/loadavg: 4.99 4.56 4.44 6/255 88928
/proc/meminfo: memFree=129108608/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=278488 CPUtime=181.36 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 415894 0 0 0 18075 61 0 0 20 0 2 0 78588029 348848128 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69622 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=278488 CPUtime=19.82 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) R 88872 88875 88085 0 -1 4194368 3340 0 0 0 1980 2 0 0 20 0 2 0 78588032 348848128 69622 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 181.36 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 278488 KiB

[startup+222.3 s]
/proc/loadavg: 5.20 4.69 4.49 8/255 88977
/proc/meminfo: memFree=129257476/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=278616 CPUtime=277.23 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 424891 0 0 0 27655 68 0 0 20 0 2 0 78588029 348848128 69654 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69654 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=278616 CPUtime=56.03 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) R 88872 88875 88085 0 -1 4194368 3594 0 0 0 5598 5 0 0 20 0 2 0 78588032 348848128 69654 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 277.23 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 278616 KiB

[startup+282.3 s]
/proc/loadavg: 5.87 4.99 4.61 7/254 88979
/proc/meminfo: memFree=129256120/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=373.7 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 425327 0 0 0 37295 75 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=92.8 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) R 88872 88875 88085 0 -1 4194368 3598 0 0 0 9273 7 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 373.7 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

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

/proc/meminfo: memFree=129275768/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=2735.69 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 440974 0 0 0 273332 237 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=964.23 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5225 0 0 0 96342 81 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 2735.69 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+1842.3 s]
/proc/loadavg: 6.19 6.25 5.95 7/256 89068
/proc/meminfo: memFree=129275824/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=2830.31 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 441751 0 0 0 282789 242 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=999.22 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) R 88872 88875 88085 0 -1 4194368 5311 0 0 0 99838 84 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 2830.31 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+1902.3 s]
/proc/loadavg: 6.40 6.28 5.98 7/255 89070
/proc/meminfo: memFree=129275848/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=2924.56 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 442530 0 0 0 292208 248 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=16248 CPUtime=1033.89 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5392 0 0 0 103302 87 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 2924.56 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+1962.3 s]
/proc/loadavg: 5.96 6.18 5.97 8/254 89072
/proc/meminfo: memFree=129275612/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3018.37 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 443305 0 0 0 301583 254 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1068.14 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) R 88872 88875 88085 0 -1 4194368 5515 0 0 0 106724 90 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3018.37 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+2022.3 s]
/proc/loadavg: 6.30 6.24 6.00 8/254 89074
/proc/meminfo: memFree=129275644/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3112.66 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 444086 0 0 0 311005 261 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1102.81 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) R 88872 88875 88085 0 -1 4194368 5592 0 0 0 110188 93 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3112.66 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+2082.3 s]
/proc/loadavg: 6.03 6.18 6.00 7/254 89121
/proc/meminfo: memFree=129286836/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3207.9 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 444871 0 0 0 320523 267 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1138.42 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5677 0 0 0 113746 96 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3207.9 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+2142.3 s]
/proc/loadavg: 5.97 6.14 5.99 6/253 89123
/proc/meminfo: memFree=129287056/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3302.12 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 445647 0 0 0 329938 274 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1173.03 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5750 0 0 0 117204 99 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3302.12 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+2202.3 s]
/proc/loadavg: 6.35 6.22 6.03 7/253 89125
/proc/meminfo: memFree=129292584/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3396.41 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 446435 0 0 0 339360 281 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1207.71 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5822 0 0 0 120668 103 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3396.41 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+2262.3 s]
/proc/loadavg: 6.31 6.23 6.04 6/254 89130
/proc/meminfo: memFree=129291432/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3490.84 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 447215 0 0 0 348797 287 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=16248 CPUtime=1242.57 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5907 0 0 0 124151 106 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3490.84 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

[startup+2322.3 s]
/proc/loadavg: 6.47 6.28 6.07 8/254 89132
/proc/meminfo: memFree=129290972/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3584.47 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 447560 0 0 0 358152 295 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1276.57 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5907 0 0 0 127548 109 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3584.47 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2332.3 s]
/proc/loadavg: 6.55 6.30 6.08 7/253 89133
/proc/meminfo: memFree=129290980/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=340672 memory=279000 CPUtime=3600.14 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 447560 0 0 0 359719 295 0 0 20 0 2 0 78588029 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 85168 69750 672 633 0 71138 0
[pid=88875/tid=88877] ppid=88872 vsize=340672 memory=279000 CPUtime=1282.31 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5907 0 0 0 128122 109 0 0 20 0 2 0 78588032 348848128 69750 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3600.14 s
Current children cumulated vsize: 340672 KiB
Current children cumulated memory: 279000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.32 s, system=2.96675 s

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

[startup+2332.4 s]
/proc/loadavg: 6.55 6.30 6.08 7/253 89133
/proc/meminfo: memFree=129290980/131382120 swapFree=33010160/33010684
[pid=88875] ppid=88872 vsize=332472 memory=270872 CPUtime=3600.25 cores=0,2
/proc/88875/stat : 88875 (pb_competition_) R 88872 88875 88085 0 -1 4194304 452206 0 0 0 359729 296 0 0 20 0 2 0 78588029 340451328 67718 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
/proc/88875/statm: 83118 67718 672 633 0 69088 0
[pid=88875/tid=88877] ppid=88872 vsize=332472 memory=5276 CPUtime=1282.31 cores=0,2
/proc/88875/task/88877/stat : 88877 (pb_competition_) S 88872 88875 88085 0 -1 4194368 5907 0 0 0 128122 109 0 0 20 0 2 0 78588032 340451328 67718 18446744073709551615 4198400 6788177 140723862217040 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 32415744 140723862223191 140723862223318 140723862223318 140723862228922 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 332472 KiB
Current children cumulated memory: 270872 KiB

Child status: 0

Real time (s): 2332.43
CPU time (s): 3600.29
CPU user time (s): 3597.32
CPU system time (s): 2.96675
CPU usage (%): 154.358
Max. virtual memory (cumulated for all children) (KiB): 340672
Max. memory (cumulated for all children) (KiB): 279000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.32
system time used= 2.96675
maximum resident set size= 279000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453789
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= 30607
involuntary context switches= 23243


# summary of solver processes directly reported to runsolver:
#   pid: 88875
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3597.32
#   total CPU system time (s): 2.96675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98767 second user time and 14.9572 second system time

The end