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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518684-1751544067/watcher-4518684-1751544067 -o /tmp/evaluation-result-4518684-1751544067/solver-4518684-1751544067 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751544067-78935 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 561969 HOME/instance-4518684-1751544067.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
Starting watchdog thread
solver pid=78992, runsolver pid=78982
Current StackSize limit: 8192 KiB


[startup+0.100056 s]*
/proc/loadavg: 0.12 0.63 1.28 9/270 78997
/proc/meminfo: memFree=129039400/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=82556 memory=8448 CPUtime=0.16 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 1595 0 0 0 16 0 0 0 20 0 2 0 70084158 84537344 2112 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 20639 2112 672 633 0 3537 0
[pid=78992/tid=78996] ppid=78982 vsize=82556 memory=4026532124 CPUtime=0.07 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 70 0 0 0 7 0 0 0 20 0 2 0 70084158 84537344 2112 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 82556 KiB
Current children cumulated memory: 8448 KiB

[startup+0.205729 s]*
/proc/loadavg: 0.12 0.63 1.28 8/270 78997
/proc/meminfo: memFree=128999080/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=82756 memory=8704 CPUtime=0.33 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 1731 0 0 0 33 0 0 0 20 0 2 0 70084158 84742144 2176 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 20689 2176 672 633 0 3587 0
[pid=78992/tid=78996] ppid=78982 vsize=82756 memory=664958721904869660 CPUtime=0.13 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 70 0 0 0 13 0 0 0 20 0 2 0 70084158 84742144 2176 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 82756 KiB
Current children cumulated memory: 8704 KiB

[startup+0.305234 s]*
/proc/loadavg: 0.12 0.63 1.28 7/270 78997
/proc/meminfo: memFree=128999080/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=83276 memory=8960 CPUtime=0.49 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 1866 0 0 0 49 0 0 0 20 0 2 0 70084158 85274624 2240 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 20819 2240 672 633 0 3717 0
[pid=78992/tid=78996] ppid=78982 vsize=83276 memory=7969832613691671155 CPUtime=0.19 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) S 78982 78992 78844 0 -1 4194368 70 0 0 0 19 0 0 0 20 0 2 0 70084158 85274624 2240 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 83276 KiB
Current children cumulated memory: 8960 KiB

[startup+0.700126 s]
/proc/loadavg: 0.12 0.63 1.28 8/270 78997
/proc/meminfo: memFree=128998576/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=84376 memory=9968 CPUtime=1.12 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 2249 0 0 0 111 1 0 0 20 0 2 0 70084158 86401024 2492 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21094 2492 672 633 0 3992 0
[pid=78992/tid=78996] ppid=78982 vsize=84376 memory=14976 CPUtime=0.43 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 70 0 0 0 43 0 0 0 20 0 2 0 70084158 86401024 2492 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 84376 KiB
Current children cumulated memory: 9968 KiB

[startup+1.50012 s]
/proc/loadavg: 0.12 0.63 1.28 7/270 78997
/proc/meminfo: memFree=128996812/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=85308 memory=10684 CPUtime=2.63 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 4012 0 0 0 260 3 0 0 20 0 2 0 70084158 87355392 2671 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21327 2671 672 633 0 4225 0
[pid=78992/tid=78996] ppid=78982 vsize=85308 memory=14976 CPUtime=1.15 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 197 0 0 0 115 0 0 0 20 0 2 0 70084158 87355392 2671 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 85308 KiB
Current children cumulated memory: 10684 KiB

[startup+3.1053 s]
/proc/loadavg: 0.12 0.63 1.28 9/270 78997
/proc/meminfo: memFree=128997640/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=85632 memory=10940 CPUtime=5.69 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 5706 0 0 0 565 4 0 0 20 0 2 0 70084158 87687168 2735 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21408 2735 672 633 0 4306 0
[pid=78992/tid=78996] ppid=78982 vsize=85632 memory=10812 CPUtime=2.62 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 548 0 0 0 262 0 0 0 20 0 2 0 70084158 87687168 2735 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 85632 KiB
Current children cumulated memory: 10940 KiB

[startup+6.30014 s]
/proc/loadavg: 0.83 0.77 1.32 9/270 78997
/proc/meminfo: memFree=128998804/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=86160 memory=11580 CPUtime=11.76 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 7604 0 0 0 1167 9 0 0 20 0 2 0 70084158 88227840 2895 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21540 2895 672 633 0 4438 0
[pid=78992/tid=78996] ppid=78982 vsize=86160 memory=7970114088668316275 CPUtime=5.51 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 1144 0 0 0 550 1 0 0 20 0 2 0 70084158 88227840 2895 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 11.76 s
Current children cumulated vsize: 86160 KiB
Current children cumulated memory: 11580 KiB

[startup+12.7001 s]
/proc/loadavg: 1.24 0.85 1.35 10/270 78998
/proc/meminfo: memFree=128999196/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=86160 memory=11708 CPUtime=23.96 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 7620 0 0 0 2379 17 0 0 20 0 2 0 70084158 88227840 2927 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21540 2927 672 633 0 4438 0
[pid=78992/tid=78996] ppid=78982 vsize=86160 memory=11708 CPUtime=11.34 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 1144 0 0 0 1132 2 0 0 20 0 2 0 70084158 88227840 2927 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 23.96 s
Current children cumulated vsize: 86160 KiB
Current children cumulated memory: 11708 KiB

[startup+25.5001 s]
/proc/loadavg: 2.59 1.17 1.45 9/270 78998
/proc/meminfo: memFree=129000844/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=86160 memory=11836 CPUtime=47.99 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 11034 0 0 0 4769 30 0 0 20 0 2 0 70084158 88227840 2959 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21540 2959 672 633 0 4438 0
[pid=78992/tid=78996] ppid=78982 vsize=86160 memory=14848 CPUtime=22.64 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 2137 0 0 0 2259 5 0 0 20 0 2 0 70084158 88227840 2959 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 47.99 s
Current children cumulated vsize: 86160 KiB
Current children cumulated memory: 11836 KiB

[startup+51.1054 s]
/proc/loadavg: 3.98 1.61 1.59 10/270 78998
/proc/meminfo: memFree=129002160/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=86160 memory=11836 CPUtime=96.42 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 14607 0 0 0 9587 55 0 0 20 0 2 0 70084158 88227840 2959 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21540 2959 672 633 0 4438 0
[pid=78992/tid=78996] ppid=78982 vsize=86160 memory=11836 CPUtime=45.63 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 2847 0 0 0 4554 9 0 0 20 0 2 0 70084158 88227840 2959 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 96.42 s
Current children cumulated vsize: 86160 KiB
Current children cumulated memory: 11836 KiB

[startup+102.3 s]
/proc/loadavg: 5.88 2.49 1.89 10/270 79000
/proc/meminfo: memFree=129002820/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=86160 memory=11836 CPUtime=193.23 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 18199 0 0 0 19214 109 0 0 20 0 2 0 70084158 88227840 2959 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21540 2959 672 633 0 4438 0
[pid=78992/tid=78996] ppid=78982 vsize=86160 memory=11836 CPUtime=91.55 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 3771 0 0 0 9135 20 0 0 20 0 2 0 70084158 88227840 2959 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 193.23 s
Current children cumulated vsize: 86160 KiB
Current children cumulated memory: 11836 KiB

[startup+162.3 s]
/proc/loadavg: 6.73 3.34 2.22 9/271 79003
/proc/meminfo: memFree=128992064/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87440 memory=12164 CPUtime=306.63 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 22187 0 0 0 30491 172 0 0 20 0 2 0 70084158 89538560 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21860 3041 672 633 0 4758 0
[pid=78992/tid=78996] ppid=78982 vsize=87440 memory=11836 CPUtime=145.31 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 4732 0 0 0 14504 27 0 0 20 0 2 0 70084158 89538560 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 306.63 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 12164 KiB

[startup+222.3 s]
/proc/loadavg: 7.24 4.11 2.55 9/271 79008
/proc/meminfo: memFree=128995696/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87440 memory=12164 CPUtime=419.99 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 23986 0 0 0 41766 233 0 0 20 0 2 0 70084158 89538560 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21860 3041 672 633 0 4758 0
[pid=78992/tid=78996] ppid=78982 vsize=87440 memory=12164 CPUtime=199.02 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 5408 0 0 0 19867 35 0 0 20 0 2 0 70084158 89538560 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 419.99 s
Current children cumulated vsize: 87440 KiB
Current children cumulated memory: 12164 KiB

[startup+282.3 s]
/proc/loadavg: 7.25 4.68 2.85 8/271 79014
/proc/meminfo: memFree=129002172/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=533.32 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 24013 0 0 0 53039 293 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=14848 CPUtime=252.73 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 5410 0 0 0 25230 43 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 533.32 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

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

/proc/meminfo: memFree=128988916/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=2457.18 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 30944 0 0 0 244447 1271 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=12164 CPUtime=1162.66 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 6894 0 0 0 116070 196 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 2457.18 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

[startup+1362.3 s]
/proc/loadavg: 6.90 6.82 5.65 9/267 79061
/proc/meminfo: memFree=128987336/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=2570.39 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 32118 0 0 0 255712 1327 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=12164 CPUtime=1216.24 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7181 0 0 0 121421 203 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 2570.39 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

[startup+1422.3 s]
/proc/loadavg: 6.94 6.84 5.74 9/268 79065
/proc/meminfo: memFree=128986504/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=2683.66 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 32120 0 0 0 266988 1378 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=12164 CPUtime=1269.85 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7181 0 0 0 126775 210 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 2683.66 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

[startup+1482.3 s]
/proc/loadavg: 6.74 6.81 5.80 9/268 79071
/proc/meminfo: memFree=128984768/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=2797 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 33279 0 0 0 278271 1429 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=12164 CPUtime=1323.55 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7461 0 0 0 132137 218 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 2797 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

[startup+1542.3 s]
/proc/loadavg: 6.74 6.80 5.86 9/269 79074
/proc/meminfo: memFree=128983688/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=2910.31 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 33291 0 0 0 289549 1482 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=7970114088668316275 CPUtime=1377.22 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7461 0 0 0 137498 224 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 2910.31 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

[startup+1602.3 s]
/proc/loadavg: 6.85 6.82 5.93 9/269 79076
/proc/meminfo: memFree=128982916/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87572 memory=12164 CPUtime=3023.59 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 33298 0 0 0 300820 1539 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21893 3041 672 633 0 4791 0
[pid=78992/tid=78996] ppid=78982 vsize=87572 memory=12164 CPUtime=1430.86 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7461 0 0 0 142854 232 0 0 20 0 2 0 70084158 89673728 3041 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3023.59 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 12164 KiB

[startup+1662.3 s]
/proc/loadavg: 6.89 6.84 5.99 9/269 79078
/proc/meminfo: memFree=128983324/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87776 memory=12292 CPUtime=3136.85 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 34503 0 0 0 312093 1592 0 0 20 0 2 0 70084158 89882624 3073 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21944 3073 672 633 0 4842 0
[pid=78992/tid=78996] ppid=78982 vsize=87776 memory=12292 CPUtime=1484.48 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7787 0 0 0 148210 238 0 0 20 0 2 0 70084158 89882624 3073 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3136.85 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 12292 KiB

[startup+1722.3 s]
/proc/loadavg: 7.20 6.95 6.08 9/269 79080
/proc/meminfo: memFree=128982008/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87776 memory=12292 CPUtime=3250.11 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 34503 0 0 0 323361 1650 0 0 20 0 2 0 70084158 89882624 3073 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21944 3073 672 633 0 4842 0
[pid=78992/tid=78996] ppid=78982 vsize=87776 memory=12292 CPUtime=1538.09 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 7787 0 0 0 153563 246 0 0 20 0 2 0 70084158 89882624 3073 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3250.11 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 12292 KiB

[startup+1782.3 s]
/proc/loadavg: 7.43 7.05 6.17 9/269 79083
/proc/meminfo: memFree=128975008/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87776 memory=12292 CPUtime=3363.35 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 35673 0 0 0 334634 1701 0 0 20 0 2 0 70084158 89882624 3073 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21944 3073 672 633 0 4842 0
[pid=78992/tid=78996] ppid=78982 vsize=87776 memory=14848 CPUtime=1591.68 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 8066 0 0 0 158916 252 0 0 20 0 2 0 70084158 89882624 3073 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3363.35 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 12292 KiB

[startup+1842.3 s]
/proc/loadavg: 6.95 6.98 6.20 9/268 79085
/proc/meminfo: memFree=128972616/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87776 memory=12420 CPUtime=3476.55 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 35693 0 0 0 345902 1753 0 0 20 0 2 0 70084158 89882624 3105 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21944 3105 672 633 0 4842 0
[pid=78992/tid=78996] ppid=78982 vsize=87776 memory=12420 CPUtime=1645.25 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 8066 0 0 0 164268 257 0 0 20 0 2 0 70084158 89882624 3105 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3476.55 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 12420 KiB

[startup+1902.3 s]
/proc/loadavg: 6.98 7.04 6.28 7/268 79179
/proc/meminfo: memFree=128956208/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87776 memory=12420 CPUtime=3589.79 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 35696 0 0 0 357173 1806 0 0 20 0 2 0 70084158 89882624 3105 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21944 3105 672 633 0 4842 0
[pid=78992/tid=78996] ppid=78982 vsize=87776 memory=12420 CPUtime=1698.84 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 8066 0 0 0 169621 263 0 0 20 0 2 0 70084158 89882624 3105 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3589.79 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 12420 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1907.8 s]
/proc/loadavg: 6.82 7.01 6.27 7/268 79179
/proc/meminfo: memFree=128956468/131249996 swapFree=33006296/33010684
[pid=78992] ppid=78982 vsize=87776 memory=12420 CPUtime=3600.17 cores=1,3
/proc/78992/stat : 78992 (pb_competition_) R 78982 78992 78844 0 -1 4194304 35696 0 0 0 358205 1812 0 0 20 0 2 0 70084158 89882624 3105 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
/proc/78992/statm: 21944 3105 672 633 0 4842 0
[pid=78992/tid=78996] ppid=78982 vsize=87776 memory=5632 CPUtime=1703.75 cores=1,3
/proc/78992/task/78996/stat : 78996 (pb_competition_) R 78982 78992 78844 0 -1 4194368 8066 0 0 0 170112 263 0 0 20 0 2 0 70084158 89882624 3105 18446744073709551615 4198400 6788177 140721712081040 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 21106688 140721712089437 140721712089560 140721712089560 140721712095162 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 87776 KiB
Current children cumulated memory: 12420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3582.07 s, system=18.1256 s

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

Child status: 0

Real time (s): 1907.81
CPU time (s): 3600.2
CPU user time (s): 3582.07
CPU system time (s): 18.1256
CPU usage (%): 188.708
Max. virtual memory (cumulated for all children) (KiB): 87776
Max. memory (cumulated for all children) (KiB): 12420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.07
system time used= 18.1256
maximum resident set size= 13116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35891
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= 85521
involuntary context switches= 37186


# summary of solver processes directly reported to runsolver:
#   pid: 78992
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3582.07
#   total CPU system time (s): 18.1256

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68058 second user time and 7.72004 second system time

The end