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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499440-1751401430/watcher-4499440-1751401430 -o /tmp/evaluation-result-4499440-1751401430/solver-4499440-1751401430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751395822-56308 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1342414390 HOME/instance-4499440-1751401430.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=57434, runsolver pid=57431
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 6.66 6.47 6.40 6/268 57436
/proc/meminfo: memFree=109076548/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=114208 memory=48068 CPUtime=0.16 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 8393 0 0 0 14 2 0 0 20 0 2 0 55821875 116948992 12017 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 28552 12017 640 633 0 13537 0
[pid=57434/tid=57436] ppid=57431 vsize=114208 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 2157 0 0 0 5 0 0 0 20 0 2 0 55821876 116948992 12017 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 114208 KiB
Current children cumulated memory: 48068 KiB

[startup+0.205947 s]*
/proc/loadavg: 6.66 6.47 6.40 7/268 57436
/proc/meminfo: memFree=109052356/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=133632 memory=67652 CPUtime=0.26 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 13240 0 0 0 24 2 0 0 20 0 2 0 55821875 136839168 16913 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 33408 16913 672 633 0 18393 0
[pid=57434/tid=57436] ppid=57431 vsize=133632 memory=664958721904869660 CPUtime=0.05 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 2157 0 0 0 5 0 0 0 20 0 2 0 55821876 136839168 16913 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 133632 KiB
Current children cumulated memory: 67652 KiB

[startup+0.30582 s]*
/proc/loadavg: 6.66 6.47 6.40 7/268 57436
/proc/meminfo: memFree=109028164/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=166084 memory=100164 CPUtime=0.36 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 21383 0 0 0 32 4 0 0 20 0 2 0 55821875 170070016 25041 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41521 25041 672 633 0 26506 0
[pid=57434/tid=57436] ppid=57431 vsize=166084 memory=7969827094641851502 CPUtime=0.05 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 2157 0 0 0 5 0 0 0 20 0 2 0 55821876 170070016 25041 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 166084 KiB
Current children cumulated memory: 100164 KiB

[startup+0.700219 s]
/proc/loadavg: 6.66 6.47 6.40 6/268 57436
/proc/meminfo: memFree=109020100/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167404 memory=101444 CPUtime=0.85 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 21706 0 0 0 81 4 0 0 20 0 2 0 55821875 171421696 25361 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41851 25361 672 633 0 26836 0
[pid=57434/tid=57436] ppid=57431 vsize=167404 memory=18432 CPUtime=0.16 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 2157 0 0 0 16 0 0 0 20 0 2 0 55821876 171421696 25361 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 0.85 s
Current children cumulated vsize: 167404 KiB
Current children cumulated memory: 101444 KiB

[startup+1.50021 s]
/proc/loadavg: 6.66 6.47 6.40 7/268 57436
/proc/meminfo: memFree=109020100/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167404 memory=101444 CPUtime=1.79 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 34167 0 0 0 174 5 0 0 20 0 2 0 55821875 171421696 25361 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41851 25361 672 633 0 26836 0
[pid=57434/tid=57436] ppid=57431 vsize=167404 memory=18432 CPUtime=0.3 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 2239 0 0 0 30 0 0 0 20 0 2 0 55821876 171421696 25361 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 167404 KiB
Current children cumulated memory: 101444 KiB

[startup+3.10577 s]
/proc/loadavg: 6.60 6.46 6.39 6/268 57436
/proc/meminfo: memFree=109027480/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167404 memory=101572 CPUtime=3.75 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 36768 0 0 0 370 5 0 0 20 0 2 0 55821875 171421696 25393 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41851 25393 672 633 0 26836 0
[pid=57434/tid=57436] ppid=57431 vsize=167404 memory=101444 CPUtime=0.67 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) R 57431 57434 56290 0 -1 4194368 2519 0 0 0 66 1 0 0 20 0 2 0 55821876 171421696 25393 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3.75 s
Current children cumulated vsize: 167404 KiB
Current children cumulated memory: 101572 KiB

[startup+6.3002 s]
/proc/loadavg: 6.60 6.46 6.39 8/268 57436
/proc/meminfo: memFree=109015668/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167536 memory=101572 CPUtime=7.44 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 57978 0 0 0 737 7 0 0 20 0 2 0 55821875 171556864 25393 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41884 25393 672 633 0 26869 0
[pid=57434/tid=57436] ppid=57431 vsize=167536 memory=18432 CPUtime=1.19 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) R 57431 57434 56290 0 -1 4194368 2797 0 0 0 118 1 0 0 20 0 2 0 55821876 171556864 25393 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 167536 KiB
Current children cumulated memory: 101572 KiB

[startup+12.7002 s]
/proc/loadavg: 6.64 6.47 6.40 8/268 57436
/proc/meminfo: memFree=109030992/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167536 memory=101700 CPUtime=14.96 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 86476 0 0 0 1486 10 0 0 20 0 2 0 55821875 171556864 25425 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41884 25425 672 633 0 26869 0
[pid=57434/tid=57436] ppid=57431 vsize=167536 memory=101700 CPUtime=2.33 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) R 57431 57434 56290 0 -1 4194368 3310 0 0 0 232 1 0 0 20 0 2 0 55821876 171556864 25425 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 14.96 s
Current children cumulated vsize: 167536 KiB
Current children cumulated memory: 101700 KiB

[startup+25.5002 s]
/proc/loadavg: 6.50 6.45 6.39 7/268 57436
/proc/meminfo: memFree=109031136/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167668 memory=101828 CPUtime=30.34 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 112000 0 0 0 3020 14 0 0 20 0 2 0 55821875 171692032 25457 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41917 25457 672 633 0 26902 0
[pid=57434/tid=57436] ppid=57431 vsize=167668 memory=101828 CPUtime=4.99 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 3923 0 0 0 497 2 0 0 20 0 2 0 55821876 171692032 25457 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 30.34 s
Current children cumulated vsize: 167668 KiB
Current children cumulated memory: 101828 KiB

[startup+51.1058 s]
/proc/loadavg: 6.40 6.43 6.38 7/268 57437
/proc/meminfo: memFree=109034796/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167668 memory=101828 CPUtime=61.14 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 135286 0 0 0 6092 22 0 0 20 0 2 0 55821875 171692032 25457 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41917 25457 672 633 0 26902 0
[pid=57434/tid=57436] ppid=57431 vsize=167668 memory=18432 CPUtime=10.31 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 4651 0 0 0 1026 5 0 0 20 0 2 0 55821876 171692032 25457 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 61.14 s
Current children cumulated vsize: 167668 KiB
Current children cumulated memory: 101828 KiB

[startup+102.3 s]
/proc/loadavg: 6.38 6.42 6.38 7/268 57438
/proc/meminfo: memFree=109035148/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167668 memory=101828 CPUtime=121.09 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 166845 0 0 0 12078 31 0 0 20 0 2 0 55821875 171692032 25457 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41917 25457 672 633 0 26902 0
[pid=57434/tid=57436] ppid=57431 vsize=167668 memory=18432 CPUtime=19.35 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 5680 0 0 0 1928 7 0 0 20 0 2 0 55821876 171692032 25457 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 121.09 s
Current children cumulated vsize: 167668 KiB
Current children cumulated memory: 101828 KiB

[startup+162.3 s]
/proc/loadavg: 5.78 6.24 6.32 8/268 57440
/proc/meminfo: memFree=109034316/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167668 memory=102852 CPUtime=190.64 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 171693 0 0 0 19024 40 0 0 20 0 2 0 55821875 171692032 25713 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41917 25713 672 633 0 26902 0
[pid=57434/tid=57436] ppid=57431 vsize=167668 memory=5632 CPUtime=29.19 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 5763 0 0 0 2907 12 0 0 20 0 2 0 55821876 171692032 25713 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 190.64 s
Current children cumulated vsize: 167668 KiB
Current children cumulated memory: 102852 KiB

[startup+222.3 s]
/proc/loadavg: 6.13 6.26 6.32 7/268 57442
/proc/meminfo: memFree=109032544/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167668 memory=102852 CPUtime=261.52 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 172960 0 0 0 26102 50 0 0 20 0 2 0 55821875 171692032 25713 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41917 25713 672 633 0 26902 0
[pid=57434/tid=57436] ppid=57431 vsize=167668 memory=18432 CPUtime=40.36 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 5799 0 0 0 4020 16 0 0 20 0 2 0 55821876 171692032 25713 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 261.52 s
Current children cumulated vsize: 167668 KiB
Current children cumulated memory: 102852 KiB

[startup+282.3 s]
/proc/loadavg: 5.99 6.19 6.29 7/266 57444
/proc/meminfo: memFree=109032400/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=102980 CPUtime=331.49 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 176337 0 0 0 33091 58 0 0 20 0 2 0 55821875 171962368 25745 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25745 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=102980 CPUtime=50.66 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 5824 0 0 0 5046 20 0 0 20 0 2 0 55821876 171962368 25745 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 331.49 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 102980 KiB

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

/proc/meminfo: memFree=108652880/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=2951.61 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 205261 0 0 0 294754 407 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=462.52 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7178 0 0 0 46044 208 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 2951.61 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2562.3 s]
/proc/loadavg: 4.88 4.82 4.93 5/268 57661
/proc/meminfo: memFree=108652560/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3023.05 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 206057 0 0 0 301888 417 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=474.31 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7310 0 0 0 47218 213 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3023.05 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2622.3 s]
/proc/loadavg: 4.69 4.79 4.91 5/268 57663
/proc/meminfo: memFree=108652628/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3094.25 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 206853 0 0 0 308998 427 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=485.82 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7343 0 0 0 48364 218 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2682.3 s]
/proc/loadavg: 4.53 4.73 4.88 5/268 57665
/proc/meminfo: memFree=108652540/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3165.01 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 207657 0 0 0 316063 438 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=496.89 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) R 57431 57434 56290 0 -1 4194368 7373 0 0 0 49465 224 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3165.01 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2742.3 s]
/proc/loadavg: 4.81 4.77 4.89 5/267 57670
/proc/meminfo: memFree=108652536/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3236.1 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 208455 0 0 0 323162 448 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=508.27 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7373 0 0 0 50598 229 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3236.1 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2802.3 s]
/proc/loadavg: 4.64 4.72 4.86 5/268 57673
/proc/meminfo: memFree=108660520/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3307.15 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 209250 0 0 0 330258 457 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=519.64 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7373 0 0 0 51730 234 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3307.15 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2862.3 s]
/proc/loadavg: 4.83 4.77 4.87 5/268 57677
/proc/meminfo: memFree=108659836/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3378.06 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 210049 0 0 0 337337 469 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=530.85 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7404 0 0 0 52845 240 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3378.06 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2922.3 s]
/proc/loadavg: 4.80 4.78 4.87 6/268 57679
/proc/meminfo: memFree=108659772/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3449.31 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 210848 0 0 0 344453 478 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=542.41 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7406 0 0 0 53996 245 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3449.31 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+2982.3 s]
/proc/loadavg: 4.74 4.77 4.87 5/268 57727
/proc/meminfo: memFree=108558936/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3520.97 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 211640 0 0 0 351609 488 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=554.39 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7420 0 0 0 55190 249 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3520.97 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

[startup+3042.3 s]
/proc/loadavg: 4.66 4.74 4.85 5/267 57733
/proc/meminfo: memFree=108534428/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3592.49 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 212445 0 0 0 358750 499 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=566.24 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) S 57431 57434 56290 0 -1 4194368 7434 0 0 0 56370 254 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3592.49 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3048.7 s]
/proc/loadavg: 4.61 4.73 4.84 6/267 57733
/proc/meminfo: memFree=108522268/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3600.02 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 212445 0 0 0 359502 500 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=567.42 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) R 57431 57434 56290 0 -1 4194368 7434 0 0 0 56487 255 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.08 s, system=5.01441 s

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

[startup+3048.7 s]
/proc/loadavg: 4.61 4.73 4.84 6/267 57733
/proc/meminfo: memFree=108522268/131249988 swapFree=33010160/33010684
[pid=57434] ppid=57431 vsize=167932 memory=103108 CPUtime=3600.02 cores=5,7
/proc/57434/stat : 57434 (pb_competition_) R 57431 57434 56290 0 -1 4194304 212445 0 0 0 359502 500 0 0 20 0 2 0 55821875 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
/proc/57434/statm: 41983 25777 672 633 0 26968 0
[pid=57434/tid=57436] ppid=57431 vsize=167932 memory=103108 CPUtime=567.42 cores=5,7
/proc/57434/task/57436/stat : 57436 (pb_competition_) R 57431 57434 56290 0 -1 4194368 7434 0 0 0 56487 255 0 0 20 0 2 0 55821876 171962368 25777 18446744073709551615 4198400 6788177 140736010718080 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 23932928 140736010725721 140736010725848 140736010725848 140736010731450 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 167932 KiB
Current children cumulated memory: 103108 KiB

Child status: 0

Real time (s): 3048.76
CPU time (s): 3600.1
CPU user time (s): 3595.08
CPU system time (s): 5.01441
CPU usage (%): 118.084
Max. virtual memory (cumulated for all children) (KiB): 167932
Max. memory (cumulated for all children) (KiB): 103108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.08
system time used= 5.01441
maximum resident set size= 103108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219172
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= 304658
involuntary context switches= 15287


# summary of solver processes directly reported to runsolver:
#   pid: 57434
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3595.08
#   total CPU system time (s): 5.01441

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.33383 second user time and 14.8902 second system time

The end