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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520984-1751569168/watcher-4520984-1751569168 -o /tmp/evaluation-result-4520984-1751569168/solver-4520984-1751569168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751566991-80084 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 741654539 HOME/instance-4520984-1751569168.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=80432, runsolver pid=80429
Current StackSize limit: 8192 KiB


[startup+0.100065 s]*
/proc/loadavg: 7.20 7.36 6.99 9/268 80434
/proc/meminfo: memFree=108414340/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=158708 memory=85696 CPUtime=0.12 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 11745 0 0 0 9 3 0 0 20 0 2 0 72595386 162516992 21424 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 39677 21424 576 633 0 23701 0
[pid=80432/tid=80434] ppid=80429 vsize=158708 memory=4026531960 CPUtime=0.02 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 1194 0 0 0 2 0 0 0 20 0 2 0 72595394 162516992 21424 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 158708 KiB
Current children cumulated memory: 85696 KiB

[startup+0.205771 s]*
/proc/loadavg: 7.20 7.36 6.99 8/268 80434
/proc/meminfo: memFree=108374272/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=178376 memory=122816 CPUtime=0.32 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 21066 0 0 0 27 5 0 0 20 0 2 0 72595386 182657024 30704 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 44594 30704 576 633 0 33022 0
[pid=80432/tid=80434] ppid=80429 vsize=178376 memory=664958721904869660 CPUtime=0.12 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 5598 0 0 0 11 1 0 0 20 0 2 0 72595394 182657024 30704 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 178376 KiB
Current children cumulated memory: 122816 KiB

[startup+0.305608 s]*
/proc/loadavg: 7.20 7.36 6.99 8/268 80434
/proc/meminfo: memFree=108342016/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=196988 memory=158272 CPUtime=0.52 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 29903 0 0 0 45 7 0 0 20 0 2 0 72595386 201715712 39568 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 49247 39568 576 633 0 41861 0
[pid=80432/tid=80434] ppid=80429 vsize=196988 memory=7972077794826533998 CPUtime=0.2 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 9784 0 0 0 19 1 0 0 20 0 2 0 72595394 201715712 39568 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 196988 KiB
Current children cumulated memory: 158272 KiB

[startup+0.700216 s]
/proc/loadavg: 7.20 7.36 6.99 7/268 80434
/proc/meminfo: memFree=108277504/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=554792 memory=350344 CPUtime=1.07 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 55126 0 0 0 94 13 0 0 20 0 2 0 72595386 568107008 87586 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 138731 87586 608 633 0 124453 0
[pid=80432/tid=80434] ppid=80429 vsize=554924 memory=18432 CPUtime=0.43 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 19277 0 0 0 39 4 0 0 20 0 2 0 72595394 568242176 87586 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 0 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 554792 KiB
Current children cumulated memory: 350344 KiB

[startup+1.5002 s]
/proc/loadavg: 7.20 7.36 6.99 8/268 80434
/proc/meminfo: memFree=107899136/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=782144 memory=710604 CPUtime=2.31 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 150355 0 0 0 202 29 0 0 20 0 2 0 72595386 800915456 177651 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 195536 177651 640 633 0 179560 0
[pid=80432/tid=80434] ppid=80429 vsize=782144 memory=18432 CPUtime=0.86 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 33964 0 0 0 79 7 0 0 20 0 2 0 72595394 800915456 177651 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 782144 KiB
Current children cumulated memory: 710604 KiB

[startup+3.10563 s]
/proc/loadavg: 7.18 7.36 6.99 8/268 80434
/proc/meminfo: memFree=107483644/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1083160 memory=1011308 CPUtime=3.91 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 296267 0 0 0 347 44 0 0 20 0 2 0 72595386 1109155840 252827 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 270790 252827 672 633 0 254814 0
[pid=80432/tid=80434] ppid=80429 vsize=1083160 memory=744012 CPUtime=0.86 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 33964 0 0 0 79 7 0 0 20 0 2 0 72595394 1109155840 252827 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 1083160 KiB
Current children cumulated memory: 1011308 KiB

[startup+6.30019 s]
/proc/loadavg: 7.18 7.36 6.99 7/268 80434
/proc/meminfo: memFree=106958188/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1604324 memory=1534560 CPUtime=7.11 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 479514 0 0 0 645 66 0 0 20 0 2 0 72595386 1642827776 383640 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401081 383640 672 633 0 385105 0
[pid=80432/tid=80434] ppid=80429 vsize=1604324 memory=18432 CPUtime=0.88 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 33964 0 0 0 81 7 0 0 20 0 2 0 72595394 1642827776 383640 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 7.11 s
Current children cumulated vsize: 1604324 KiB
Current children cumulated memory: 1534560 KiB

[startup+12.7002 s]
/proc/loadavg: 7.08 7.33 6.98 8/268 80434
/proc/meminfo: memFree=106956936/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1604720 memory=1534944 CPUtime=15.76 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 632206 0 0 0 1502 74 0 0 20 0 2 0 72595386 1643233280 383736 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401180 383736 672 633 0 385204 0
[pid=80432/tid=80434] ppid=80429 vsize=1604720 memory=1534944 CPUtime=3.19 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 38941 0 0 0 311 8 0 0 20 0 2 0 72595394 1643233280 383736 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 15.76 s
Current children cumulated vsize: 1604720 KiB
Current children cumulated memory: 1534944 KiB

[startup+25.5002 s]
/proc/loadavg: 6.83 7.27 6.97 8/268 80434
/proc/meminfo: memFree=106957944/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1604984 memory=1535200 CPUtime=32.05 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 871188 0 0 0 3114 91 0 0 20 0 2 0 72595386 1643503616 383800 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401246 383800 672 633 0 385270 0
[pid=80432/tid=80434] ppid=80429 vsize=1604984 memory=1535072 CPUtime=6.75 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 39589 0 0 0 667 8 0 0 20 0 2 0 72595394 1643503616 383800 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 32.05 s
Current children cumulated vsize: 1604984 KiB
Current children cumulated memory: 1535200 KiB

[startup+51.1057 s]
/proc/loadavg: 6.77 7.21 6.96 8/268 80435
/proc/meminfo: memFree=106935788/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1604984 memory=1535200 CPUtime=74.36 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 1197197 0 0 0 7322 114 0 0 20 0 2 0 72595386 1643503616 383800 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401246 383800 672 633 0 385270 0
[pid=80432/tid=80434] ppid=80429 vsize=1604984 memory=18432 CPUtime=23.67 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 53878 0 0 0 2357 10 0 0 20 0 2 0 72595394 1643503616 383800 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 74.36 s
Current children cumulated vsize: 1604984 KiB
Current children cumulated memory: 1535200 KiB

[startup+102.3 s]
/proc/loadavg: 7.07 7.22 6.98 8/268 80451
/proc/meminfo: memFree=106922656/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1604984 memory=1535200 CPUtime=160.14 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 1522881 0 0 0 15873 141 0 0 20 0 2 0 72595386 1643503616 383800 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401246 383800 672 633 0 385270 0
[pid=80432/tid=80434] ppid=80429 vsize=1604984 memory=18432 CPUtime=58.7 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 65428 0 0 0 5856 14 0 0 20 0 2 0 72595394 1643503616 383800 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 160.14 s
Current children cumulated vsize: 1604984 KiB
Current children cumulated memory: 1535200 KiB

[startup+162.3 s]
/proc/loadavg: 6.74 7.10 6.96 7/267 80453
/proc/meminfo: memFree=106907868/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1605380 memory=1535712 CPUtime=258.22 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 1750272 0 0 0 25662 160 0 0 20 0 2 0 72595386 1643909120 383928 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401345 383928 672 633 0 385369 0
[pid=80432/tid=80434] ppid=80429 vsize=1605380 memory=5632 CPUtime=97.27 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 71341 0 0 0 9710 17 0 0 20 0 2 0 72595394 1643909120 383928 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 258.22 s
Current children cumulated vsize: 1605380 KiB
Current children cumulated memory: 1535712 KiB

[startup+222.3 s]
/proc/loadavg: 6.62 6.99 6.93 7/267 80455
/proc/meminfo: memFree=106913916/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1605380 memory=1535712 CPUtime=323.14 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 1919739 0 0 0 32140 174 0 0 20 0 2 0 72595386 1643909120 383928 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401345 383928 672 633 0 385369 0
[pid=80432/tid=80434] ppid=80429 vsize=1605380 memory=18432 CPUtime=102.49 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 80929 0 0 0 10230 19 0 0 20 0 2 0 72595394 1643909120 383928 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 323.14 s
Current children cumulated vsize: 1605380 KiB
Current children cumulated memory: 1535712 KiB

[startup+282.3 s]
/proc/loadavg: 6.49 6.90 6.90 7/267 80457
/proc/meminfo: memFree=106914288/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1605644 memory=1535840 CPUtime=388.21 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2033419 0 0 0 38639 182 0 0 20 0 2 0 72595386 1644179456 383960 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 401411 383960 672 633 0 385435 0
[pid=80432/tid=80434] ppid=80429 vsize=1605644 memory=1535840 CPUtime=107.88 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 86430 0 0 0 10768 20 0 0 20 0 2 0 72595394 1644179456 383960 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 388.21 s
Current children cumulated vsize: 1605644 KiB

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

/proc/meminfo: memFree=105556080/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3063.25 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2664700 0 0 0 306036 289 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=3100 CPUtime=396.25 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 93414 0 0 0 39582 43 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3063.25 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+2742.3 s]
/proc/loadavg: 5.65 5.16 5.38 6/266 80661
/proc/meminfo: memFree=105558764/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3132.8 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2666004 0 0 0 312989 291 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=3100 CPUtime=406.14 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) R 80429 80432 80074 0 -1 4194368 93414 0 0 0 40571 43 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3132.8 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+2802.3 s]
/proc/loadavg: 5.92 5.33 5.42 7/266 80663
/proc/meminfo: memFree=105557808/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3208.27 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2667705 0 0 0 320533 294 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=422 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 93725 0 0 0 42155 45 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3208.27 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+2862.3 s]
/proc/loadavg: 5.97 5.45 5.46 7/266 80710
/proc/meminfo: memFree=105052880/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3274.3 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2669287 0 0 0 327135 295 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=428.35 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 93836 0 0 0 42789 46 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3274.3 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+2922.3 s]
/proc/loadavg: 5.67 5.46 5.46 8/266 80712
/proc/meminfo: memFree=105072000/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3339.85 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2669908 0 0 0 333688 297 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=434.23 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 93934 0 0 0 43376 47 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3339.85 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+2982.3 s]
/proc/loadavg: 5.68 5.50 5.47 6/267 80715
/proc/meminfo: memFree=105060224/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3406 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2671380 0 0 0 340302 298 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=440.72 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 93942 0 0 0 44025 47 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3406 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+3042.3 s]
/proc/loadavg: 5.46 5.47 5.46 6/268 80720
/proc/meminfo: memFree=105074640/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3471.94 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2673173 0 0 0 346894 300 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=446.99 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 94057 0 0 0 44652 47 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3471.94 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+3102.3 s]
/proc/loadavg: 5.50 5.49 5.46 6/268 80724
/proc/meminfo: memFree=105076864/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3537.88 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2674723 0 0 0 353487 301 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=453.28 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 94167 0 0 0 45280 48 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3537.88 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3152.3 s]
/proc/loadavg: 5.51 5.50 5.47 6/268 80726
/proc/meminfo: memFree=105087700/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3600.07 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2675446 0 0 0 359703 304 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=465.77 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 94295 0 0 0 46528 49 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.86 s, system=3.11922 s

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

[startup+3152.8 s]
/proc/loadavg: 5.51 5.50 5.47 6/268 80726
/proc/meminfo: memFree=105087700/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1608284 memory=1538528 CPUtime=3600.56 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2731567 0 0 0 359750 306 0 0 20 0 2 0 72595386 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 402071 384632 672 633 0 386095 0
[pid=80432/tid=80434] ppid=80429 vsize=1608284 memory=1538528 CPUtime=465.77 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 94295 0 0 0 46528 49 0 0 20 0 2 0 72595394 1646882816 384632 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3600.56 s
Current children cumulated vsize: 1608284 KiB
Current children cumulated memory: 1538528 KiB

[startup+3153 s]*
/proc/loadavg: 5.55 5.50 5.47 6/268 80726
/proc/meminfo: memFree=105333460/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1358636 memory=1288888 CPUtime=3600.77 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2742750 0 0 0 359770 307 0 0 20 0 2 0 72595386 1391243264 322222 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 339659 322222 672 633 0 323683 0
[pid=80432/tid=80434] ppid=80429 vsize=1358636 memory=7970668233804953969 CPUtime=465.77 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 94295 0 0 0 46528 49 0 0 20 0 2 0 72595394 1391243264 322222 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 1358636 KiB
Current children cumulated memory: 1288888 KiB

[startup+3153.11 s]
/proc/loadavg: 5.55 5.50 5.47 6/268 80726
/proc/meminfo: memFree=105333460/131249988 swapFree=33010416/33010684
[pid=80432] ppid=80429 vsize=1358636 memory=1288888 CPUtime=3600.88 cores=0,2
/proc/80432/stat : 80432 (pb_competition_) R 80429 80432 80074 0 -1 4194304 2758505 0 0 0 359780 308 0 0 20 0 2 0 72595386 1391243264 322222 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
/proc/80432/statm: 339659 322222 672 633 0 323683 0
[pid=80432/tid=80434] ppid=80429 vsize=1358636 memory=1538528 CPUtime=465.77 cores=0,2
/proc/80432/task/80434/stat : 80434 (pb_competition_) S 80429 80432 80074 0 -1 4194368 94295 0 0 0 46528 49 0 0 20 0 2 0 72595394 1391243264 322222 18446744073709551615 4198400 6788177 140721935998992 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15294464 140721936005466 140721936005592 140721936005592 140721936011194 0
Current children cumulated CPU time: 3600.88 s
Current children cumulated vsize: 1358636 KiB
Current children cumulated memory: 1288888 KiB

Child status: 0

Real time (s): 3153.2
CPU time (s): 3600.98
CPU user time (s): 3597.86
CPU system time (s): 3.11922
CPU usage (%): 114.201
Max. virtual memory (cumulated for all children) (KiB): 1608284
Max. memory (cumulated for all children) (KiB): 1538528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.86
system time used= 3.11922
maximum resident set size= 1538528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2782640
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= 34016
involuntary context switches= 23625


# summary of solver processes directly reported to runsolver:
#   pid: 80432
#   total CPU time (s): 3600.98
#   total CPU user time (s): 3597.86
#   total CPU system time (s): 3.11922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.37389 second user time and 16.0995 second system time

The end