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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484720-1751291873/watcher-4484720-1751291873 -o /tmp/evaluation-result-4484720-1751291873/solver-4484720-1751291873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751291873-39490 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 614723101 HOME/instance-4484720-1751291873.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=39543, runsolver pid=39529
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.77 1.91 2.86 7/267 39550
/proc/meminfo: memFree=129935372/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=105872 memory=42332 CPUtime=0.17 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 9056 0 0 0 15 2 0 0 20 0 2 0 44865959 108412928 10583 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 26468 10583 576 633 0 12309 0
[pid=39543/tid=39549] ppid=39529 vsize=105872 memory=4026532124 CPUtime=0.07 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 3011 0 0 0 7 0 0 0 20 0 2 0 44865961 108412928 10583 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 0 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 105872 KiB
Current children cumulated memory: 42332 KiB

[startup+0.20549 s]*
/proc/loadavg: 1.35 2.01 2.89 9/267 39550
/proc/meminfo: memFree=129763608/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=189804 memory=131864 CPUtime=0.32 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 18084 0 0 0 29 3 0 0 20 0 2 0 44865959 194359296 32966 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 47451 32966 608 633 0 34516 0
[pid=39543/tid=39549] ppid=39529 vsize=189804 memory=664958721904869660 CPUtime=0.12 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 4237 0 0 0 11 1 0 0 20 0 2 0 44865961 194359296 32966 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 189804 KiB
Current children cumulated memory: 131864 KiB

[startup+0.305311 s]*
/proc/loadavg: 1.35 2.01 2.89 7/267 39550
/proc/meminfo: memFree=129729852/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=203780 memory=152856 CPUtime=0.46 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 23287 0 0 0 42 4 0 0 20 0 2 0 44865959 208670720 38214 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 50945 38214 640 633 0 39797 0
[pid=39543/tid=39549] ppid=39529 vsize=203780 memory=7969546723505356143 CPUtime=0.18 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 6024 0 0 0 16 2 0 0 20 0 2 0 44865961 208670720 38214 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 203780 KiB
Current children cumulated memory: 152856 KiB

[startup+0.700183 s]
/proc/loadavg: 1.35 2.01 2.89 7/267 39550
/proc/meminfo: memFree=129625020/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=286860 memory=236440 CPUtime=0.85 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 44152 0 0 0 78 7 0 0 20 0 2 0 44865959 293744640 59110 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 71715 59110 672 633 0 60567 0
[pid=39543/tid=39549] ppid=39529 vsize=286860 memory=17664 CPUtime=0.18 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 6024 0 0 0 16 2 0 0 20 0 2 0 44865961 293744640 59110 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 286860 KiB
Current children cumulated memory: 236440 KiB

[startup+1.50019 s]
/proc/loadavg: 1.35 2.01 2.89 7/267 39551
/proc/meminfo: memFree=129394748/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=1.82 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 96812 0 0 0 169 13 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=17664 CPUtime=0.35 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 6025 0 0 0 33 2 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+3.10561 s]
/proc/loadavg: 1.35 2.01 2.89 8/267 39551
/proc/meminfo: memFree=129395540/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=4.51 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 134468 0 0 0 436 15 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=1.44 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 6746 0 0 0 142 2 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+6.30017 s]
/proc/loadavg: 1.81 2.09 2.91 8/268 39552
/proc/meminfo: memFree=129396012/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=9.93 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 179798 0 0 0 975 18 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=7972077799272234351 CPUtime=3.7 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 7922 0 0 0 368 2 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+12.7002 s]
/proc/loadavg: 2.30 2.19 2.94 9/268 39552
/proc/meminfo: memFree=129396580/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=21.59 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 281825 0 0 0 2132 27 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=8.99 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 10562 0 0 0 897 2 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 21.59 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+25.5002 s]
/proc/loadavg: 3.02 2.35 2.99 9/268 39552
/proc/meminfo: memFree=129397128/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=43.69 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 328713 0 0 0 4339 30 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=18.37 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 11743 0 0 0 1834 3 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 43.69 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+51.1055 s]
/proc/loadavg: 4.63 2.81 3.12 7/268 39552
/proc/meminfo: memFree=129398284/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=83.93 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 441502 0 0 0 8353 40 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=33.2 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 14681 0 0 0 3316 4 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 83.93 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+102.3 s]
/proc/loadavg: 6.03 3.48 3.33 8/268 39554
/proc/meminfo: memFree=129406096/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=154.68 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 513416 0 0 0 15421 47 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=53.03 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 16231 0 0 0 5297 6 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 154.68 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+162.3 s]
/proc/loadavg: 6.65 4.11 3.56 7/268 39556
/proc/meminfo: memFree=129365824/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=235.5 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 593176 0 0 0 23493 57 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=74.17 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 18166 0 0 0 7409 8 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 235.5 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+222.3 s]
/proc/loadavg: 6.78 4.61 3.77 8/269 39572
/proc/meminfo: memFree=129362768/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=315.14 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 604599 0 0 0 31454 60 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=320808 CPUtime=94.16 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 18308 0 0 0 9406 10 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 315.14 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

[startup+282.3 s]
/proc/loadavg: 6.75 5.01 3.96 7/269 39579
/proc/meminfo: memFree=129401928/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=322772 CPUtime=392.69 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 611077 0 0 0 39205 64 0 0 20 0 2 0 44865959 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80693 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=322772 CPUtime=112 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 18441 0 0 0 11188 12 0 0 20 0 2 0 44865961 382205952 80693 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 392.69 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 322772 KiB

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

/proc/meminfo: memFree=129146312/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=2831.58 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 656420 0 0 0 283003 155 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=14572 CPUtime=640.98 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 20544 0 0 0 64039 59 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 2831.58 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2262.3 s]
/proc/loadavg: 5.13 5.53 5.78 5/269 39766
/proc/meminfo: memFree=129143648/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=2908.51 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 657822 0 0 0 290693 158 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=658.27 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 20548 0 0 0 65766 61 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 2908.51 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2322.3 s]
/proc/loadavg: 5.20 5.48 5.75 7/269 39769
/proc/meminfo: memFree=129142848/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=2985.89 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 659225 0 0 0 298428 161 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=675.98 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 20706 0 0 0 67535 63 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 2985.89 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2382.3 s]
/proc/loadavg: 5.19 5.42 5.71 6/269 39771
/proc/meminfo: memFree=129143000/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3062.08 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 660626 0 0 0 306044 164 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=692.52 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 20710 0 0 0 69188 64 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3062.08 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2442.3 s]
/proc/loadavg: 5.32 5.42 5.69 7/269 39773
/proc/meminfo: memFree=129143216/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3139.38 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 662029 0 0 0 313770 168 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=710.18 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 20715 0 0 0 70952 66 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3139.38 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2502.3 s]
/proc/loadavg: 5.42 5.42 5.67 5/269 39775
/proc/meminfo: memFree=129144084/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3216.28 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 663431 0 0 0 321457 171 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=727.44 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) R 39529 39543 39477 0 -1 4194368 20873 0 0 0 72676 68 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3216.28 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2562.3 s]
/proc/loadavg: 5.86 5.56 5.71 6/269 39778
/proc/meminfo: memFree=129142780/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3294.65 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 664833 0 0 0 329290 175 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=746.18 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 20878 0 0 0 74548 70 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3294.65 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2622.3 s]
/proc/loadavg: 5.40 5.48 5.67 5/268 39782
/proc/meminfo: memFree=129143120/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3372.42 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 666235 0 0 0 337064 178 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=764.3 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 20883 0 0 0 76358 72 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3372.42 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2682.3 s]
/proc/loadavg: 5.26 5.42 5.64 6/268 39789
/proc/meminfo: memFree=129142504/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3450.54 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 667640 0 0 0 344872 182 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=782.74 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 20987 0 0 0 78200 74 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3450.54 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

[startup+2742.3 s]
/proc/loadavg: 5.15 5.37 5.61 5/268 39791
/proc/meminfo: memFree=129142624/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3529.75 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 669044 0 0 0 352789 186 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=802.31 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 21002 0 0 0 80155 76 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3529.75 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2797.3 s]
/proc/loadavg: 5.11 5.31 5.57 6/268 39838
/proc/meminfo: memFree=129365220/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3600.01 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 670027 0 0 0 359812 189 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=323284 CPUtime=817.87 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 21161 0 0 0 81710 77 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.28 s, system=1.9137 s

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

[startup+2797.4 s]
/proc/loadavg: 5.11 5.31 5.57 6/268 39838
/proc/meminfo: memFree=129365220/131249996 swapFree=33010684/33010684
[pid=39543] ppid=39529 vsize=373248 memory=323284 CPUtime=3600.11 cores=5,7
/proc/39543/stat : 39543 (pb_competition_) R 39529 39543 39477 0 -1 4194304 682341 0 0 0 359821 190 0 0 20 0 2 0 44865959 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
/proc/39543/statm: 93312 80821 672 633 0 82164 0
[pid=39543/tid=39549] ppid=39529 vsize=373248 memory=5632 CPUtime=817.87 cores=5,7
/proc/39543/task/39549/stat : 39549 (pb_competition_) S 39529 39543 39477 0 -1 4194368 21161 0 0 0 81710 77 0 0 20 0 2 0 44865961 382205952 80821 18446744073709551615 4198400 6788177 140722620167792 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 40439808 140722620172634 140722620172760 140722620172760 140722620178362 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 373248 KiB
Current children cumulated memory: 323284 KiB

Child status: 0

Real time (s): 2797.48
CPU time (s): 3600.19
CPU user time (s): 3598.28
CPU system time (s): 1.9137
CPU usage (%): 128.694
Max. virtual memory (cumulated for all children) (KiB): 373248
Max. memory (cumulated for all children) (KiB): 323284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.28
system time used= 1.9137
maximum resident set size= 323284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 688933
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= 63862
involuntary context switches= 62112


# summary of solver processes directly reported to runsolver:
#   pid: 39543
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.28
#   total CPU system time (s): 1.9137

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18851 second user time and 13.3369 second system time

The end