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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62343 MiB free)
  memory of node 1: 64465 MiB (58086 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518270-1751539986/watcher-4518270-1751539986 -o /tmp/evaluation-result-4518270-1751539986/solver-4518270-1751539986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751539986-85317 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2041840583 HOME/instance-4518270-1751539986.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=85372, runsolver pid=85357
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 0.80 1.02 1.47 10/257 85378
/proc/meminfo: memFree=123293308/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16216 memory=7136 CPUtime=0.17 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 1312 0 0 0 17 0 0 0 20 0 2 0 69677719 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4054 1784 672 633 0 3269 0
[pid=85372/tid=85377] ppid=85357 vsize=16216 memory=4026532124 CPUtime=0.08 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 3 0 0 0 8 0 0 0 20 0 2 0 69677720 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 16216 KiB
Current children cumulated memory: 7136 KiB

[startup+0.212737 s]*
/proc/loadavg: 0.80 1.02 1.47 11/257 85378
/proc/meminfo: memFree=123293232/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16216 memory=7136 CPUtime=0.38 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) S 85357 85372 85304 0 -1 4194304 1312 0 0 0 38 0 0 0 20 0 2 0 69677719 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4054 1784 672 633 0 3269 0
[pid=85372/tid=85377] ppid=85357 vsize=16216 memory=4208735117501333788 CPUtime=0.18 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 3 0 0 0 18 0 0 0 20 0 2 0 69677720 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 16216 KiB
Current children cumulated memory: 7136 KiB

[startup+0.312508 s]*
/proc/loadavg: 0.80 1.02 1.47 10/257 85378
/proc/meminfo: memFree=123293232/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16216 memory=7136 CPUtime=0.53 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 1312 0 0 0 53 0 0 0 20 0 2 0 69677719 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4054 1784 672 633 0 3269 0
[pid=85372/tid=85377] ppid=85357 vsize=16216 memory=7971799614173757549 CPUtime=0.22 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) S 85357 85372 85304 0 -1 4194368 3 0 0 0 22 0 0 0 20 0 2 0 69677720 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 16216 KiB
Current children cumulated memory: 7136 KiB

[startup+0.700214 s]
/proc/loadavg: 0.80 1.02 1.47 10/257 85378
/proc/meminfo: memFree=123293160/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16216 memory=7136 CPUtime=1.15 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 1312 0 0 0 115 0 0 0 20 0 2 0 69677719 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4054 1784 672 633 0 3269 0
[pid=85372/tid=85377] ppid=85357 vsize=16216 memory=14208 CPUtime=0.49 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 3 0 0 0 49 0 0 0 20 0 2 0 69677720 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 16216 KiB
Current children cumulated memory: 7136 KiB

[startup+1.50016 s]
/proc/loadavg: 0.80 1.02 1.47 9/257 85378
/proc/meminfo: memFree=123292656/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16216 memory=7136 CPUtime=2.74 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 2064 0 0 0 273 1 0 0 20 0 2 0 69677719 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4054 1784 672 633 0 3269 0
[pid=85372/tid=85377] ppid=85357 vsize=16216 memory=14208 CPUtime=1.28 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 240 0 0 0 128 0 0 0 20 0 2 0 69677720 16605184 1784 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 16216 KiB
Current children cumulated memory: 7136 KiB

[startup+3.10486 s]
/proc/loadavg: 1.38 1.13 1.50 9/257 85378
/proc/meminfo: memFree=123293500/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7340 CPUtime=5.91 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 3034 0 0 0 590 1 0 0 20 0 2 0 69677719 16801792 1835 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1835 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=14468 CPUtime=2.87 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 473 0 0 0 287 0 0 0 20 0 2 0 69677720 16801792 1835 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7340 KiB

[startup+6.3001 s]
/proc/loadavg: 1.38 1.13 1.50 9/257 85378
/proc/meminfo: memFree=123293728/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7236 CPUtime=12.27 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 4204 0 0 0 1224 3 0 0 20 0 2 0 69677719 16801792 1809 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1809 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=7324 CPUtime=6.04 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 719 0 0 0 604 0 0 0 20 0 2 0 69677720 16801792 1809 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7236 KiB

[startup+12.7001 s]
/proc/loadavg: 1.83 1.23 1.53 9/257 85378
/proc/meminfo: memFree=123293736/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7324 CPUtime=25.01 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 5889 0 0 0 2494 7 0 0 20 0 2 0 69677719 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1831 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=7971518139196915821 CPUtime=12.41 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 1092 0 0 0 1240 1 0 0 20 0 2 0 69677720 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 25.01 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7324 KiB

[startup+25.5001 s]
/proc/loadavg: 3.20 1.56 1.64 9/257 85378
/proc/meminfo: memFree=123293976/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7324 CPUtime=50.48 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 8646 0 0 0 5034 14 0 0 20 0 2 0 69677719 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1831 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=7324 CPUtime=25.15 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 1781 0 0 0 2512 3 0 0 20 0 2 0 69677720 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 50.48 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7324 KiB

[startup+51.1042 s]
/proc/loadavg: 4.91 2.10 1.81 9/256 85379
/proc/meminfo: memFree=123293544/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7324 CPUtime=101.43 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 11436 0 0 0 10114 29 0 0 20 0 2 0 69677719 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1831 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=14468 CPUtime=50.63 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 1897 0 0 0 5055 8 0 0 20 0 2 0 69677720 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 101.43 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7324 KiB

[startup+102.3 s]
/proc/loadavg: 6.66 3.01 2.14 9/258 85387
/proc/meminfo: memFree=123295176/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7324 CPUtime=203.26 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 16271 0 0 0 20268 58 0 0 20 0 2 0 69677719 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1831 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=7324 CPUtime=101.54 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2183 0 0 0 10140 14 0 0 20 0 2 0 69677720 16801792 1831 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 203.26 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7324 KiB

[startup+162.3 s]
/proc/loadavg: 7.55 3.93 2.51 9/257 85388
/proc/meminfo: memFree=123279204/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16408 memory=7404 CPUtime=322.64 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 21232 0 0 0 32169 95 0 0 20 0 2 0 69677719 16801792 1851 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4102 1851 672 633 0 3317 0
[pid=85372/tid=85377] ppid=85357 vsize=16408 memory=7404 CPUtime=161.23 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2210 0 0 0 16102 21 0 0 20 0 2 0 69677720 16801792 1851 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 322.64 s
Current children cumulated vsize: 16408 KiB
Current children cumulated memory: 7404 KiB

[startup+222.3 s]
/proc/loadavg: 7.95 4.71 2.87 9/257 85390
/proc/meminfo: memFree=123284116/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=442.01 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 24836 0 0 0 44064 137 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=220.93 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2249 0 0 0 22066 27 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 442.01 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+282.3 s]
/proc/loadavg: 8.04 5.33 3.20 9/258 85393
/proc/meminfo: memFree=123284940/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=561.41 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 25031 0 0 0 55959 182 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14208 CPUtime=280.61 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2289 0 0 0 28028 33 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 561.41 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

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

/proc/meminfo: memFree=123279392/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=2471.51 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26050 0 0 0 246346 805 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=1235.67 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2498 0 0 0 123447 120 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 2471.51 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1302.3 s]
/proc/loadavg: 8.13 8.03 6.51 9/254 85456
/proc/meminfo: memFree=123283996/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=2590.9 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26063 0 0 0 258246 844 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=1295.37 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2499 0 0 0 129412 125 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 2590.9 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1362.3 s]
/proc/loadavg: 8.10 8.04 6.61 9/254 85458
/proc/meminfo: memFree=123282652/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=2710.29 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26063 0 0 0 270143 886 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14468 CPUtime=1355.06 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2499 0 0 0 135375 131 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 2710.29 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1422.3 s]
/proc/loadavg: 8.15 8.06 6.71 9/254 85461
/proc/meminfo: memFree=123281524/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=2829.66 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26066 0 0 0 282041 925 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14468 CPUtime=1414.75 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2499 0 0 0 141338 137 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 2829.66 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1482.3 s]
/proc/loadavg: 8.11 8.06 6.80 9/255 85464
/proc/meminfo: memFree=123283620/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=2949.06 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26070 0 0 0 293942 964 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14468 CPUtime=1474.47 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2500 0 0 0 147304 143 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 2949.06 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1542.3 s]
/proc/loadavg: 8.08 8.06 6.88 9/255 85466
/proc/meminfo: memFree=123284252/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3068.41 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26255 0 0 0 305843 998 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=1534.14 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2543 0 0 0 153266 148 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3068.41 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1602.3 s]
/proc/loadavg: 8.14 8.08 6.96 9/255 85470
/proc/meminfo: memFree=123282124/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3187.79 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26256 0 0 0 317742 1037 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=1593.83 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2544 0 0 0 159230 153 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3187.79 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1662.3 s]
/proc/loadavg: 8.10 8.08 7.04 9/255 85472
/proc/meminfo: memFree=123281712/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3307.18 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26267 0 0 0 329642 1076 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=1653.54 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2547 0 0 0 165196 158 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3307.18 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1722.3 s]
/proc/loadavg: 8.15 8.09 7.11 9/254 85474
/proc/meminfo: memFree=123283652/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3426.58 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26267 0 0 0 341542 1116 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=7640 CPUtime=1713.25 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2547 0 0 0 171161 164 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3426.58 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

[startup+1782.3 s]
/proc/loadavg: 8.12 8.09 7.17 9/253 85476
/proc/meminfo: memFree=123282356/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3545.96 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26468 0 0 0 353441 1155 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14468 CPUtime=1772.94 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2590 0 0 0 177125 169 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3545.96 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.5 s]
/proc/loadavg: 8.15 8.10 7.21 9/253 85477
/proc/meminfo: memFree=123282392/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3600.08 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26468 0 0 0 358836 1172 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14208 CPUtime=1800 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2590 0 0 0 179829 171 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.38 s, system=11.7253 s

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

[startup+1809.5 s]
/proc/loadavg: 8.15 8.10 7.21 9/253 85477
/proc/meminfo: memFree=123282392/131382112 swapFree=33005784/33010684
[pid=85372] ppid=85357 vsize=16684 memory=7640 CPUtime=3600.08 cores=5,7
/proc/85372/stat : 85372 (pb_competition_) R 85357 85372 85304 0 -1 4194304 26468 0 0 0 358836 1172 0 0 20 0 2 0 69677719 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
/proc/85372/statm: 4171 1910 672 633 0 3386 0
[pid=85372/tid=85377] ppid=85357 vsize=16684 memory=14208 CPUtime=1800 cores=5,7
/proc/85372/task/85377/stat : 85377 (pb_competition_) R 85357 85372 85304 0 -1 4194368 2590 0 0 0 179829 171 0 0 20 0 2 0 69677720 17084416 1910 18446744073709551615 4198400 6788177 140721560818144 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 12189696 140721560820057 140721560820184 140721560820184 140721560825786 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 16684 KiB
Current children cumulated memory: 7640 KiB

Child status: 0

Real time (s): 1809.51
CPU time (s): 3600.1
CPU user time (s): 3588.38
CPU system time (s): 11.7253
CPU usage (%): 198.954
Max. virtual memory (cumulated for all children) (KiB): 16684
Max. memory (cumulated for all children) (KiB): 7660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.38
system time used= 11.7253
maximum resident set size= 7708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26504
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= 5786
involuntary context switches= 97192


# summary of solver processes directly reported to runsolver:
#   pid: 85372
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.38
#   total CPU system time (s): 11.7253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.13824 second user time and 5.60293 second system time

The end