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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499808-1751411200/watcher-4499808-1751411200 -o /tmp/evaluation-result-4499808-1751411200/solver-4499808-1751411200 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751411200-61138 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 349764737 HOME/instance-4499808-1751411200.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=61179, runsolver pid=61168

[startup+0.100069 s]*
/proc/loadavg: 0.53 1.46 2.07 7/248 61192
/proc/meminfo: memFree=119523660/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=91760 memory=20312 CPUtime=0.17 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 4597 0 0 0 14 3 0 0 20 0 2 0 56799840 93962240 5078 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 22940 5078 576 633 0 6730 0
[pid=61179/tid=61186] ppid=61168 vsize=91760 memory=4026531959 CPUtime=0.06 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) R 61168 61179 60706 0 -1 4194368 960 0 0 0 6 0 0 0 20 0 2 0 56799844 93962240 5078 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 91760 KiB
Current children cumulated memory: 20312 KiB

[startup+0.213299 s]*
/proc/loadavg: 0.53 1.46 2.07 9/254 61198
/proc/meminfo: memFree=119429592/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=97436 memory=32088 CPUtime=0.36 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) S 61168 61179 60706 0 -1 4194304 7562 0 0 0 32 4 0 0 20 0 2 0 56799840 99774464 8022 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 24359 8022 576 633 0 9669 0
[pid=61179/tid=61186] ppid=61168 vsize=97436 memory=664958721904869660 CPUtime=0.16 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) R 61168 61179 60706 0 -1 4194368 2486 0 0 0 15 1 0 0 20 0 2 0 56799844 99774464 8022 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 0 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 97436 KiB
Current children cumulated memory: 32088 KiB

[startup+0.31375 s]*
/proc/loadavg: 0.96 1.53 2.10 9/254 61198
/proc/meminfo: memFree=119334952/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=140048 memory=70788 CPUtime=0.46 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 10539 0 0 0 40 6 0 0 20 0 2 0 56799840 143409152 17697 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 35012 17697 608 633 0 20442 0
[pid=61179/tid=61186] ppid=61168 vsize=140048 memory=7971802904051532395 CPUtime=0.18 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 2601 0 0 0 17 1 0 0 20 0 2 0 56799844 143409152 17697 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 0 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 140048 KiB
Current children cumulated memory: 70788 KiB

[startup+0.700371 s]
/proc/loadavg: 0.96 1.53 2.10 8/254 61198
/proc/meminfo: memFree=119242736/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=161456 memory=105100 CPUtime=0.96 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 18026 0 0 0 85 11 0 0 20 0 2 0 56799840 165330944 26275 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 40364 26275 672 633 0 27774 0
[pid=61179/tid=61186] ppid=61168 vsize=161456 memory=17920 CPUtime=0.35 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 4582 0 0 0 31 4 0 0 20 0 2 0 56799844 165330944 26275 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 161456 KiB
Current children cumulated memory: 105100 KiB

[startup+1.5004 s]
/proc/loadavg: 0.96 1.53 2.10 5/254 61198
/proc/meminfo: memFree=119064324/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=266848 memory=210572 CPUtime=1.77 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 54163 0 0 0 159 18 0 0 20 0 2 0 56799840 273252352 52643 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66712 52643 672 633 0 54122 0
[pid=61179/tid=61186] ppid=61168 vsize=266848 memory=17920 CPUtime=0.37 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 4738 0 0 0 33 4 0 0 20 0 2 0 56799844 273252352 52643 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 210572 KiB

[startup+3.11734 s]
/proc/loadavg: 0.96 1.53 2.10 6/254 61198
/proc/meminfo: memFree=118111368/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=266848 memory=210572 CPUtime=3.97 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 58325 0 0 0 378 19 0 0 20 0 2 0 56799840 273252352 52643 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66712 52643 672 633 0 54122 0
[pid=61179/tid=61186] ppid=61168 vsize=266848 memory=136204 CPUtime=0.96 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) R 61168 61179 60706 0 -1 4194368 4790 0 0 0 92 4 0 0 20 0 2 0 56799844 273252352 52643 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3.97 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 210572 KiB

[startup+6.30038 s]
/proc/loadavg: 1.29 1.59 2.11 5/254 61198
/proc/meminfo: memFree=117586380/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=266848 memory=210700 CPUtime=7.94 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 82595 0 0 0 773 21 0 0 20 0 2 0 56799840 273252352 52675 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66712 52675 672 633 0 54122 0
[pid=61179/tid=61186] ppid=61168 vsize=266848 memory=136204 CPUtime=1.77 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 5082 0 0 0 173 4 0 0 20 0 2 0 56799844 273252352 52675 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 266848 KiB
Current children cumulated memory: 210700 KiB

[startup+12.7003 s]
/proc/loadavg: 1.66 1.66 2.13 6/254 61198
/proc/meminfo: memFree=117575796/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=266980 memory=210700 CPUtime=16.03 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 133129 0 0 0 1576 27 0 0 20 0 2 0 56799840 273387520 52675 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66745 52675 672 633 0 54155 0
[pid=61179/tid=61186] ppid=61168 vsize=266980 memory=136204 CPUtime=3.51 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) R 61168 61179 60706 0 -1 4194368 5610 0 0 0 346 5 0 0 20 0 2 0 56799844 273387520 52675 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 16.03 s
Current children cumulated vsize: 266980 KiB
Current children cumulated memory: 210700 KiB

[startup+25.5004 s]
/proc/loadavg: 2.02 1.74 2.15 6/254 61198
/proc/meminfo: memFree=117576804/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267112 memory=210828 CPUtime=32.01 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 204999 0 0 0 3168 33 0 0 20 0 2 0 56799840 273522688 52707 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66778 52707 672 633 0 54188 0
[pid=61179/tid=61186] ppid=61168 vsize=267112 memory=136204 CPUtime=6.81 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 6466 0 0 0 674 7 0 0 20 0 2 0 56799844 273522688 52707 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 32.01 s
Current children cumulated vsize: 267112 KiB
Current children cumulated memory: 210828 KiB

[startup+51.1135 s]
/proc/loadavg: 2.92 1.99 2.22 6/254 61199
/proc/meminfo: memFree=117552836/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267376 memory=211084 CPUtime=63.19 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 265791 0 0 0 6278 41 0 0 20 0 2 0 56799840 273793024 52771 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66844 52771 672 633 0 54254 0
[pid=61179/tid=61186] ppid=61168 vsize=267376 memory=14560 CPUtime=12.61 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7675 0 0 0 1251 10 0 0 20 0 2 0 56799844 273793024 52771 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 63.19 s
Current children cumulated vsize: 267376 KiB
Current children cumulated memory: 211084 KiB

[startup+102.3 s]
/proc/loadavg: 3.75 2.36 2.34 6/254 61200
/proc/meminfo: memFree=117529460/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267508 memory=211340 CPUtime=114.78 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 321393 0 0 0 11432 46 0 0 20 0 2 0 56799840 273928192 52835 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66877 52835 672 633 0 54287 0
[pid=61179/tid=61186] ppid=61168 vsize=267508 memory=211212 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 273928192 52835 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 114.78 s
Current children cumulated vsize: 267508 KiB
Current children cumulated memory: 211340 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 2.74 2.47 6/255 61203
/proc/meminfo: memFree=117549660/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267640 memory=211340 CPUtime=174.51 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 345105 0 0 0 17401 50 0 0 20 0 2 0 56799840 274063360 52835 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66910 52835 672 633 0 54320 0
[pid=61179/tid=61186] ppid=61168 vsize=267640 memory=211340 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274063360 52835 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 174.51 s
Current children cumulated vsize: 267640 KiB
Current children cumulated memory: 211340 KiB

[startup+222.3 s]
/proc/loadavg: 4.21 3.02 2.59 5/255 61205
/proc/meminfo: memFree=117552256/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267640 memory=211468 CPUtime=234.27 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 366382 0 0 0 23374 53 0 0 20 0 2 0 56799840 274063360 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66910 52867 672 633 0 54320 0
[pid=61179/tid=61186] ppid=61168 vsize=267640 memory=211468 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274063360 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 234.27 s
Current children cumulated vsize: 267640 KiB
Current children cumulated memory: 211468 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 3.23 2.69 7/255 61208
/proc/meminfo: memFree=117541592/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267640 memory=211468 CPUtime=294.04 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 369432 0 0 0 29350 54 0 0 20 0 2 0 56799840 274063360 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66910 52867 672 633 0 54320 0
[pid=61179/tid=61186] ppid=61168 vsize=267640 memory=211468 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274063360 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 294.04 s
Current children cumulated vsize: 267640 KiB

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

/proc/meminfo: memFree=117536188/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3044.4 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 396089 0 0 0 304311 129 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=211468 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3044.4 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3102.3 s]
/proc/loadavg: 4.39 4.53 4.57 5/254 61430
/proc/meminfo: memFree=117536204/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3104.19 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 396095 0 0 0 310287 132 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=14560 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3104.19 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3162.3 s]
/proc/loadavg: 4.19 4.45 4.53 5/254 61432
/proc/meminfo: memFree=117519932/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3163.96 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 397565 0 0 0 316263 133 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=14560 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3163.96 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.40 4.51 5/253 61434
/proc/meminfo: memFree=117494524/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3223.73 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 397577 0 0 0 322238 135 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=14560 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3223.73 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.39 4.50 5/253 61451
/proc/meminfo: memFree=117485628/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3283.51 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 399041 0 0 0 328214 137 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=211468 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3283.51 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.36 4.48 6/253 61453
/proc/meminfo: memFree=117488440/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3343.28 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 399055 0 0 0 334190 138 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=17920 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3343.28 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.33 4.46 5/253 61455
/proc/meminfo: memFree=117486460/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3403.07 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 399055 0 0 0 340167 140 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=17920 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3403.07 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.30 4.44 5/253 61457
/proc/meminfo: memFree=117470092/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3462.84 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 400534 0 0 0 346142 142 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=17920 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3462.84 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.31 4.43 5/254 61462
/proc/meminfo: memFree=117488128/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3522.61 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 400542 0 0 0 352118 143 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=211468 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3522.61 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.28 4.42 5/254 61509
/proc/meminfo: memFree=116905348/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3582.37 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 402019 0 0 0 358090 147 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=5148 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3582.37 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600 s]*
/proc/loadavg: 4.15 4.26 4.41 5/254 61510
/proc/meminfo: memFree=116907600/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=267772 memory=211468 CPUtime=3600 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 402021 0 0 0 359853 147 0 0 20 0 2 0 56799840 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 66943 52867 672 633 0 54353 0
[pid=61179/tid=61186] ppid=61168 vsize=267772 memory=7970386750254889327 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 274198528 52867 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 267772 KiB
Current children cumulated memory: 211468 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.66 s, system=1.49325 s

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

[startup+3600.12 s]
/proc/loadavg: 4.15 4.26 4.41 5/254 61510
/proc/meminfo: memFree=116907600/131382112 swapFree=33010160/33010684
[pid=61179] ppid=61168 vsize=234120 memory=177912 CPUtime=3600.1 cores=5,7
/proc/61179/stat : 61179 (pb_competition_) R 61168 61179 60706 0 -1 4194304 412851 0 0 0 359863 147 0 0 20 0 2 0 56799840 239738880 44478 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
/proc/61179/statm: 58530 44478 672 633 0 45940 0
[pid=61179/tid=61186] ppid=61168 vsize=234120 memory=211468 CPUtime=13.26 cores=5,7
/proc/61179/task/61186/stat : 61186 (pb_competition_) S 61168 61179 60706 0 -1 4194368 7687 0 0 0 1316 10 0 0 20 0 2 0 56799844 239738880 44478 18446744073709551615 4198400 6788177 140734729043984 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 19312640 140734729046362 140734729046488 140734729046488 140734729052090 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 234120 KiB
Current children cumulated memory: 177912 KiB

Child status: 0

Real time (s): 3600.17
CPU time (s): 3600.15
CPU user time (s): 3598.66
CPU system time (s): 1.49325
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 267772
Max. memory (cumulated for all children) (KiB): 211468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.66
system time used= 1.49325
maximum resident set size= 211468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418060
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= 2389
involuntary context switches= 1814


# summary of solver processes directly reported to runsolver:
#   pid: 61179
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3598.66
#   total CPU system time (s): 1.49325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2127 second user time and 39.7745 second system time

The end