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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525117-1751621935/watcher-4525117-1751621935 -o /tmp/evaluation-result-4525117-1751621935/solver-4525117-1751621935 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751616814-86827 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 705006954 HOME/instance-4525117-1751621935.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=87518, runsolver pid=87515

[startup+0.100072 s]*
/proc/loadavg: 5.08 5.20 5.68 6/254 87520
/proc/meminfo: memFree=127444356/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=79492 memory=5120 CPUtime=0.18 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 765 0 0 0 18 0 0 0 20 0 2 0 77872915 81399808 1280 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 19873 1280 672 633 0 2754 0
[pid=87518/tid=87520] ppid=87515 vsize=79492 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) S 87515 87518 86815 0 -1 4194368 54 0 0 0 7 0 0 0 20 0 2 0 77872915 81399808 1280 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79492 KiB
Current children cumulated memory: 5120 KiB

[startup+0.213448 s]*
/proc/loadavg: 5.08 5.20 5.68 7/254 87520
/proc/meminfo: memFree=127444356/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=79720 memory=5248 CPUtime=0.34 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) S 87515 87518 86815 0 -1 4194304 800 0 0 0 33 1 0 0 20 0 2 0 77872915 81633280 1312 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 19930 1312 672 633 0 2811 0
[pid=87518/tid=87520] ppid=87515 vsize=79720 memory=664958721904869660 CPUtime=0.12 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 54 0 0 0 12 0 0 0 20 0 2 0 77872915 81633280 1312 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 79720 KiB
Current children cumulated memory: 5248 KiB

[startup+0.313352 s]*
/proc/loadavg: 5.08 5.20 5.68 7/254 87520
/proc/meminfo: memFree=127444356/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=80012 memory=5504 CPUtime=0.51 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) S 87515 87518 86815 0 -1 4194304 885 0 0 0 50 1 0 0 20 0 2 0 77872915 81932288 1376 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 20003 1376 672 633 0 2884 0
[pid=87518/tid=87520] ppid=87515 vsize=80012 memory=-7025187427619016805 CPUtime=0.21 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 54 0 0 0 21 0 0 0 20 0 2 0 77872915 81932288 1376 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 80012 KiB
Current children cumulated memory: 5504 KiB

[startup+0.7003 s]
/proc/loadavg: 5.08 5.20 5.68 6/254 87520
/proc/meminfo: memFree=127444104/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=80504 memory=5888 CPUtime=1.22 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 1071 0 0 0 120 2 0 0 20 0 2 0 77872915 82436096 1472 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 20126 1472 672 633 0 3007 0
[pid=87518/tid=87520] ppid=87515 vsize=80504 memory=18560 CPUtime=0.56 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 54 0 0 0 56 0 0 0 20 0 2 0 77872915 82436096 1472 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 80504 KiB
Current children cumulated memory: 5888 KiB

[startup+1.50024 s]
/proc/loadavg: 5.08 5.20 5.68 7/254 87520
/proc/meminfo: memFree=127444104/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=80804 memory=6272 CPUtime=2.8 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 1920 0 0 0 275 5 0 0 20 0 2 0 77872915 82743296 1568 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 20201 1568 672 633 0 3082 0
[pid=87518/tid=87520] ppid=87515 vsize=80804 memory=18560 CPUtime=1.35 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 294 0 0 0 135 0 0 0 20 0 2 0 77872915 82743296 1568 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 80804 KiB
Current children cumulated memory: 6272 KiB

[startup+3.10565 s]
/proc/loadavg: 5.15 5.21 5.69 8/254 87520
/proc/meminfo: memFree=127444356/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=81712 memory=6892 CPUtime=5.96 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 3129 0 0 0 587 9 0 0 20 0 2 0 77872915 83673088 1723 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 20428 1723 672 633 0 3309 0
[pid=87518/tid=87520] ppid=87515 vsize=81712 memory=6528 CPUtime=2.92 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 598 0 0 0 290 2 0 0 20 0 2 0 77872915 83673088 1723 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 5.96 s
Current children cumulated vsize: 81712 KiB
Current children cumulated memory: 6892 KiB

[startup+6.30022 s]
/proc/loadavg: 5.15 5.21 5.69 7/254 87520
/proc/meminfo: memFree=127427720/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=82024 memory=7404 CPUtime=12.16 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 4265 0 0 0 1202 14 0 0 20 0 2 0 77872915 83992576 1851 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 20506 1851 672 633 0 3387 0
[pid=87518/tid=87520] ppid=87515 vsize=82024 memory=18560 CPUtime=5.95 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 1105 0 0 0 592 3 0 0 20 0 2 0 77872915 83992576 1851 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 12.16 s
Current children cumulated vsize: 82024 KiB
Current children cumulated memory: 7404 KiB

[startup+12.7002 s]
/proc/loadavg: 5.21 5.22 5.68 7/253 87520
/proc/meminfo: memFree=127427720/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=82464 memory=8172 CPUtime=24.44 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 4480 0 0 0 2421 23 0 0 20 0 2 0 77872915 84443136 2043 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 20616 2043 672 633 0 3497 0
[pid=87518/tid=87520] ppid=87515 vsize=82464 memory=8172 CPUtime=11.87 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 1109 0 0 0 1182 5 0 0 20 0 2 0 77872915 84443136 2043 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 24.44 s
Current children cumulated vsize: 82464 KiB
Current children cumulated memory: 8172 KiB

[startup+25.5002 s]
/proc/loadavg: 5.33 5.25 5.69 7/253 87520
/proc/meminfo: memFree=127429140/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=84316 memory=8948 CPUtime=48.71 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 6345 0 0 0 4832 39 0 0 20 0 2 0 77872915 86339584 2237 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 21079 2237 672 633 0 3960 0
[pid=87518/tid=87520] ppid=87515 vsize=84316 memory=8692 CPUtime=23.44 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 1780 0 0 0 2335 9 0 0 20 0 2 0 77872915 86339584 2237 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 48.71 s
Current children cumulated vsize: 84316 KiB
Current children cumulated memory: 8948 KiB

[startup+51.1058 s]
/proc/loadavg: 5.63 5.32 5.70 6/253 87520
/proc/meminfo: memFree=127428556/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=84744 memory=9844 CPUtime=96.93 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 7247 0 0 0 9629 64 0 0 20 0 2 0 77872915 86777856 2461 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 21186 2461 672 633 0 4067 0
[pid=87518/tid=87520] ppid=87515 vsize=84744 memory=18560 CPUtime=46.24 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 1955 0 0 0 4608 16 0 0 20 0 2 0 77872915 86777856 2461 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 96.93 s
Current children cumulated vsize: 84744 KiB
Current children cumulated memory: 9844 KiB

[startup+102.3 s]
/proc/loadavg: 5.85 5.44 5.72 8/253 87523
/proc/meminfo: memFree=127432604/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=85296 memory=10740 CPUtime=192.7 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 10027 0 0 0 19163 107 0 0 20 0 2 0 77872915 87343104 2685 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 21324 2685 672 633 0 4205 0
[pid=87518/tid=87520] ppid=87515 vsize=85296 memory=18560 CPUtime=91.16 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 2747 0 0 0 9087 29 0 0 20 0 2 0 77872915 87343104 2685 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 192.7 s
Current children cumulated vsize: 85296 KiB
Current children cumulated memory: 10740 KiB

[startup+162.3 s]
/proc/loadavg: 5.92 5.53 5.74 7/255 87529
/proc/meminfo: memFree=127430964/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=85784 memory=11380 CPUtime=304.13 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 11225 0 0 0 30256 157 0 0 20 0 2 0 77872915 87842816 2845 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 21446 2845 672 633 0 4327 0
[pid=87518/tid=87520] ppid=87515 vsize=85784 memory=5760 CPUtime=143.03 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3096 0 0 0 14260 43 0 0 20 0 2 0 77872915 87842816 2845 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 304.13 s
Current children cumulated vsize: 85784 KiB
Current children cumulated memory: 11380 KiB

[startup+222.3 s]
/proc/loadavg: 6.06 5.63 5.76 6/256 87538
/proc/meminfo: memFree=127434748/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=88728 memory=12348 CPUtime=415.12 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 12157 0 0 0 41308 204 0 0 20 0 2 0 77872915 90857472 3087 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22182 3087 672 633 0 5063 0
[pid=87518/tid=87520] ppid=87515 vsize=88728 memory=11636 CPUtime=194.46 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3139 0 0 0 19387 59 0 0 20 0 2 0 77872915 90857472 3087 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 415.12 s
Current children cumulated vsize: 88728 KiB
Current children cumulated memory: 12348 KiB

[startup+282.3 s]
/proc/loadavg: 6.04 5.73 5.79 7/256 87540
/proc/meminfo: memFree=127434248/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=88864 memory=12476 CPUtime=525.95 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 12487 0 0 0 52349 246 0 0 20 0 2 0 77872915 90996736 3119 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22216 3119 672 633 0 5097 0
[pid=87518/tid=87520] ppid=87515 vsize=88864 memory=12476 CPUtime=245.69 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3142 0 0 0 24497 72 0 0 20 0 2 0 77872915 90996736 3119 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 525.95 s
Current children cumulated vsize: 88864 KiB
Current children cumulated memory: 12476 KiB

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

/proc/meminfo: memFree=127490920/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=89980 memory=15668 CPUtime=2504.67 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 19435 0 0 0 249524 943 0 0 20 0 2 0 77872915 92139520 3917 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22495 3917 672 633 0 5376 0
[pid=87518/tid=87520] ppid=87515 vsize=89980 memory=15668 CPUtime=1152.21 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3417 0 0 0 114939 282 0 0 20 0 2 0 77872915 92139520 3917 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 2504.67 s
Current children cumulated vsize: 89980 KiB
Current children cumulated memory: 15668 KiB

[startup+1422.3 s]
/proc/loadavg: 7.04 6.78 6.36 7/254 87701
/proc/meminfo: memFree=127489376/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=89980 memory=15668 CPUtime=2614.16 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 19439 0 0 0 260436 980 0 0 20 0 2 0 77872915 92139520 3917 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22495 3917 672 633 0 5376 0
[pid=87518/tid=87520] ppid=87515 vsize=89980 memory=15668 CPUtime=1202.11 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3417 0 0 0 119917 294 0 0 20 0 2 0 77872915 92139520 3917 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 2614.16 s
Current children cumulated vsize: 89980 KiB
Current children cumulated memory: 15668 KiB

[startup+1482.3 s]
/proc/loadavg: 6.95 6.79 6.39 8/254 87703
/proc/meminfo: memFree=127492424/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90112 memory=15796 CPUtime=2723.62 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 20130 0 0 0 271346 1016 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22528 3949 672 633 0 5409 0
[pid=87518/tid=87520] ppid=87515 vsize=90112 memory=15668 CPUtime=1251.95 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3432 0 0 0 124889 306 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 2723.62 s
Current children cumulated vsize: 90112 KiB
Current children cumulated memory: 15796 KiB

[startup+1542.3 s]
/proc/loadavg: 6.86 6.80 6.42 8/254 87705
/proc/meminfo: memFree=127494124/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90112 memory=15796 CPUtime=2833.09 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 20142 0 0 0 282258 1051 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22528 3949 672 633 0 5409 0
[pid=87518/tid=87520] ppid=87515 vsize=90112 memory=15796 CPUtime=1301.82 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3432 0 0 0 129867 315 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 2833.09 s
Current children cumulated vsize: 90112 KiB
Current children cumulated memory: 15796 KiB

[startup+1602.3 s]
/proc/loadavg: 6.59 6.73 6.42 8/254 87708
/proc/meminfo: memFree=127503480/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90112 memory=15796 CPUtime=2942.55 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 20153 0 0 0 293169 1086 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22528 3949 672 633 0 5409 0
[pid=87518/tid=87520] ppid=87515 vsize=90112 memory=15796 CPUtime=1351.65 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3432 0 0 0 134839 326 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 2942.55 s
Current children cumulated vsize: 90112 KiB
Current children cumulated memory: 15796 KiB

[startup+1662.3 s]
/proc/loadavg: 6.85 6.77 6.46 7/254 87710
/proc/meminfo: memFree=127519380/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90112 memory=15796 CPUtime=3051.92 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 20871 0 0 0 304071 1121 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22528 3949 672 633 0 5409 0
[pid=87518/tid=87520] ppid=87515 vsize=90112 memory=15796 CPUtime=1401.44 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) S 87515 87518 86815 0 -1 4194368 3456 0 0 0 139808 336 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3051.92 s
Current children cumulated vsize: 90112 KiB
Current children cumulated memory: 15796 KiB

[startup+1722.3 s]
/proc/loadavg: 6.82 6.78 6.48 8/254 87712
/proc/meminfo: memFree=127520676/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90112 memory=15796 CPUtime=3161.28 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 20872 0 0 0 314971 1157 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22528 3949 672 633 0 5409 0
[pid=87518/tid=87520] ppid=87515 vsize=90112 memory=15796 CPUtime=1451.2 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3456 0 0 0 144773 347 0 0 20 0 2 0 77872915 92274688 3949 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3161.28 s
Current children cumulated vsize: 90112 KiB
Current children cumulated memory: 15796 KiB

[startup+1782.3 s]
/proc/loadavg: 6.87 6.81 6.51 8/254 87714
/proc/meminfo: memFree=127508808/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90256 memory=15924 CPUtime=3270.61 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 21605 0 0 0 325865 1196 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22564 3981 672 633 0 5445 0
[pid=87518/tid=87520] ppid=87515 vsize=90256 memory=14304 CPUtime=1500.92 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3481 0 0 0 149733 359 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3270.61 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 15924 KiB

[startup+1842.3 s]
/proc/loadavg: 6.70 6.76 6.51 8/254 87716
/proc/meminfo: memFree=127508596/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90256 memory=15924 CPUtime=3379.87 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 21608 0 0 0 336753 1234 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22564 3981 672 633 0 5445 0
[pid=87518/tid=87520] ppid=87515 vsize=90256 memory=2273 CPUtime=1550.59 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3481 0 0 0 154689 370 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3379.87 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 15924 KiB

[startup+1902.3 s]
/proc/loadavg: 7.11 6.88 6.57 8/254 87719
/proc/meminfo: memFree=127508644/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90256 memory=15924 CPUtime=3489.01 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 22347 0 0 0 347631 1270 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22564 3981 672 633 0 5445 0
[pid=87518/tid=87520] ppid=87515 vsize=90256 memory=2273 CPUtime=1600.12 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3486 0 0 0 159632 380 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3489.01 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 15924 KiB

[startup+1962.3 s]
/proc/loadavg: 6.98 6.88 6.59 8/254 87724
/proc/meminfo: memFree=127508784/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90256 memory=15924 CPUtime=3598.1 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 22361 0 0 0 358504 1306 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22564 3981 672 633 0 5445 0
[pid=87518/tid=87520] ppid=87515 vsize=90256 memory=15924 CPUtime=1649.61 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) R 87515 87518 86815 0 -1 4194368 3486 0 0 0 164571 390 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3598.1 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 15924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1963.4 s]
/proc/loadavg: 6.90 6.86 6.58 7/254 87724
/proc/meminfo: memFree=127508784/131382120 swapFree=33010416/33010684
[pid=87518] ppid=87515 vsize=90256 memory=15924 CPUtime=3600.09 cores=1,3
/proc/87518/stat : 87518 (pb_competition_) R 87515 87518 86815 0 -1 4194304 22361 0 0 0 358703 1306 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
/proc/87518/statm: 22564 3981 672 633 0 5445 0
[pid=87518/tid=87520] ppid=87515 vsize=90256 memory=18560 CPUtime=1650.53 cores=1,3
/proc/87518/task/87520/stat : 87520 (pb_competition_) S 87515 87518 86815 0 -1 4194368 3486 0 0 0 164662 391 0 0 20 0 2 0 77872915 92422144 3981 18446744073709551615 4198400 6788177 140730094730160 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 20832256 140730094737752 140730094737878 140730094737878 140730094743482 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 90256 KiB
Current children cumulated memory: 15924 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.06 s, system=13.066 s

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

Child status: 0

Real time (s): 1963.42
CPU time (s): 3600.13
CPU user time (s): 3587.06
CPU system time (s): 13.066
CPU usage (%): 183.36
Max. virtual memory (cumulated for all children) (KiB): 90256
Max. memory (cumulated for all children) (KiB): 15924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.06
system time used= 13.066
maximum resident set size= 15924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22393
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= 51037
involuntary context switches= 28794


# summary of solver processes directly reported to runsolver:
#   pid: 87518
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3587.06
#   total CPU system time (s): 13.066

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.73969 second user time and 9.76236 second system time

The end