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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524631-1751616353/watcher-4524631-1751616353 -o /tmp/evaluation-result-4524631-1751616353/solver-4524631-1751616353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751616352-88505 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 716544472 HOME/instance-4524631-1751616353.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=88562, runsolver pid=88548

[startup+0.100066 s]*
/proc/loadavg: 1.06 1.48 2.38 8/257 88569
/proc/meminfo: memFree=129995908/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=81760 memory=7644 CPUtime=0.17 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 1401 0 0 0 17 0 0 0 20 0 2 0 77314660 83722240 1911 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 20440 1911 672 633 0 3366 0
[pid=88562/tid=88564] ppid=88548 vsize=81760 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 99 0 0 0 7 0 0 0 20 0 2 0 77314660 83722240 1911 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 81760 KiB
Current children cumulated memory: 7644 KiB

[startup+0.213394 s]*
/proc/loadavg: 1.06 1.48 2.38 11/257 88569
/proc/meminfo: memFree=129995720/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=82028 memory=7772 CPUtime=0.36 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 1461 0 0 0 35 1 0 0 20 0 2 0 77314660 83996672 1943 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 20507 1943 672 633 0 3433 0
[pid=88562/tid=88564] ppid=88548 vsize=82028 memory=664958721904869660 CPUtime=0.14 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) S 88548 88562 87502 0 -1 4194368 99 0 0 0 14 0 0 0 20 0 2 0 77314660 83996672 1943 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 82028 KiB
Current children cumulated memory: 7772 KiB

[startup+0.316051 s]*
/proc/loadavg: 1.06 1.48 2.38 10/257 88569
/proc/meminfo: memFree=129995720/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=82228 memory=8028 CPUtime=0.52 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 1495 0 0 0 51 1 0 0 20 0 2 0 77314660 84201472 2007 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 20557 2007 672 633 0 3483 0
[pid=88562/tid=88564] ppid=88548 vsize=82228 memory=7972079998279303023 CPUtime=0.21 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 99 0 0 0 21 0 0 0 20 0 2 0 77314660 84201472 2007 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 82228 KiB
Current children cumulated memory: 8028 KiB

[startup+0.700186 s]
/proc/loadavg: 1.06 1.48 2.38 8/257 88569
/proc/meminfo: memFree=129995468/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=82872 memory=8400 CPUtime=1.21 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 1678 0 0 0 119 2 0 0 20 0 2 0 77314660 84860928 2100 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 20718 2100 672 633 0 3644 0
[pid=88562/tid=88564] ppid=88548 vsize=82872 memory=14464 CPUtime=0.54 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 99 0 0 0 54 0 0 0 20 0 2 0 77314660 84860928 2100 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 82872 KiB
Current children cumulated memory: 8400 KiB

[startup+1.50015 s]
/proc/loadavg: 1.06 1.48 2.38 10/257 88569
/proc/meminfo: memFree=129994460/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=83056 memory=8784 CPUtime=2.78 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 3008 0 0 0 275 3 0 0 20 0 2 0 77314660 85049344 2196 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 20764 2196 672 633 0 3690 0
[pid=88562/tid=88564] ppid=88548 vsize=83056 memory=14464 CPUtime=1.32 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 349 0 0 0 132 0 0 0 20 0 2 0 77314660 85049344 2196 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 83056 KiB
Current children cumulated memory: 8784 KiB

[startup+3.10465 s]
/proc/loadavg: 1.06 1.48 2.38 9/257 88569
/proc/meminfo: memFree=130017392/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=83852 memory=9184 CPUtime=5.94 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 4593 0 0 0 587 7 0 0 20 0 2 0 77314660 85864448 2296 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 20963 2296 672 633 0 3889 0
[pid=88562/tid=88564] ppid=88548 vsize=83852 memory=14848 CPUtime=2.88 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 661 0 0 0 286 2 0 0 20 0 2 0 77314660 85864448 2296 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 83852 KiB
Current children cumulated memory: 9184 KiB

[startup+6.30012 s]
/proc/loadavg: 1.62 1.59 2.41 9/257 88569
/proc/meminfo: memFree=130017472/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=84304 memory=9824 CPUtime=12.13 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 6310 0 0 0 1200 13 0 0 20 0 2 0 77314660 86327296 2456 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 21076 2456 672 633 0 4002 0
[pid=88562/tid=88564] ppid=88548 vsize=84304 memory=9184 CPUtime=5.89 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 1025 0 0 0 585 4 0 0 20 0 2 0 77314660 86327296 2456 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 12.13 s
Current children cumulated vsize: 84304 KiB
Current children cumulated memory: 9824 KiB

[startup+12.7001 s]
/proc/loadavg: 2.13 1.70 2.44 9/257 88569
/proc/meminfo: memFree=130015980/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=86220 memory=10652 CPUtime=24.36 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 10199 0 0 0 2415 21 0 0 20 0 2 0 77314660 88289280 2663 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 21555 2663 672 633 0 4481 0
[pid=88562/tid=88564] ppid=88548 vsize=86220 memory=7971798523302264687 CPUtime=11.75 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 2044 0 0 0 1169 6 0 0 20 0 2 0 77314660 88289280 2663 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 24.36 s
Current children cumulated vsize: 86220 KiB
Current children cumulated memory: 10652 KiB

[startup+25.5001 s]
/proc/loadavg: 3.36 1.99 2.53 9/254 88569
/proc/meminfo: memFree=130013284/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=86804 memory=11804 CPUtime=48.53 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 12303 0 0 0 4818 35 0 0 20 0 2 0 77314660 88887296 2951 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 21701 2951 672 633 0 4627 0
[pid=88562/tid=88564] ppid=88548 vsize=86804 memory=11676 CPUtime=23.19 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 2586 0 0 0 2310 9 0 0 20 0 2 0 77314660 88887296 2951 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 48.53 s
Current children cumulated vsize: 86804 KiB
Current children cumulated memory: 11804 KiB

[startup+51.1049 s]
/proc/loadavg: 4.88 2.46 2.67 9/254 88570
/proc/meminfo: memFree=130011908/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=87404 memory=12828 CPUtime=96.51 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 16881 0 0 0 9592 59 0 0 20 0 2 0 77314660 89501696 3207 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 21851 3207 672 633 0 4777 0
[pid=88562/tid=88564] ppid=88548 vsize=87404 memory=12700 CPUtime=45.71 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 3359 0 0 0 4554 17 0 0 20 0 2 0 77314660 89501696 3207 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 96.51 s
Current children cumulated vsize: 87404 KiB
Current children cumulated memory: 12828 KiB

[startup+102.3 s]
/proc/loadavg: 6.55 3.29 2.94 9/255 88574
/proc/meminfo: memFree=130008148/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=90828 memory=14576 CPUtime=189.75 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 19676 0 0 0 18884 91 0 0 20 0 2 0 77314660 93007872 3644 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 22707 3644 672 633 0 5633 0
[pid=88562/tid=88564] ppid=88548 vsize=90828 memory=14576 CPUtime=88.02 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4286 0 0 0 8778 24 0 0 20 0 2 0 77314660 93007872 3644 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 189.75 s
Current children cumulated vsize: 90828 KiB
Current children cumulated memory: 14576 KiB

[startup+162.3 s]
/proc/loadavg: 7.23 4.07 3.23 9/256 88577
/proc/meminfo: memFree=130010068/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=91500 memory=17360 CPUtime=300.89 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 20459 0 0 0 29962 127 0 0 20 0 2 0 77314660 93696000 4340 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 22875 4340 672 633 0 5801 0
[pid=88562/tid=88564] ppid=88548 vsize=91500 memory=5632 CPUtime=139.5 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4384 0 0 0 13916 34 0 0 20 0 2 0 77314660 93696000 4340 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 300.89 s
Current children cumulated vsize: 91500 KiB
Current children cumulated memory: 17360 KiB

[startup+222.3 s]
/proc/loadavg: 7.60 4.76 3.52 8/256 88579
/proc/meminfo: memFree=130005224/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=91964 memory=17744 CPUtime=411.74 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 20867 0 0 0 41011 163 0 0 20 0 2 0 77314660 94171136 4436 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 22991 4436 672 633 0 5917 0
[pid=88562/tid=88564] ppid=88548 vsize=91964 memory=14848 CPUtime=190.69 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4417 0 0 0 19024 45 0 0 20 0 2 0 77314660 94171136 4436 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 411.74 s
Current children cumulated vsize: 91964 KiB
Current children cumulated memory: 17744 KiB

[startup+282.3 s]
/proc/loadavg: 7.72 5.32 3.80 9/256 88581
/proc/meminfo: memFree=130005544/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=92344 memory=18128 CPUtime=522.33 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 21667 0 0 0 52038 195 0 0 20 0 2 0 77314660 94560256 4532 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 23086 4532 672 633 0 6012 0
[pid=88562/tid=88564] ppid=88548 vsize=92344 memory=18000 CPUtime=241.61 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4472 0 0 0 24107 54 0 0 20 0 2 0 77314660 94560256 4532 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 522.33 s
Current children cumulated vsize: 92344 KiB
Current children cumulated memory: 18128 KiB

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

/proc/meminfo: memFree=129987048/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=100544 memory=23184 CPUtime=2591.62 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 25638 0 0 0 258472 690 0 0 20 0 2 0 77314660 102957056 5796 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25136 5796 672 633 0 8062 0
[pid=88562/tid=88564] ppid=88548 vsize=100544 memory=23056 CPUtime=1178.09 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4707 0 0 0 117618 191 0 0 20 0 2 0 77314660 102957056 5796 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 2591.62 s
Current children cumulated vsize: 100544 KiB
Current children cumulated memory: 23184 KiB

[startup+1482.3 s]
/proc/loadavg: 7.77 7.77 6.74 8/254 88637
/proc/meminfo: memFree=129986424/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=100724 memory=23312 CPUtime=2700.09 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 25664 0 0 0 269295 714 0 0 20 0 2 0 77314660 103141376 5828 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25181 5828 672 633 0 8107 0
[pid=88562/tid=88564] ppid=88548 vsize=100724 memory=14848 CPUtime=1226.99 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4707 0 0 0 122501 198 0 0 20 0 2 0 77314660 103141376 5828 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 2700.09 s
Current children cumulated vsize: 100724 KiB
Current children cumulated memory: 23312 KiB

[startup+1542.3 s]
/proc/loadavg: 7.67 7.73 6.79 9/254 88639
/proc/meminfo: memFree=129985468/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=100724 memory=23312 CPUtime=2808.53 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 25812 0 0 0 280118 735 0 0 20 0 2 0 77314660 103141376 5828 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25181 5828 672 633 0 8107 0
[pid=88562/tid=88564] ppid=88548 vsize=100724 memory=23312 CPUtime=1275.86 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4724 0 0 0 127382 204 0 0 20 0 2 0 77314660 103141376 5828 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 2808.53 s
Current children cumulated vsize: 100724 KiB
Current children cumulated memory: 23312 KiB

[startup+1602.3 s]
/proc/loadavg: 7.92 7.79 6.87 9/254 88641
/proc/meminfo: memFree=129984268/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=100724 memory=23440 CPUtime=2916.97 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 25904 0 0 0 290943 754 0 0 20 0 2 0 77314660 103141376 5860 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25181 5860 672 633 0 8107 0
[pid=88562/tid=88564] ppid=88548 vsize=100724 memory=14848 CPUtime=1324.74 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4724 0 0 0 132265 209 0 0 20 0 2 0 77314660 103141376 5860 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 2916.97 s
Current children cumulated vsize: 100724 KiB
Current children cumulated memory: 23440 KiB

[startup+1662.3 s]
/proc/loadavg: 7.71 7.75 6.92 9/254 88643
/proc/meminfo: memFree=129983616/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=100876 memory=23568 CPUtime=3025.48 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26159 0 0 0 301773 775 0 0 20 0 2 0 77314660 103297024 5892 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25219 5892 672 633 0 8145 0
[pid=88562/tid=88564] ppid=88548 vsize=100876 memory=14848 CPUtime=1373.69 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4727 0 0 0 137152 217 0 0 20 0 2 0 77314660 103297024 5892 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3025.48 s
Current children cumulated vsize: 100876 KiB
Current children cumulated memory: 23568 KiB

[startup+1722.3 s]
/proc/loadavg: 7.88 7.80 6.99 9/254 88645
/proc/meminfo: memFree=129982488/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101008 memory=23568 CPUtime=3133.93 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26231 0 0 0 312596 797 0 0 20 0 2 0 77314660 103432192 5892 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25252 5892 672 633 0 8178 0
[pid=88562/tid=88564] ppid=88548 vsize=101008 memory=14848 CPUtime=1422.61 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4753 0 0 0 142038 223 0 0 20 0 2 0 77314660 103432192 5892 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3133.93 s
Current children cumulated vsize: 101008 KiB
Current children cumulated memory: 23568 KiB

[startup+1782.3 s]
/proc/loadavg: 7.96 7.84 7.05 9/254 88647
/proc/meminfo: memFree=129982464/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101008 memory=23696 CPUtime=3242.46 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26246 0 0 0 323426 820 0 0 20 0 2 0 77314660 103432192 5924 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25252 5924 672 633 0 8178 0
[pid=88562/tid=88564] ppid=88548 vsize=101008 memory=5148 CPUtime=1471.59 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4755 0 0 0 146928 231 0 0 20 0 2 0 77314660 103432192 5924 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3242.46 s
Current children cumulated vsize: 101008 KiB
Current children cumulated memory: 23696 KiB

[startup+1842.3 s]
/proc/loadavg: 7.62 7.78 7.09 7/247 88684
/proc/meminfo: memFree=129998468/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101176 memory=23824 CPUtime=3350.93 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26294 0 0 0 334254 839 0 0 20 0 2 0 77314660 103604224 5956 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25294 5956 672 633 0 8220 0
[pid=88562/tid=88564] ppid=88548 vsize=101176 memory=23824 CPUtime=1520.54 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4756 0 0 0 151816 238 0 0 20 0 2 0 77314660 103604224 5956 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3350.93 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 23824 KiB

[startup+1902.3 s]
/proc/loadavg: 4.88 7.00 6.86 2/233 88750
/proc/meminfo: memFree=130032048/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101176 memory=23952 CPUtime=3458.99 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26308 0 0 0 345039 860 0 0 20 0 2 0 77314660 103604224 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25294 5988 672 633 0 8220 0
[pid=88562/tid=88564] ppid=88548 vsize=101176 memory=23952 CPUtime=1569 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4756 0 0 0 156658 242 0 0 20 0 2 0 77314660 103604224 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3458.99 s
Current children cumulated vsize: 101176 KiB
Current children cumulated memory: 23952 KiB

[startup+1962.3 s]
/proc/loadavg: 3.02 6.08 6.55 3/233 88752
/proc/meminfo: memFree=130032092/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101312 memory=23952 CPUtime=3567.04 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26989 0 0 0 355820 884 0 0 20 0 2 0 77314660 103743488 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25328 5988 672 633 0 8254 0
[pid=88562/tid=88564] ppid=88548 vsize=101312 memory=23952 CPUtime=1617.5 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4758 0 0 0 161498 252 0 0 20 0 2 0 77314660 103743488 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3567.04 s
Current children cumulated vsize: 101312 KiB
Current children cumulated memory: 23952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1980.7 s]
/proc/loadavg: 2.80 5.83 6.46 2/233 88752
/proc/meminfo: memFree=130032092/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101312 memory=23952 CPUtime=3600.15 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26989 0 0 0 359125 890 0 0 20 0 2 0 77314660 103743488 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25328 5988 672 633 0 8254 0
[pid=88562/tid=88564] ppid=88548 vsize=101312 memory=14848 CPUtime=1632.34 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4758 0 0 0 162980 254 0 0 20 0 2 0 77314660 103743488 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 101312 KiB
Current children cumulated memory: 23952 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.29 s, system=8.90434 s

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

[startup+1980.7 s]
/proc/loadavg: 2.80 5.83 6.46 2/233 88752
/proc/meminfo: memFree=130032092/131382112 swapFree=33002444/33010684
[pid=88562] ppid=88548 vsize=101312 memory=23952 CPUtime=3600.15 cores=0,2
/proc/88562/stat : 88562 (pb_competition_) R 88548 88562 87502 0 -1 4194304 26989 0 0 0 359125 890 0 0 20 0 2 0 77314660 103743488 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
/proc/88562/statm: 25328 5988 672 633 0 8254 0
[pid=88562/tid=88564] ppid=88548 vsize=101312 memory=14848 CPUtime=1632.34 cores=0,2
/proc/88562/task/88564/stat : 88564 (pb_competition_) R 88548 88562 87502 0 -1 4194368 4758 0 0 0 162980 254 0 0 20 0 2 0 77314660 103743488 5988 18446744073709551615 4198400 6788177 140731150226592 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 7905280 140731150231896 140731150232022 140731150232022 140731150237626 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 101312 KiB
Current children cumulated memory: 23952 KiB

Child status: 0

Real time (s): 1980.73
CPU time (s): 3600.2
CPU user time (s): 3591.29
CPU system time (s): 8.90434
CPU usage (%): 181.761
Max. virtual memory (cumulated for all children) (KiB): 101312
Max. memory (cumulated for all children) (KiB): 23952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.29
system time used= 8.90434
maximum resident set size= 27544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27072
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= 38669
involuntary context switches= 136333


# summary of solver processes directly reported to runsolver:
#   pid: 88562
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3591.29
#   total CPU system time (s): 8.90434

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.62068 second user time and 8.46311 second system time

The end