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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525621-1751626629/watcher-4525621-1751626629 -o /tmp/evaluation-result-4525621-1751626629/solver-4525621-1751626629 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751617473-92365 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 107724931 HOME/instance-4525621-1751626629.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=93593, runsolver pid=93590

[startup+0.100066 s]*
/proc/loadavg: 7.14 7.75 7.88 7/255 93595
/proc/meminfo: memFree=123817500/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=113108 memory=43836 CPUtime=0.14 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 11353 0 0 0 13 1 0 0 20 0 2 0 78342663 115822592 10959 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 28277 10959 608 633 0 12503 0
[pid=93593/tid=93595] ppid=93590 vsize=113108 memory=4026531960 CPUtime=0.04 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 1396 0 0 0 4 0 0 0 20 0 2 0 78342664 115822592 10959 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 0 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 113108 KiB
Current children cumulated memory: 43836 KiB

[startup+0.205674 s]*
/proc/loadavg: 7.14 7.75 7.88 8/255 93595
/proc/meminfo: memFree=123764792/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=160644 memory=97772 CPUtime=0.31 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 18702 0 0 0 28 3 0 0 20 0 2 0 78342663 164499456 24443 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 40161 24443 608 633 0 25967 0
[pid=93593/tid=93595] ppid=93590 vsize=160644 memory=664958721904869660 CPUtime=0.1 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 2979 0 0 0 10 0 0 0 20 0 2 0 78342664 164499456 24443 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 0 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 160644 KiB
Current children cumulated memory: 97772 KiB

[startup+0.305732 s]*
/proc/loadavg: 7.14 7.75 7.88 7/255 93595
/proc/meminfo: memFree=123748664/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=171284 memory=108652 CPUtime=0.4 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 21394 0 0 0 37 3 0 0 20 0 2 0 78342663 175394816 27163 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 42821 27163 640 633 0 28634 0
[pid=93593/tid=93595] ppid=93590 vsize=171284 memory=7969552220962964079 CPUtime=0.1 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 2986 0 0 0 10 0 0 0 20 0 2 0 78342664 175394816 27163 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 171284 KiB
Current children cumulated memory: 108652 KiB

[startup+0.700245 s]
/proc/loadavg: 7.14 7.75 7.88 7/255 93595
/proc/meminfo: memFree=123716408/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=245904 memory=183464 CPUtime=0.79 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 39539 0 0 0 73 6 0 0 20 0 2 0 78342663 251805696 45834 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 61509 45834 672 633 0 47322 0
[pid=93593/tid=93595] ppid=93590 vsize=246036 memory=18816 CPUtime=0.1 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 2986 0 0 0 10 0 0 0 20 0 2 0 78342664 251940864 45866 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 245904 KiB
Current children cumulated memory: 183464 KiB

[startup+1.50037 s]
/proc/loadavg: 7.14 7.75 7.88 7/255 93595
/proc/meminfo: memFree=123615544/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=300484 memory=237736 CPUtime=1.7 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 79583 0 0 0 160 10 0 0 20 0 2 0 78342663 307695616 59434 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 75121 59434 672 633 0 60934 0
[pid=93593/tid=93595] ppid=93590 vsize=300484 memory=18816 CPUtime=0.21 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 3899 0 0 0 21 0 0 0 20 0 2 0 78342664 307695616 59434 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 300484 KiB
Current children cumulated memory: 237736 KiB

[startup+3.11337 s]
/proc/loadavg: 7.14 7.75 7.88 7/255 93595
/proc/meminfo: memFree=123615544/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=300484 memory=237736 CPUtime=3.62 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 79717 0 0 0 352 10 0 0 20 0 2 0 78342663 307695616 59434 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 75121 59434 672 633 0 60934 0
[pid=93593/tid=93595] ppid=93590 vsize=300484 memory=237736 CPUtime=0.52 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 3899 0 0 0 52 0 0 0 20 0 2 0 78342664 307695616 59434 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3.62 s
Current children cumulated vsize: 300484 KiB
Current children cumulated memory: 237736 KiB

[startup+6.30031 s]
/proc/loadavg: 7.04 7.72 7.87 8/255 93595
/proc/meminfo: memFree=123607492/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=312628 memory=249896 CPUtime=8.09 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 143935 0 0 0 792 17 0 0 20 0 2 0 78342663 320131072 62474 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78157 62474 672 633 0 63970 0
[pid=93593/tid=93595] ppid=93590 vsize=312628 memory=18816 CPUtime=1.83 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 5785 0 0 0 182 1 0 0 20 0 2 0 78342664 320131072 62474 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 8.09 s
Current children cumulated vsize: 312628 KiB
Current children cumulated memory: 249896 KiB

[startup+12.7002 s]
/proc/loadavg: 7.04 7.71 7.87 8/255 93595
/proc/meminfo: memFree=123607528/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=312628 memory=249896 CPUtime=18.83 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 199514 0 0 0 1861 22 0 0 20 0 2 0 78342663 320131072 62474 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78157 62474 672 633 0 63970 0
[pid=93593/tid=93595] ppid=93590 vsize=312628 memory=249896 CPUtime=6.22 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 8323 0 0 0 620 2 0 0 20 0 2 0 78342664 320131072 62474 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 18.83 s
Current children cumulated vsize: 312628 KiB
Current children cumulated memory: 249896 KiB

[startup+25.5004 s]
/proc/loadavg: 7.11 7.70 7.86 7/255 93595
/proc/meminfo: memFree=123607560/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=312760 memory=250024 CPUtime=35.75 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 242840 0 0 0 3550 25 0 0 20 0 2 0 78342663 320266240 62506 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78190 62506 672 633 0 64003 0
[pid=93593/tid=93595] ppid=93590 vsize=312760 memory=249896 CPUtime=10.45 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 9727 0 0 0 1042 3 0 0 20 0 2 0 78342664 320266240 62506 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 35.75 s
Current children cumulated vsize: 312760 KiB
Current children cumulated memory: 250024 KiB

[startup+51.1132 s]
/proc/loadavg: 6.79 7.57 7.81 7/255 93596
/proc/meminfo: memFree=123607584/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313288 memory=250536 CPUtime=68.82 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 307414 0 0 0 6850 32 0 0 20 0 2 0 78342663 320806912 62634 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78322 62634 672 633 0 64135 0
[pid=93593/tid=93595] ppid=93590 vsize=313288 memory=18816 CPUtime=18.06 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 11752 0 0 0 1801 5 0 0 20 0 2 0 78342664 320806912 62634 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 68.82 s
Current children cumulated vsize: 313288 KiB
Current children cumulated memory: 250536 KiB

[startup+102.3 s]
/proc/loadavg: 6.21 7.30 7.71 6/256 93645
/proc/meminfo: memFree=119629188/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313552 memory=250664 CPUtime=136.79 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 426397 0 0 0 13628 51 0 0 20 0 2 0 78342663 321077248 62666 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78388 62666 672 633 0 64201 0
[pid=93593/tid=93595] ppid=93590 vsize=313552 memory=7969552220962964079 CPUtime=35.27 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 16380 0 0 0 3514 13 0 0 20 0 2 0 78342664 321077248 62666 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 136.79 s
Current children cumulated vsize: 313552 KiB
Current children cumulated memory: 250664 KiB

[startup+162.3 s]
/proc/loadavg: 6.04 7.05 7.60 6/256 93647
/proc/meminfo: memFree=119379088/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313552 memory=250792 CPUtime=218.27 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 428226 0 0 0 21766 61 0 0 20 0 2 0 78342663 321077248 62698 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78388 62698 672 633 0 64201 0
[pid=93593/tid=93595] ppid=93590 vsize=313552 memory=250792 CPUtime=57.3 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 16411 0 0 0 5711 19 0 0 20 0 2 0 78342664 321077248 62698 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 218.27 s
Current children cumulated vsize: 313552 KiB
Current children cumulated memory: 250792 KiB

[startup+222.3 s]
/proc/loadavg: 5.65 6.75 7.46 7/255 93649
/proc/meminfo: memFree=119176148/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313816 memory=251048 CPUtime=297.97 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 453918 0 0 0 29726 71 0 0 20 0 2 0 78342663 321347584 62762 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78454 62762 672 633 0 64267 0
[pid=93593/tid=93595] ppid=93590 vsize=313816 memory=14336 CPUtime=77.57 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 17374 0 0 0 7732 25 0 0 20 0 2 0 78342664 321347584 62762 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 297.97 s
Current children cumulated vsize: 313816 KiB
Current children cumulated memory: 251048 KiB

[startup+282.3 s]
/proc/loadavg: 5.74 6.57 7.35 6/255 93662
/proc/meminfo: memFree=119169476/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313816 memory=251176 CPUtime=377.72 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 463074 0 0 0 37692 80 0 0 20 0 2 0 78342663 321347584 62794 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78454 62794 672 633 0 64267 0
[pid=93593/tid=93595] ppid=93590 vsize=313816 memory=18816 CPUtime=97.8 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 17392 0 0 0 9751 29 0 0 20 0 2 0 78342664 321347584 62794 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 377.72 s
Current children cumulated vsize: 313816 KiB
Current children cumulated memory: 251176 KiB

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

/proc/meminfo: memFree=119189264/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313948 memory=251688 CPUtime=2767.54 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 547887 0 0 0 276402 352 0 0 20 0 2 0 78342663 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78487 62922 672 633 0 64300 0
[pid=93593/tid=93595] ppid=93590 vsize=313948 memory=14336 CPUtime=762.42 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 19041 0 0 0 76019 223 0 0 20 0 2 0 78342664 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 2767.54 s
Current children cumulated vsize: 313948 KiB
Current children cumulated memory: 251688 KiB

[startup+2082.3 s]
/proc/loadavg: 3.69 4.28 5.24 6/247 93781
/proc/meminfo: memFree=119184660/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313948 memory=251688 CPUtime=2849.4 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 549979 0 0 0 284579 361 0 0 20 0 2 0 78342663 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78487 62922 672 633 0 64300 0
[pid=93593/tid=93595] ppid=93590 vsize=313948 memory=251688 CPUtime=784.83 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 19044 0 0 0 78254 229 0 0 20 0 2 0 78342664 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 2849.4 s
Current children cumulated vsize: 313948 KiB
Current children cumulated memory: 251688 KiB

[startup+2142.3 s]
/proc/loadavg: 3.67 4.17 5.14 4/248 93788
/proc/meminfo: memFree=119186732/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313948 memory=251688 CPUtime=2935.48 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 552206 0 0 0 293178 370 0 0 20 0 2 0 78342663 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78487 62922 672 633 0 64300 0
[pid=93593/tid=93595] ppid=93590 vsize=313948 memory=251688 CPUtime=811.49 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 19148 0 0 0 80913 236 0 0 20 0 2 0 78342664 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 2935.48 s
Current children cumulated vsize: 313948 KiB
Current children cumulated memory: 251688 KiB

[startup+2202.3 s]
/proc/loadavg: 3.93 4.15 5.07 5/248 93790
/proc/meminfo: memFree=119187900/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313948 memory=251688 CPUtime=3021.1 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 554711 0 0 0 301729 381 0 0 20 0 2 0 78342663 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78487 62922 672 633 0 64300 0
[pid=93593/tid=93595] ppid=93590 vsize=313948 memory=251688 CPUtime=837.64 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 19151 0 0 0 83521 243 0 0 20 0 2 0 78342664 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3021.1 s
Current children cumulated vsize: 313948 KiB
Current children cumulated memory: 251688 KiB

[startup+2262.3 s]
/proc/loadavg: 3.73 4.04 4.98 4/247 93794
/proc/meminfo: memFree=119190448/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=313948 memory=251688 CPUtime=3107.71 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 554718 0 0 0 310379 392 0 0 20 0 2 0 78342663 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78487 62922 672 633 0 64300 0
[pid=93593/tid=93595] ppid=93590 vsize=313948 memory=251688 CPUtime=864.78 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 19151 0 0 0 86227 251 0 0 20 0 2 0 78342664 321482752 62922 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3107.71 s
Current children cumulated vsize: 313948 KiB
Current children cumulated memory: 251688 KiB

[startup+2322.3 s]
/proc/loadavg: 3.65 3.97 4.89 5/248 93797
/proc/meminfo: memFree=119189764/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=314080 memory=251816 CPUtime=3190.41 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 556395 0 0 0 318640 401 0 0 20 0 2 0 78342663 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78520 62954 672 633 0 64333 0
[pid=93593/tid=93595] ppid=93590 vsize=314080 memory=251816 CPUtime=888.03 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 19510 0 0 0 88545 258 0 0 20 0 2 0 78342664 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3190.41 s
Current children cumulated vsize: 314080 KiB
Current children cumulated memory: 251816 KiB

[startup+2382.3 s]
/proc/loadavg: 3.63 3.90 4.81 5/248 93799
/proc/meminfo: memFree=119192020/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=314080 memory=251816 CPUtime=3271.57 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 556441 0 0 0 326748 409 0 0 20 0 2 0 78342663 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78520 62954 672 633 0 64333 0
[pid=93593/tid=93595] ppid=93590 vsize=314080 memory=251816 CPUtime=909.72 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 19511 0 0 0 90708 264 0 0 20 0 2 0 78342664 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3271.57 s
Current children cumulated vsize: 314080 KiB
Current children cumulated memory: 251816 KiB

[startup+2442.3 s]
/proc/loadavg: 3.63 3.87 4.74 5/248 93801
/proc/meminfo: memFree=119194816/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=314080 memory=251816 CPUtime=3354.23 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 556852 0 0 0 335004 419 0 0 20 0 2 0 78342663 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78520 62954 672 633 0 64333 0
[pid=93593/tid=93595] ppid=93590 vsize=314080 memory=251816 CPUtime=932.9 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 19511 0 0 0 93020 270 0 0 20 0 2 0 78342664 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3354.23 s
Current children cumulated vsize: 314080 KiB
Current children cumulated memory: 251816 KiB

[startup+2502.3 s]
/proc/loadavg: 3.55 3.81 4.67 4/248 93803
/proc/meminfo: memFree=119194720/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=314080 memory=251816 CPUtime=3436.64 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 558956 0 0 0 343237 427 0 0 20 0 2 0 78342663 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78520 62954 672 633 0 64333 0
[pid=93593/tid=93595] ppid=93590 vsize=314080 memory=251816 CPUtime=955.76 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 19571 0 0 0 95300 276 0 0 20 0 2 0 78342664 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3436.64 s
Current children cumulated vsize: 314080 KiB
Current children cumulated memory: 251816 KiB

[startup+2562.3 s]
/proc/loadavg: 3.71 3.81 4.61 5/248 93805
/proc/meminfo: memFree=119198384/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=314080 memory=251816 CPUtime=3522.8 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 565746 0 0 0 351841 439 0 0 20 0 2 0 78342663 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78520 62954 672 633 0 64333 0
[pid=93593/tid=93595] ppid=93590 vsize=314080 memory=251816 CPUtime=982.4 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 19578 0 0 0 97956 284 0 0 20 0 2 0 78342664 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3522.8 s
Current children cumulated vsize: 314080 KiB
Current children cumulated memory: 251816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2618.4 s]
/proc/loadavg: 3.58 3.76 4.54 5/248 93807
/proc/meminfo: memFree=119199644/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=314080 memory=251816 CPUtime=3600.01 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 567102 0 0 0 359554 447 0 0 20 0 2 0 78342663 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 78520 62954 672 633 0 64333 0
[pid=93593/tid=93595] ppid=93590 vsize=314080 memory=251816 CPUtime=1004.02 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) R 93590 93593 92353 0 -1 4194368 19985 0 0 0 100113 289 0 0 20 0 2 0 78342664 321617920 62954 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 314080 KiB
Current children cumulated memory: 251816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.66 s, system=4.48 s

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

[startup+2618.5 s]
/proc/loadavg: 3.58 3.76 4.54 5/248 93807
/proc/meminfo: memFree=119199644/131382116 swapFree=33010684/33010684
[pid=93593] ppid=93590 vsize=283272 memory=221032 CPUtime=3600.12 cores=1,3
/proc/93593/stat : 93593 (pb_competition_) R 93590 93593 92353 0 -1 4194304 578341 0 0 0 359565 447 0 0 20 0 2 0 78342663 290070528 55258 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
/proc/93593/statm: 70818 55258 672 633 0 56631 0
[pid=93593/tid=93595] ppid=93590 vsize=283272 memory=251816 CPUtime=1004.03 cores=1,3
/proc/93593/task/93595/stat : 93595 (pb_competition_) S 93590 93593 92353 0 -1 4194368 19985 0 0 0 100114 289 0 0 20 0 2 0 78342664 290070528 55258 18446744073709551615 4198400 6788177 140733329951104 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 31363072 140733329955160 140733329955286 140733329955286 140733329960890 0
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 283272 KiB
Current children cumulated memory: 221032 KiB

Child status: 0

Real time (s): 2618.52
CPU time (s): 3600.14
CPU user time (s): 3595.66
CPU system time (s): 4.48
CPU usage (%): 137.488
Max. virtual memory (cumulated for all children) (KiB): 314080
Max. memory (cumulated for all children) (KiB): 251816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.66
system time used= 4.48
maximum resident set size= 251816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580363
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= 78016
involuntary context switches= 18432


# summary of solver processes directly reported to runsolver:
#   pid: 93593
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3595.66
#   total CPU system time (s): 4.48

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0609 second user time and 25.277 second system time

The end