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

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

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

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

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=49657, runsolver pid=49654

[startup+0.100063 s]*
/proc/loadavg: 6.37 6.14 5.70 8/267 49659
/proc/meminfo: memFree=129897716/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=105000 memory=32560 CPUtime=0.13 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 6760 0 0 0 12 1 0 0 20 0 2 0 54072292 107520000 8140 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26250 8140 672 633 0 9610 0
[pid=49657/tid=49659] ppid=49654 vsize=105000 memory=4026531960 CPUtime=0.03 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 532 0 0 0 3 0 0 0 20 0 2 0 54072293 107520000 8140 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 105000 KiB
Current children cumulated memory: 32560 KiB

[startup+0.205609 s]*
/proc/loadavg: 6.37 6.14 5.70 7/267 49659
/proc/meminfo: memFree=129896204/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106456 memory=33968 CPUtime=0.28 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 7098 0 0 0 27 1 0 0 20 0 2 0 54072292 109010944 8492 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26614 8492 672 633 0 9974 0
[pid=49657/tid=49659] ppid=49654 vsize=106456 memory=664958721904869660 CPUtime=0.08 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 532 0 0 0 8 0 0 0 20 0 2 0 54072293 109010944 8492 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 106456 KiB
Current children cumulated memory: 33968 KiB

[startup+0.305465 s]*
/proc/loadavg: 6.42 6.16 5.70 7/267 49659
/proc/meminfo: memFree=129896204/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106456 memory=33968 CPUtime=0.39 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 7110 0 0 0 38 1 0 0 20 0 2 0 54072292 109010944 8492 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26614 8492 672 633 0 9974 0
[pid=49657/tid=49659] ppid=49654 vsize=106456 memory=7970673727218859632 CPUtime=0.09 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 532 0 0 0 9 0 0 0 20 0 2 0 54072293 109010944 8492 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 106456 KiB
Current children cumulated memory: 33968 KiB

[startup+0.700204 s]
/proc/loadavg: 6.42 6.16 5.70 7/267 49659
/proc/meminfo: memFree=129896204/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106456 memory=34096 CPUtime=0.78 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 7126 0 0 0 77 1 0 0 20 0 2 0 54072292 109010944 8524 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26614 8524 672 633 0 9974 0
[pid=49657/tid=49659] ppid=49654 vsize=106456 memory=17920 CPUtime=0.1 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 532 0 0 0 10 0 0 0 20 0 2 0 54072293 109010944 8524 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 106456 KiB
Current children cumulated memory: 34096 KiB

[startup+1.5002 s]
/proc/loadavg: 6.42 6.16 5.70 8/267 49659
/proc/meminfo: memFree=129896296/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106588 memory=34096 CPUtime=2.16 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 11937 0 0 0 214 2 0 0 20 0 2 0 54072292 109146112 8524 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26647 8524 672 633 0 10007 0
[pid=49657/tid=49659] ppid=49654 vsize=106588 memory=17920 CPUtime=0.68 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 664 0 0 0 68 0 0 0 20 0 2 0 54072293 109146112 8524 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 2.16 s
Current children cumulated vsize: 106588 KiB
Current children cumulated memory: 34096 KiB

[startup+3.10537 s]
/proc/loadavg: 6.42 6.16 5.70 8/267 49659
/proc/meminfo: memFree=129896296/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106588 memory=34096 CPUtime=4.99 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 16142 0 0 0 496 3 0 0 20 0 2 0 54072292 109146112 8524 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26647 8524 672 633 0 10007 0
[pid=49657/tid=49659] ppid=49654 vsize=106588 memory=34096 CPUtime=1.92 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 1167 0 0 0 192 0 0 0 20 0 2 0 54072293 109146112 8524 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 4.99 s
Current children cumulated vsize: 106588 KiB
Current children cumulated memory: 34096 KiB

[startup+6.30019 s]
/proc/loadavg: 6.39 6.15 5.71 7/267 49659
/proc/meminfo: memFree=129896556/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106588 memory=34224 CPUtime=9.61 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 22018 0 0 0 955 6 0 0 20 0 2 0 54072292 109146112 8556 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26647 8556 672 633 0 10007 0
[pid=49657/tid=49659] ppid=49654 vsize=106588 memory=17920 CPUtime=3.35 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 1416 0 0 0 335 0 0 0 20 0 2 0 54072293 109146112 8556 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 9.61 s
Current children cumulated vsize: 106588 KiB
Current children cumulated memory: 34224 KiB

[startup+12.7002 s]
/proc/loadavg: 6.44 6.17 5.71 8/267 49659
/proc/meminfo: memFree=129896808/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106996 memory=34480 CPUtime=20.25 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 32566 0 0 0 2012 13 0 0 20 0 2 0 54072292 109563904 8620 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26749 8620 672 633 0 10109 0
[pid=49657/tid=49659] ppid=49654 vsize=106996 memory=34480 CPUtime=7.63 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 2659 0 0 0 761 2 0 0 20 0 2 0 54072293 109563904 8620 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 20.25 s
Current children cumulated vsize: 106996 KiB
Current children cumulated memory: 34480 KiB

[startup+25.5002 s]
/proc/loadavg: 6.60 6.21 5.73 8/267 49659
/proc/meminfo: memFree=129897572/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=106996 memory=34480 CPUtime=42.97 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 44080 0 0 0 4271 26 0 0 20 0 2 0 54072292 109563904 8620 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26749 8620 672 633 0 10109 0
[pid=49657/tid=49659] ppid=49654 vsize=106996 memory=34480 CPUtime=17.64 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 4159 0 0 0 1759 5 0 0 20 0 2 0 54072293 109563904 8620 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 42.97 s
Current children cumulated vsize: 106996 KiB
Current children cumulated memory: 34480 KiB

[startup+51.1054 s]
/proc/loadavg: 6.77 6.29 5.77 8/267 49660
/proc/meminfo: memFree=129894596/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=107260 memory=34736 CPUtime=88.48 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 55310 0 0 0 8795 53 0 0 20 0 2 0 54072292 109834240 8684 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26815 8684 672 633 0 10175 0
[pid=49657/tid=49659] ppid=49654 vsize=107260 memory=17920 CPUtime=37.71 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 5432 0 0 0 3759 12 0 0 20 0 2 0 54072293 109834240 8684 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 88.48 s
Current children cumulated vsize: 107260 KiB
Current children cumulated memory: 34736 KiB

[startup+102.3 s]
/proc/loadavg: 7.12 6.45 5.86 9/266 49708
/proc/meminfo: memFree=130060644/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=107260 memory=34864 CPUtime=181.21 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 60908 0 0 0 18019 102 0 0 20 0 2 0 54072292 109834240 8716 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26815 8716 672 633 0 10175 0
[pid=49657/tid=49659] ppid=49654 vsize=107260 memory=17920 CPUtime=79.58 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 6124 0 0 0 7932 26 0 0 20 0 2 0 54072293 109834240 8716 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 181.21 s
Current children cumulated vsize: 107260 KiB
Current children cumulated memory: 34864 KiB

[startup+162.3 s]
/proc/loadavg: 7.62 6.74 6.00 9/268 49714
/proc/meminfo: memFree=130062564/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=107524 memory=35120 CPUtime=289.28 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 62112 0 0 0 28782 146 0 0 20 0 2 0 54072292 110104576 8780 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 26881 8780 672 633 0 10241 0
[pid=49657/tid=49659] ppid=49654 vsize=107524 memory=35120 CPUtime=128.05 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 6195 0 0 0 12767 38 0 0 20 0 2 0 54072293 110104576 8780 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 289.28 s
Current children cumulated vsize: 107524 KiB
Current children cumulated memory: 35120 KiB

[startup+222.3 s]
/proc/loadavg: 7.45 6.85 6.08 7/268 49716
/proc/meminfo: memFree=130069736/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=108220 memory=35760 CPUtime=394.04 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 62994 0 0 0 39210 194 0 0 20 0 2 0 54072292 110817280 8940 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27055 8940 672 633 0 10415 0
[pid=49657/tid=49659] ppid=49654 vsize=108220 memory=35632 CPUtime=173.16 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 6252 0 0 0 17264 52 0 0 20 0 2 0 54072293 110817280 8940 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 394.04 s
Current children cumulated vsize: 108220 KiB
Current children cumulated memory: 35760 KiB

[startup+282.3 s]
/proc/loadavg: 7.69 7.03 6.20 9/268 49722
/proc/meminfo: memFree=130068428/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=108220 memory=35760 CPUtime=501.11 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 63331 0 0 0 49866 245 0 0 20 0 2 0 54072292 110817280 8940 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27055 8940 672 633 0 10415 0
[pid=49657/tid=49659] ppid=49654 vsize=108220 memory=35760 CPUtime=220.59 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 6253 0 0 0 21991 68 0 0 20 0 2 0 54072293 110817280 8940 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 501.11 s
Current children cumulated vsize: 108220 KiB

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

/proc/meminfo: memFree=129341200/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110176 memory=37808 CPUtime=2683.87 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31680819 0 0 0 263397 4990 0 0 20 0 2 0 54072292 112820224 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27544 9452 672 633 0 10904 0
[pid=49657/tid=49659] ppid=49654 vsize=110176 memory=37808 CPUtime=1091.21 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 7820 0 0 0 108773 348 0 0 20 0 2 0 54072293 112820224 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 2683.87 s
Current children cumulated vsize: 110176 KiB
Current children cumulated memory: 37808 KiB

[startup+1662.3 s]
/proc/loadavg: 6.35 6.87 7.01 7/267 49877
/proc/meminfo: memFree=129320952/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37808 CPUtime=2780.48 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31681654 0 0 0 273019 5029 0 0 20 0 2 0 54072292 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9452 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37808 CPUtime=1128.18 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 8009 0 0 0 112457 361 0 0 20 0 2 0 54072293 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 2780.48 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37808 KiB

[startup+1722.3 s]
/proc/loadavg: 6.34 6.77 6.97 7/267 49890
/proc/meminfo: memFree=129311616/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37808 CPUtime=2877.29 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31682490 0 0 0 282669 5060 0 0 20 0 2 0 54072292 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9452 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37808 CPUtime=1165.38 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 8180 0 0 0 116164 374 0 0 20 0 2 0 54072293 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 2877.29 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37808 KiB

[startup+1782.3 s]
/proc/loadavg: 6.16 6.63 6.91 6/267 49892
/proc/meminfo: memFree=129264496/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37808 CPUtime=2974.02 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31683335 0 0 0 292305 5097 0 0 20 0 2 0 54072292 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9452 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=14432 CPUtime=1202.49 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 8338 0 0 0 119862 387 0 0 20 0 2 0 54072293 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37808 KiB

[startup+1842.3 s]
/proc/loadavg: 6.20 6.57 6.87 7/267 49894
/proc/meminfo: memFree=129275148/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37808 CPUtime=3070.71 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31684182 0 0 0 301940 5131 0 0 20 0 2 0 54072292 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9452 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=10752 CPUtime=1239.55 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 8512 0 0 0 123555 400 0 0 20 0 2 0 54072293 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3070.71 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37808 KiB

[startup+1902.3 s]
/proc/loadavg: 6.09 6.47 6.81 6/267 49942
/proc/meminfo: memFree=129044856/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37808 CPUtime=3167.65 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31685032 0 0 0 311604 5161 0 0 20 0 2 0 54072292 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9452 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=14432 CPUtime=1276.87 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 8668 0 0 0 127275 412 0 0 20 0 2 0 54072293 112955392 9452 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3167.65 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37808 KiB

[startup+1962.3 s]
/proc/loadavg: 5.76 6.31 6.74 6/267 49947
/proc/meminfo: memFree=129055724/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37936 CPUtime=3264.55 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31685888 0 0 0 321260 5195 0 0 20 0 2 0 54072292 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9484 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37936 CPUtime=1314.15 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 8823 0 0 0 130990 425 0 0 20 0 2 0 54072293 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3264.55 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37936 KiB

[startup+2022.3 s]
/proc/loadavg: 5.58 6.14 6.65 6/267 49949
/proc/meminfo: memFree=129081652/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37936 CPUtime=3361.02 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31686746 0 0 0 330870 5232 0 0 20 0 2 0 54072292 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9484 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37936 CPUtime=1351.03 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 8979 0 0 0 134662 441 0 0 20 0 2 0 54072293 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3361.02 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37936 KiB

[startup+2082.3 s]
/proc/loadavg: 5.56 6.03 6.58 6/267 49955
/proc/meminfo: memFree=129085896/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37936 CPUtime=3457.87 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31687607 0 0 0 340524 5263 0 0 20 0 2 0 54072292 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9484 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37808 CPUtime=1388.24 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 9136 0 0 0 138371 453 0 0 20 0 2 0 54072293 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3457.87 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37936 KiB

[startup+2142.3 s]
/proc/loadavg: 5.57 5.93 6.51 6/268 49958
/proc/meminfo: memFree=129079132/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37936 CPUtime=3554.68 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31688471 0 0 0 350169 5299 0 0 20 0 2 0 54072292 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9484 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37808 CPUtime=1425.43 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) S 49654 49657 49296 0 -1 4194368 9302 0 0 0 142076 467 0 0 20 0 2 0 54072293 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3554.68 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2170.3 s]
/proc/loadavg: 5.56 5.91 6.48 6/268 49958
/proc/meminfo: memFree=129078724/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37936 CPUtime=3600.09 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31688474 0 0 0 354690 5319 0 0 20 0 2 0 54072292 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9484 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37936 CPUtime=1443 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 9302 0 0 0 143827 473 0 0 20 0 2 0 54072293 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3546.94 s, system=53.1947 s

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

[startup+2170.3 s]
/proc/loadavg: 5.56 5.91 6.48 6/268 49958
/proc/meminfo: memFree=129078724/131250000 swapFree=33007332/33010684
[pid=49657] ppid=49654 vsize=110308 memory=37936 CPUtime=3600.09 cores=1,3
/proc/49657/stat : 49657 (pb_competition_) R 49654 49657 49296 0 -1 4194304 31688474 0 0 0 354690 5319 0 0 20 0 2 0 54072292 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
/proc/49657/statm: 27577 9484 672 633 0 10937 0
[pid=49657/tid=49659] ppid=49654 vsize=110308 memory=37936 CPUtime=1443 cores=1,3
/proc/49657/task/49659/stat : 49659 (pb_competition_) R 49654 49657 49296 0 -1 4194368 9302 0 0 0 143827 473 0 0 20 0 2 0 54072293 112955392 9484 18446744073709551615 4198400 6788177 140721761515712 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 17698816 140721761519962 140721761520088 140721761520088 140721761525690 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 110308 KiB
Current children cumulated memory: 37936 KiB

Child status: 0

Real time (s): 2170.33
CPU time (s): 3600.13
CPU user time (s): 3546.94
CPU system time (s): 53.1947
CPU usage (%): 165.88
Max. virtual memory (cumulated for all children) (KiB): 110308
Max. memory (cumulated for all children) (KiB): 37936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.94
system time used= 53.1947
maximum resident set size= 38072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31688769
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= 601454
involuntary context switches= 186348


# summary of solver processes directly reported to runsolver:
#   pid: 49657
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3546.94
#   total CPU system time (s): 53.1947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.34776 second user time and 9.67319 second system time

The end