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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484858-1751292673/watcher-4484858-1751292673 -o /tmp/evaluation-result-4484858-1751292673/solver-4484858-1751292673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751290793-41999 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 350461416 HOME/instance-4484858-1751292673.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=42250, runsolver pid=42247

[startup+0.100067 s]*
/proc/loadavg: 7.27 7.07 6.55 6/267 42252
/proc/meminfo: memFree=128259804/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=150340 memory=48836 CPUtime=0.16 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 8979 0 0 0 14 2 0 0 20 0 2 0 44945953 153948160 12209 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 37585 12209 608 633 0 22994 0
[pid=42250/tid=42252] ppid=42247 vsize=150340 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 2580 0 0 0 6 0 0 0 20 0 2 0 44945955 153948160 12209 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 0 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 150340 KiB
Current children cumulated memory: 48836 KiB

[startup+0.205868 s]*
/proc/loadavg: 7.27 7.07 6.55 6/267 42252
/proc/meminfo: memFree=128183252/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=176872 memory=119304 CPUtime=0.33 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 17398 0 0 0 28 5 0 0 20 0 2 0 44945953 181116928 29826 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 44218 29826 608 633 0 31366 0
[pid=42250/tid=42252] ppid=42247 vsize=176872 memory=664958721904869660 CPUtime=0.12 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 4320 0 0 0 11 1 0 0 20 0 2 0 44945955 181116928 29826 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 176872 KiB
Current children cumulated memory: 119304 KiB

[startup+0.305756 s]*
/proc/loadavg: 7.27 7.07 6.55 7/267 42252
/proc/meminfo: memFree=128164100/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=189336 memory=135432 CPUtime=0.45 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 21356 0 0 0 39 6 0 0 20 0 2 0 44945953 193880064 33858 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 47334 33858 672 633 0 35321 0
[pid=42250/tid=42252] ppid=42247 vsize=189336 memory=7971517035339595372 CPUtime=0.16 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 5159 0 0 0 14 2 0 0 20 0 2 0 44945955 193880064 33858 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 189336 KiB
Current children cumulated memory: 135432 KiB

[startup+0.700216 s]
/proc/loadavg: 7.25 7.07 6.55 8/267 42252
/proc/meminfo: memFree=128123780/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=265812 memory=211976 CPUtime=0.83 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 40486 0 0 0 75 8 0 0 20 0 2 0 44945953 272191488 52994 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 66453 52994 672 633 0 54440 0
[pid=42250/tid=42252] ppid=42247 vsize=265812 memory=17792 CPUtime=0.16 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 5159 0 0 0 14 2 0 0 20 0 2 0 44945955 272191488 52994 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 265812 KiB
Current children cumulated memory: 211976 KiB

[startup+1.50021 s]
/proc/loadavg: 7.25 7.07 6.55 8/267 42252
/proc/meminfo: memFree=128018820/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=1.85 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 85463 0 0 0 173 12 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=17792 CPUtime=0.38 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 5758 0 0 0 36 2 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 1.85 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+3.10564 s]
/proc/loadavg: 7.25 7.07 6.55 7/267 42252
/proc/meminfo: memFree=128019124/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=4.33 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 120976 0 0 0 419 14 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=1.26 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 5765 0 0 0 124 2 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+6.30016 s]
/proc/loadavg: 7.31 7.09 6.56 6/267 42252
/proc/meminfo: memFree=128019124/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=10 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 187302 0 0 0 982 18 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=17792 CPUtime=3.77 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 7055 0 0 0 375 2 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+12.7002 s]
/proc/loadavg: 7.28 7.09 6.56 8/267 42252
/proc/meminfo: memFree=128019124/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=21.75 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 251273 0 0 0 2151 24 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=9.14 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 8896 0 0 0 912 2 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 21.75 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+25.5002 s]
/proc/loadavg: 7.16 7.07 6.56 7/267 42252
/proc/meminfo: memFree=128019140/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=44.02 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 319555 0 0 0 4372 30 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=14720 CPUtime=18.72 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 10122 0 0 0 1870 2 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 44.02 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+51.1057 s]
/proc/loadavg: 6.25 6.85 6.50 7/267 42253
/proc/meminfo: memFree=128018444/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=79.06 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 382223 0 0 0 7869 37 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=28.34 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 11839 0 0 0 2830 4 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 79.06 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+102.3 s]
/proc/loadavg: 5.87 6.64 6.45 5/267 42254
/proc/meminfo: memFree=128018108/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=149.42 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 467132 0 0 0 14894 48 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=47.8 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 14312 0 0 0 4774 6 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 149.42 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+162.3 s]
/proc/loadavg: 5.69 6.44 6.39 6/268 42263
/proc/meminfo: memFree=127995680/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=231.46 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 508537 0 0 0 23090 56 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=70.24 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 15254 0 0 0 7016 8 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 231.46 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+222.3 s]
/proc/loadavg: 6.09 6.39 6.37 7/267 42265
/proc/meminfo: memFree=128002180/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=312.08 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 540420 0 0 0 31144 64 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=91.19 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 16263 0 0 0 9108 11 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 312.08 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+282.3 s]
/proc/loadavg: 5.85 6.26 6.33 6/267 42267
/proc/meminfo: memFree=128005212/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=392 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 602717 0 0 0 39126 74 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=111.47 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 18141 0 0 0 11134 13 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 392 s
Current children cumulated vsize: 330836 KiB

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

/proc/meminfo: memFree=127739872/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=2833.89 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 641886 0 0 0 283180 209 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=643.82 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19291 0 0 0 64301 81 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 2833.89 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2262.3 s]
/proc/loadavg: 5.45 5.27 5.43 6/267 42450
/proc/meminfo: memFree=127739480/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=2910 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 642839 0 0 0 290785 215 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=660.22 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19397 0 0 0 65939 83 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 2910 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2322.3 s]
/proc/loadavg: 5.57 5.35 5.45 9/267 42452
/proc/meminfo: memFree=127739968/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=2986.86 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 643793 0 0 0 298467 219 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=14720 CPUtime=677.41 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19405 0 0 0 67655 86 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 2986.86 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2382.3 s]
/proc/loadavg: 5.52 5.37 5.45 8/267 42455
/proc/meminfo: memFree=127738888/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3063.08 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 644748 0 0 0 306085 223 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=14720 CPUtime=693.95 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19412 0 0 0 69307 88 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3063.08 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2442.3 s]
/proc/loadavg: 5.33 5.33 5.43 6/266 42457
/proc/meminfo: memFree=127738876/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3139.94 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 645703 0 0 0 313767 227 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=14720 CPUtime=711.14 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19533 0 0 0 71024 90 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3139.94 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2502.3 s]
/proc/loadavg: 5.31 5.34 5.43 7/266 42458
/proc/meminfo: memFree=127739148/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3217.47 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 646659 0 0 0 321515 232 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=728.98 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19552 0 0 0 72806 92 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3217.47 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2562.3 s]
/proc/loadavg: 5.16 5.29 5.41 7/267 42467
/proc/meminfo: memFree=127739228/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3294.56 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 647613 0 0 0 329221 235 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=74594 CPUtime=746.41 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19665 0 0 0 74548 93 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3294.56 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2622.3 s]
/proc/loadavg: 5.35 5.34 5.42 9/267 42469
/proc/meminfo: memFree=127738872/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3372.61 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 648566 0 0 0 337020 241 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=764.76 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 19668 0 0 0 76380 96 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3372.61 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2682.3 s]
/proc/loadavg: 5.25 5.32 5.41 8/267 42471
/proc/meminfo: memFree=127738924/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3450.43 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 649521 0 0 0 344798 245 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=782.92 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) R 42247 42250 41988 0 -1 4194368 19693 0 0 0 78194 98 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3450.43 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

[startup+2742.3 s]
/proc/loadavg: 5.01 5.25 5.38 7/267 42473
/proc/meminfo: memFree=127737976/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3525.94 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 649553 0 0 0 352346 248 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=276928 CPUtime=798.75 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19694 0 0 0 79775 100 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3525.94 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2801.5 s]
/proc/loadavg: 5.09 5.22 5.36 6/267 42566
/proc/meminfo: memFree=127752412/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=330836 memory=276928 CPUtime=3600.11 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 650507 0 0 0 359756 255 0 0 20 0 2 0 44945953 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 82709 69232 672 633 0 70696 0
[pid=42250/tid=42252] ppid=42247 vsize=330836 memory=14720 CPUtime=814.06 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19700 0 0 0 81303 103 0 0 20 0 2 0 44945955 338776064 69232 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 330836 KiB
Current children cumulated memory: 276928 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.69 s, system=2.57084 s

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

[startup+2801.6 s]
/proc/loadavg: 5.09 5.22 5.36 6/267 42566
/proc/meminfo: memFree=127752412/131250000 swapFree=33010684/33010684
[pid=42250] ppid=42247 vsize=280776 memory=227020 CPUtime=3600.21 cores=4,6
/proc/42250/stat : 42250 (pb_competition_) R 42247 42250 41988 0 -1 4194304 662932 0 0 0 359765 256 0 0 20 0 2 0 44945953 287514624 56755 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
/proc/42250/statm: 70194 56755 672 633 0 58181 0
[pid=42250/tid=42252] ppid=42247 vsize=280776 memory=14720 CPUtime=814.06 cores=4,6
/proc/42250/task/42252/stat : 42252 (pb_competition_) S 42247 42250 41988 0 -1 4194368 19700 0 0 0 81303 103 0 0 20 0 2 0 44945955 287514624 56755 18446744073709551615 4198400 6788177 140728935830464 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 14950400 140728935835994 140728935836120 140728935836120 140728935841722 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 280776 KiB
Current children cumulated memory: 227020 KiB

Child status: 0

Real time (s): 2801.64
CPU time (s): 3600.26
CPU user time (s): 3597.69
CPU system time (s): 2.57084
CPU usage (%): 128.505
Max. virtual memory (cumulated for all children) (KiB): 330836
Max. memory (cumulated for all children) (KiB): 276928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.69
system time used= 2.57084
maximum resident set size= 276928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667175
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= 68750
involuntary context switches= 31595


# summary of solver processes directly reported to runsolver:
#   pid: 42250
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3597.69
#   total CPU system time (s): 2.57084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.13146 second user time and 11.1413 second system time

The end