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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497696-1751386247/watcher-4497696-1751386247 -o /tmp/evaluation-result-4497696-1751386247/solver-4497696-1751386247 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58272 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 237551202 HOME/instance-4497696-1751386247.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=58748, runsolver pid=58745
Current StackSize limit: 8192 KiB


[startup+0.100067 s]*
/proc/loadavg: 5.46 5.74 5.89 6/266 58750
/proc/meminfo: memFree=127545468/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=106640 memory=35840 CPUtime=0.13 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 7129 0 0 0 12 1 0 0 20 0 2 0 54305005 109199360 8960 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 26660 8960 672 633 0 10476 0
[pid=58748/tid=58750] ppid=58745 vsize=106640 memory=4026531960 CPUtime=0.02 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 988 0 0 0 2 0 0 0 20 0 2 0 54305006 109199360 8960 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 106640 KiB
Current children cumulated memory: 35840 KiB

[startup+0.205817 s]*
/proc/loadavg: 5.46 5.74 5.89 7/266 58750
/proc/meminfo: memFree=127529340/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=123144 memory=52608 CPUtime=0.25 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) S 58745 58748 58262 0 -1 4194304 11302 0 0 0 23 2 0 0 20 0 2 0 54305005 126099456 13152 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 30786 13152 672 633 0 14602 0
[pid=58748/tid=58750] ppid=58745 vsize=123144 memory=664958721904869660 CPUtime=0.04 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 988 0 0 0 4 0 0 0 20 0 2 0 54305006 126099456 13152 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 123144 KiB
Current children cumulated memory: 52608 KiB

[startup+0.305459 s]*
/proc/loadavg: 5.46 5.74 5.89 5/266 58750
/proc/meminfo: memFree=127529340/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=123276 memory=52608 CPUtime=0.38 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 11304 0 0 0 36 2 0 0 20 0 2 0 54305005 126234624 13152 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 30819 13152 672 633 0 14635 0
[pid=58748/tid=58750] ppid=58745 vsize=123276 memory=7970954106962263409 CPUtime=0.08 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 988 0 0 0 8 0 0 0 20 0 2 0 54305006 126234624 13152 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 123276 KiB
Current children cumulated memory: 52608 KiB

[startup+0.700204 s]
/proc/loadavg: 5.46 5.74 5.89 5/266 58750
/proc/meminfo: memFree=127529372/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=123276 memory=52608 CPUtime=0.89 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 11318 0 0 0 87 2 0 0 20 0 2 0 54305005 126234624 13152 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 30819 13152 672 633 0 14635 0
[pid=58748/tid=58750] ppid=58745 vsize=123276 memory=13952 CPUtime=0.2 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 988 0 0 0 20 0 0 0 20 0 2 0 54305006 126234624 13152 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 0.89 s
Current children cumulated vsize: 123276 KiB
Current children cumulated memory: 52608 KiB

[startup+1.50019 s]
/proc/loadavg: 5.46 5.74 5.89 6/266 58750
/proc/meminfo: memFree=127529372/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=123276 memory=52736 CPUtime=1.9 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 17916 0 0 0 187 3 0 0 20 0 2 0 54305005 126234624 13184 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 30819 13184 672 633 0 14635 0
[pid=58748/tid=58750] ppid=58745 vsize=123276 memory=13952 CPUtime=0.42 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 1298 0 0 0 42 0 0 0 20 0 2 0 54305006 126234624 13184 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 123276 KiB
Current children cumulated memory: 52736 KiB

[startup+3.1056 s]
/proc/loadavg: 5.46 5.74 5.89 6/266 58750
/proc/meminfo: memFree=127529376/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=123408 memory=52864 CPUtime=4.07 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 24615 0 0 0 404 3 0 0 20 0 2 0 54305005 126369792 13216 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 30852 13216 672 633 0 14668 0
[pid=58748/tid=58750] ppid=58745 vsize=123408 memory=52736 CPUtime=0.99 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 1603 0 0 0 99 0 0 0 20 0 2 0 54305006 126369792 13216 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 123408 KiB
Current children cumulated memory: 52864 KiB

[startup+6.30019 s]
/proc/loadavg: 5.51 5.75 5.89 7/266 58750
/proc/meminfo: memFree=127529628/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=123936 memory=53376 CPUtime=8.73 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 32889 0 0 0 866 7 0 0 20 0 2 0 54305005 126910464 13344 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 30984 13344 672 633 0 14800 0
[pid=58748/tid=58750] ppid=58745 vsize=123936 memory=13952 CPUtime=2.46 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 1932 0 0 0 245 1 0 0 20 0 2 0 54305006 126910464 13344 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 8.73 s
Current children cumulated vsize: 123936 KiB
Current children cumulated memory: 53376 KiB

[startup+12.7002 s]
/proc/loadavg: 5.39 5.72 5.88 8/266 58750
/proc/meminfo: memFree=127517720/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=124200 memory=53504 CPUtime=16.94 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 47215 0 0 0 1683 11 0 0 20 0 2 0 54305005 127180800 13376 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 31050 13376 672 633 0 14866 0
[pid=58748/tid=58750] ppid=58745 vsize=124200 memory=53504 CPUtime=4.32 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 3013 0 0 0 430 2 0 0 20 0 2 0 54305006 127180800 13376 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 16.94 s
Current children cumulated vsize: 124200 KiB
Current children cumulated memory: 53504 KiB

[startup+25.5002 s]
/proc/loadavg: 5.37 5.70 5.87 7/268 58753
/proc/meminfo: memFree=127505340/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=124728 memory=54144 CPUtime=35.25 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 60959 0 0 0 3505 20 0 0 20 0 2 0 54305005 127721472 13536 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 31182 13536 672 633 0 14998 0
[pid=58748/tid=58750] ppid=58745 vsize=124728 memory=54016 CPUtime=9.98 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 4857 0 0 0 994 4 0 0 20 0 2 0 54305006 127721472 13536 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 35.25 s
Current children cumulated vsize: 124728 KiB
Current children cumulated memory: 54144 KiB

[startup+51.1057 s]
/proc/loadavg: 5.18 5.63 5.85 7/268 58754
/proc/meminfo: memFree=127507608/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=126908 memory=56320 CPUtime=71.82 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 69788 0 0 0 7148 34 0 0 20 0 2 0 54305005 129953792 14080 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 31727 14080 672 633 0 15543 0
[pid=58748/tid=58750] ppid=58745 vsize=126908 memory=56192 CPUtime=21.13 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 5243 0 0 0 2106 7 0 0 20 0 2 0 54305006 129953792 14080 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 71.82 s
Current children cumulated vsize: 126908 KiB
Current children cumulated memory: 56320 KiB

[startup+102.3 s]
/proc/loadavg: 5.41 5.64 5.84 7/269 58758
/proc/meminfo: memFree=127512040/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=126460 memory=55952 CPUtime=144.32 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 401795 0 0 0 14309 123 0 0 20 0 2 0 54305005 129495040 13988 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 31615 13988 672 633 0 15431 0
[pid=58748/tid=58750] ppid=58745 vsize=126460 memory=10752 CPUtime=42.81 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 7162 0 0 0 4266 15 0 0 20 0 2 0 54305006 129495040 13988 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 144.32 s
Current children cumulated vsize: 126460 KiB
Current children cumulated memory: 55952 KiB

[startup+162.3 s]
/proc/loadavg: 5.32 5.58 5.80 7/269 58760
/proc/meminfo: memFree=127522440/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=129628 memory=59120 CPUtime=229.48 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 1749540 0 0 0 22556 392 0 0 20 0 2 0 54305005 132739072 14780 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 32407 14780 672 633 0 16223 0
[pid=58748/tid=58750] ppid=58745 vsize=129628 memory=59888 CPUtime=68.41 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 9144 0 0 0 6817 24 0 0 20 0 2 0 54305006 132739072 14780 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 229.48 s
Current children cumulated vsize: 129628 KiB
Current children cumulated memory: 59120 KiB

[startup+222.3 s]
/proc/loadavg: 5.37 5.55 5.78 6/269 58762
/proc/meminfo: memFree=127527964/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=133352 memory=62372 CPUtime=316.16 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 2676974 0 0 0 31020 596 0 0 20 0 2 0 54305005 136552448 15593 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 33338 15593 672 633 0 17154 0
[pid=58748/tid=58750] ppid=58745 vsize=133352 memory=13952 CPUtime=95.53 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 10812 0 0 0 9520 33 0 0 20 0 2 0 54305006 136552448 15593 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 316.16 s
Current children cumulated vsize: 133352 KiB
Current children cumulated memory: 62372 KiB

[startup+282.3 s]
/proc/loadavg: 5.28 5.49 5.75 6/269 58764
/proc/meminfo: memFree=127524036/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=138148 memory=67356 CPUtime=405.18 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4081767 0 0 0 39642 876 0 0 20 0 2 0 54305005 141463552 16839 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 34537 16839 672 633 0 18353 0
[pid=58748/tid=58750] ppid=58745 vsize=138148 memory=5632 CPUtime=124.98 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 14567 0 0 0 12456 42 0 0 20 0 2 0 54305006 141463552 16839 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 405.18 s
Current children cumulated vsize: 138148 KiB
Current children cumulated memory: 67356 KiB

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

/proc/meminfo: memFree=129203888/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=2733.58 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4713992 0 0 0 271694 1664 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=903.84 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 23065 0 0 0 90150 234 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 2733.58 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+1902.3 s]
/proc/loadavg: 5.44 5.64 5.58 7/267 58977
/proc/meminfo: memFree=129332432/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=2827.1 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4715517 0 0 0 281026 1684 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=937.74 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 23345 0 0 0 93534 240 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 2827.1 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+1962.3 s]
/proc/loadavg: 5.55 5.63 5.58 7/267 58979
/proc/meminfo: memFree=129329380/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=2923.42 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4715533 0 0 0 290641 1701 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=974.49 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 23345 0 0 0 97205 244 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 2923.42 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+2022.3 s]
/proc/loadavg: 6.40 5.82 5.64 6/267 58981
/proc/meminfo: memFree=129281260/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=3020.16 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4717075 0 0 0 300294 1722 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=1011.63 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 23535 0 0 0 100914 249 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3020.16 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+2082.3 s]
/proc/loadavg: 6.28 5.92 5.69 5/267 58983
/proc/meminfo: memFree=129290504/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=3112.77 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4717090 0 0 0 309538 1739 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=1044.64 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 23535 0 0 0 104209 255 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3112.77 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+2142.3 s]
/proc/loadavg: 5.94 5.88 5.69 7/267 58985
/proc/meminfo: memFree=129294476/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=3208.99 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4717102 0 0 0 319141 1758 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=1081.32 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 23535 0 0 0 107872 260 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3208.99 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+2202.3 s]
/proc/loadavg: 5.99 5.90 5.71 6/268 58992
/proc/meminfo: memFree=129296224/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=3305.8 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4718673 0 0 0 328802 1778 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=1118.56 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 23765 0 0 0 111591 265 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3305.8 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+2262.3 s]
/proc/loadavg: 5.63 5.81 5.70 7/267 58994
/proc/meminfo: memFree=129319608/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73716 CPUtime=3397.19 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4718679 0 0 0 337922 1797 0 0 20 0 2 0 54305005 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18429 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73716 CPUtime=1150.34 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 23765 0 0 0 114764 270 0 0 20 0 2 0 54305006 148733952 18429 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3397.19 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73716 KiB

[startup+2322.3 s]
/proc/loadavg: 5.96 5.89 5.73 5/268 58997
/proc/meminfo: memFree=129327336/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73844 CPUtime=3494.59 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4720270 0 0 0 347645 1814 0 0 20 0 2 0 54305005 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18461 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=14720 CPUtime=1188.16 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 23983 0 0 0 118542 274 0 0 20 0 2 0 54305006 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3494.59 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73844 KiB

[startup+2382.3 s]
/proc/loadavg: 5.68 5.82 5.72 6/268 58999
/proc/meminfo: memFree=129313840/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73844 CPUtime=3589.66 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4720276 0 0 0 357133 1833 0 0 20 0 2 0 54305005 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18461 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73844 CPUtime=1223.65 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) R 58745 58748 58262 0 -1 4194368 23983 0 0 0 122085 280 0 0 20 0 2 0 54305006 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3589.66 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2388.9 s]
/proc/loadavg: 5.78 5.84 5.73 5/268 58999
/proc/meminfo: memFree=129301404/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73844 CPUtime=3600.07 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4721876 0 0 0 358173 1834 0 0 20 0 2 0 54305005 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18461 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73844 CPUtime=1227.51 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 24293 0 0 0 122470 281 0 0 20 0 2 0 54305006 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73844 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.77 s, system=18.3495 s

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

[startup+2388.9 s]
/proc/loadavg: 5.78 5.84 5.73 5/268 58999
/proc/meminfo: memFree=129301404/131250000 swapFree=33010684/33010684
[pid=58748] ppid=58745 vsize=145248 memory=73844 CPUtime=3600.07 cores=0,2
/proc/58748/stat : 58748 (pb_competition_) R 58745 58748 58262 0 -1 4194304 4721876 0 0 0 358173 1834 0 0 20 0 2 0 54305005 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
/proc/58748/statm: 36312 18461 672 633 0 20128 0
[pid=58748/tid=58750] ppid=58745 vsize=145248 memory=73844 CPUtime=1227.51 cores=0,2
/proc/58748/task/58750/stat : 58750 (pb_competition_) S 58745 58748 58262 0 -1 4194368 24293 0 0 0 122470 281 0 0 20 0 2 0 54305006 148733952 18461 18446744073709551615 4198400 6788177 140736455033056 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 38834176 140736455039322 140736455039448 140736455039448 140736455045050 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 145248 KiB
Current children cumulated memory: 73844 KiB

Child status: 0

Real time (s): 2388.94
CPU time (s): 3600.12
CPU user time (s): 3581.77
CPU system time (s): 18.3495
CPU usage (%): 150.7
Max. virtual memory (cumulated for all children) (KiB): 145248
Max. memory (cumulated for all children) (KiB): 73844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.77
system time used= 18.3495
maximum resident set size= 73844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4723730
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= 242716
involuntary context switches= 41671


# summary of solver processes directly reported to runsolver:
#   pid: 58748
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3581.77
#   total CPU system time (s): 18.3495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.59099 second user time and 11.1816 second system time

The end