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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525612-1751626589/watcher-4525612-1751626589 -o /tmp/evaluation-result-4525612-1751626589/solver-4525612-1751626589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751619994-88358 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 611875984 HOME/instance-4525612-1751626589.wbo 

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
Current StackSize limit: 8192 KiB

solver pid=89160, runsolver pid=89157

[startup+0.100061 s]*
/proc/loadavg: 6.10 6.26 6.42 8/267 89162
/proc/meminfo: memFree=129016180/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=109404 memory=45604 CPUtime=0.17 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 9412 0 0 0 15 2 0 0 20 0 2 0 78338836 112029696 11401 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 27351 11401 576 633 0 13113 0
[pid=89160/tid=89162] ppid=89157 vsize=109404 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) R 89157 89160 88348 0 -1 4194368 2934 0 0 0 7 1 0 0 20 0 2 0 78338838 112029696 11401 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 109404 KiB
Current children cumulated memory: 45604 KiB

[startup+0.205738 s]*
/proc/loadavg: 6.10 6.26 6.42 6/267 89162
/proc/meminfo: memFree=128973088/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=155932 memory=95396 CPUtime=0.29 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 21312 0 0 0 25 4 0 0 20 0 2 0 78338836 159674368 23849 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 38983 23849 608 633 0 25385 0
[pid=89160/tid=89162] ppid=89157 vsize=156728 memory=664958721904869660 CPUtime=0.09 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 3572 0 0 0 8 1 0 0 20 0 2 0 78338838 160489472 23881 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 155932 KiB
Current children cumulated memory: 95396 KiB

[startup+0.305635 s]*
/proc/loadavg: 6.10 6.26 6.42 6/267 89162
/proc/meminfo: memFree=128920604/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=254192 memory=156740 CPUtime=0.39 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 28970 0 0 0 33 6 0 0 20 0 2 0 78338836 260292608 39185 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 63548 39185 608 633 0 49950 0
[pid=89160/tid=89162] ppid=89157 vsize=254192 memory=7971518130673958763 CPUtime=0.09 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 3572 0 0 0 8 1 0 0 20 0 2 0 78338838 260292608 39185 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 254192 KiB
Current children cumulated memory: 156740 KiB

[startup+0.700204 s]
/proc/loadavg: 6.10 6.26 6.42 7/267 89162
/proc/meminfo: memFree=128835544/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=315764 memory=271496 CPUtime=0.93 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 48475 0 0 0 82 11 0 0 20 0 2 0 78338836 323342336 67874 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 78941 67874 608 633 0 69410 0
[pid=89160/tid=89162] ppid=89157 vsize=315764 memory=18816 CPUtime=0.28 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 7642 0 0 0 25 3 0 0 20 0 2 0 78338838 323342336 67874 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 315764 KiB
Current children cumulated memory: 271496 KiB

[startup+1.50019 s]
/proc/loadavg: 6.10 6.26 6.42 6/267 89162
/proc/meminfo: memFree=128800012/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=396436 memory=352276 CPUtime=1.73 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 107699 0 0 0 157 16 0 0 20 0 2 0 78338836 405950464 88069 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 99109 88069 672 633 0 89578 0
[pid=89160/tid=89162] ppid=89157 vsize=396436 memory=18816 CPUtime=0.28 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 7642 0 0 0 25 3 0 0 20 0 2 0 78338838 405950464 88069 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 396436 KiB
Current children cumulated memory: 352276 KiB

[startup+3.10565 s]
/proc/loadavg: 6.10 6.26 6.42 6/267 89162
/proc/meminfo: memFree=128448568/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=669072 memory=625084 CPUtime=3.37 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 194152 0 0 0 311 26 0 0 20 0 2 0 78338836 685129728 156271 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 167268 156271 672 633 0 157737 0
[pid=89160/tid=89162] ppid=89157 vsize=669072 memory=409568 CPUtime=0.33 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 9063 0 0 0 30 3 0 0 20 0 2 0 78338838 685129728 156271 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3.37 s
Current children cumulated vsize: 669072 KiB
Current children cumulated memory: 625084 KiB

[startup+6.30019 s]
/proc/loadavg: 6.01 6.24 6.41 7/267 89162
/proc/meminfo: memFree=128448568/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=669072 memory=625084 CPUtime=6.83 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 220385 0 0 0 655 28 0 0 20 0 2 0 78338836 685129728 156271 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 167268 156271 672 633 0 157737 0
[pid=89160/tid=89162] ppid=89157 vsize=669072 memory=18816 CPUtime=0.6 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 9620 0 0 0 57 3 0 0 20 0 2 0 78338838 685129728 156271 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 6.83 s
Current children cumulated vsize: 669072 KiB
Current children cumulated memory: 625084 KiB

[startup+12.7002 s]
/proc/loadavg: 5.93 6.22 6.40 6/267 89162
/proc/meminfo: memFree=128448568/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=669072 memory=625084 CPUtime=13.72 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 360479 0 0 0 1337 35 0 0 20 0 2 0 78338836 685129728 156271 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 167268 156271 672 633 0 157737 0
[pid=89160/tid=89162] ppid=89157 vsize=669072 memory=625084 CPUtime=1.12 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 14659 0 0 0 109 3 0 0 20 0 2 0 78338838 685129728 156271 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 13.72 s
Current children cumulated vsize: 669072 KiB
Current children cumulated memory: 625084 KiB

[startup+25.5002 s]
/proc/loadavg: 5.79 6.18 6.38 7/267 89162
/proc/meminfo: memFree=128412224/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=700540 memory=656492 CPUtime=29.96 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 525580 0 0 0 2949 47 0 0 20 0 2 0 78338836 717352960 164123 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175135 164123 672 633 0 165604 0
[pid=89160/tid=89162] ppid=89157 vsize=700540 memory=655468 CPUtime=4.63 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) R 89157 89160 88348 0 -1 4194368 18913 0 0 0 459 4 0 0 20 0 2 0 78338838 717352960 164123 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 29.96 s
Current children cumulated vsize: 700540 KiB
Current children cumulated memory: 656492 KiB

[startup+51.1054 s]
/proc/loadavg: 5.91 6.18 6.38 7/267 89162
/proc/meminfo: memFree=128412256/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=700540 memory=656492 CPUtime=69.97 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 648035 0 0 0 6935 62 0 0 20 0 2 0 78338836 717352960 164123 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175135 164123 672 633 0 165604 0
[pid=89160/tid=89162] ppid=89157 vsize=700540 memory=18816 CPUtime=19.23 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) R 89157 89160 88348 0 -1 4194368 24122 0 0 0 1914 9 0 0 20 0 2 0 78338838 717352960 164123 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 69.97 s
Current children cumulated vsize: 700540 KiB
Current children cumulated memory: 656492 KiB

[startup+102.3 s]
/proc/loadavg: 5.41 5.99 6.30 5/267 89254
/proc/meminfo: memFree=127977568/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=700804 memory=656748 CPUtime=134.34 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 830954 0 0 0 13355 79 0 0 20 0 2 0 78338836 717623296 164187 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175201 164187 672 633 0 165670 0
[pid=89160/tid=89162] ppid=89157 vsize=700804 memory=656748 CPUtime=32.68 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 28654 0 0 0 3255 13 0 0 20 0 2 0 78338838 717623296 164187 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 134.34 s
Current children cumulated vsize: 700804 KiB
Current children cumulated memory: 656748 KiB

[startup+162.3 s]
/proc/loadavg: 5.21 5.83 6.22 5/267 89256
/proc/meminfo: memFree=127988404/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=701068 memory=657132 CPUtime=205.35 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1000903 0 0 0 20442 93 0 0 20 0 2 0 78338836 717893632 164283 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175267 164283 672 633 0 165736 0
[pid=89160/tid=89162] ppid=89157 vsize=701068 memory=14720 CPUtime=43.99 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 31804 0 0 0 4383 16 0 0 20 0 2 0 78338838 717893632 164283 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 205.35 s
Current children cumulated vsize: 701068 KiB
Current children cumulated memory: 657132 KiB

[startup+222.3 s]
/proc/loadavg: 5.13 5.70 6.16 7/268 89259
/proc/meminfo: memFree=127988032/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=701332 memory=657388 CPUtime=268.16 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1086394 0 0 0 26717 99 0 0 20 0 2 0 78338836 718163968 164347 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175333 164347 672 633 0 165802 0
[pid=89160/tid=89162] ppid=89157 vsize=701332 memory=14720 CPUtime=47.05 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 33125 0 0 0 4688 17 0 0 20 0 2 0 78338838 718163968 164347 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 268.16 s
Current children cumulated vsize: 701332 KiB
Current children cumulated memory: 657388 KiB

[startup+282.3 s]
/proc/loadavg: 5.14 5.62 6.10 7/268 89272
/proc/meminfo: memFree=127979492/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=701860 memory=657900 CPUtime=332.17 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1168126 0 0 0 33110 107 0 0 20 0 2 0 78338836 718704640 164475 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175465 164475 672 633 0 165934 0
[pid=89160/tid=89162] ppid=89157 vsize=701860 memory=657644 CPUtime=51.32 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 34859 0 0 0 5114 18 0 0 20 0 2 0 78338838 718704640 164475 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 332.17 s
Current children cumulated vsize: 701860 KiB
Current children cumulated memory: 657900 KiB

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

/proc/meminfo: memFree=126640740/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3023.75 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1441819 0 0 0 302099 276 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=473.58 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 43695 0 0 0 47238 120 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3023.75 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2622.3 s]
/proc/loadavg: 5.20 5.29 5.22 5/267 89519
/proc/meminfo: memFree=126667624/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3094.16 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1443211 0 0 0 309137 279 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=484.3 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 43856 0 0 0 48308 122 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3094.16 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2682.3 s]
/proc/loadavg: 4.90 5.19 5.19 6/267 89521
/proc/meminfo: memFree=126663728/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3162.63 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1444601 0 0 0 315981 282 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=493.08 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 43941 0 0 0 49184 124 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3162.63 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2742.3 s]
/proc/loadavg: 4.78 5.12 5.16 5/267 89523
/proc/meminfo: memFree=126661408/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3231.66 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1445144 0 0 0 322882 284 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=502.42 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) R 89157 89160 88348 0 -1 4194368 44022 0 0 0 50116 126 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3231.66 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2802.3 s]
/proc/loadavg: 5.08 5.14 5.17 5/267 89527
/proc/meminfo: memFree=126629980/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3300.36 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1446437 0 0 0 329749 287 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=511.42 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44097 0 0 0 51015 127 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3300.36 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2862.3 s]
/proc/loadavg: 4.60 5.00 5.12 5/267 89533
/proc/meminfo: memFree=126620824/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3368.93 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1447829 0 0 0 336603 290 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=520.31 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44205 0 0 0 51902 129 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3368.93 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2922.3 s]
/proc/loadavg: 4.87 5.01 5.12 7/266 89535
/proc/meminfo: memFree=126621904/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3438.08 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1448772 0 0 0 343516 292 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=529.78 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) R 89157 89160 88348 0 -1 4194368 44217 0 0 0 52847 131 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3438.08 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+2982.3 s]
/proc/loadavg: 4.91 4.99 5.10 6/266 89537
/proc/meminfo: memFree=126623008/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3505.8 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1450164 0 0 0 350284 296 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=14720 CPUtime=537.79 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44311 0 0 0 53646 133 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3505.8 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

[startup+3042.3 s]
/proc/loadavg: 5.10 5.03 5.10 5/266 89539
/proc/meminfo: memFree=126643236/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3575.72 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1450705 0 0 0 357273 299 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=660716 CPUtime=548.02 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44392 0 0 0 54668 134 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3575.72 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3063 s]*
/proc/loadavg: 5.06 5.03 5.10 6/266 89539
/proc/meminfo: memFree=126640432/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=703564 memory=660716 CPUtime=3600.05 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1451552 0 0 0 359705 300 0 0 20 0 2 0 78338836 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 175891 165179 672 633 0 166360 0
[pid=89160/tid=89162] ppid=89157 vsize=703564 memory=4760 CPUtime=551.74 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44425 0 0 0 55039 135 0 0 20 0 2 0 78338838 720449536 165179 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 703564 KiB
Current children cumulated memory: 660716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.39 s, system=3.03026 s

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

[startup+3063.2 s]
/proc/loadavg: 5.06 5.03 5.10 6/266 89539
/proc/meminfo: memFree=126640432/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=677028 memory=634264 CPUtime=3600.24 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1473626 0 0 0 359723 301 0 0 20 0 2 0 78338836 693276672 158566 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 169257 158566 672 633 0 159726 0
[pid=89160/tid=89162] ppid=89157 vsize=677028 memory=660716 CPUtime=551.74 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44425 0 0 0 55039 135 0 0 20 0 2 0 78338838 693276672 158566 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3600.24 s
Current children cumulated vsize: 677028 KiB
Current children cumulated memory: 634264 KiB

[startup+3063.3 s]
/proc/loadavg: 5.06 5.03 5.10 6/266 89539
/proc/meminfo: memFree=126640432/131250000 swapFree=33010416/33010684
[pid=89160] ppid=89157 vsize=591664 memory=548900 CPUtime=3600.35 cores=0,2
/proc/89160/stat : 89160 (pb_competition_) R 89157 89160 88348 0 -1 4194304 1476511 0 0 0 359733 302 0 0 20 0 2 0 78338836 605863936 137225 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
/proc/89160/statm: 147916 137225 672 633 0 138385 0
[pid=89160/tid=89162] ppid=89157 vsize=591664 memory=14720 CPUtime=551.74 cores=0,2
/proc/89160/task/89162/stat : 89162 (pb_competition_) S 89157 89160 88348 0 -1 4194368 44425 0 0 0 55039 135 0 0 20 0 2 0 78338838 605863936 137225 18446744073709551615 4198400 6788177 140728282656912 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 27713536 140728282663256 140728282663382 140728282663382 140728282668986 0
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 591664 KiB
Current children cumulated memory: 548900 KiB

Child status: 0

Real time (s): 3063.37
CPU time (s): 3600.42
CPU user time (s): 3597.39
CPU system time (s): 3.03026
CPU usage (%): 117.531
Max. virtual memory (cumulated for all children) (KiB): 703564
Max. memory (cumulated for all children) (KiB): 660716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.39
system time used= 3.03026
maximum resident set size= 660716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1482190
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= 183417
involuntary context switches= 19469


# summary of solver processes directly reported to runsolver:
#   pid: 89160
#   total CPU time (s): 3600.42
#   total CPU user time (s): 3597.39
#   total CPU system time (s): 3.03026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0952 second user time and 14.7857 second system time

The end