runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62809 MiB free)
  memory of node 1: 64507 MiB (59533 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509560-1751517356/watcher-4509560-1751517356 -o /tmp/evaluation-result-4509560-1751517356/solver-4509560-1751517356 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751508182-75884 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 220943066 HOME/instance-4509560-1751517356.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=77042, runsolver pid=77039

[startup+0.10006 s]*
/proc/loadavg: 6.54 6.53 6.26 8/268 77044
/proc/meminfo: memFree=125263028/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87364 memory=13248 CPUtime=0.17 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 2833 0 0 0 17 0 0 0 20 0 2 0 67413322 89460736 3312 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21841 3312 672 633 0 4810 0
[pid=77042/tid=77044] ppid=77039 vsize=87364 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 141 0 0 0 7 0 0 0 20 0 2 0 67413322 89460736 3312 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 87364 KiB
Current children cumulated memory: 13248 KiB

[startup+0.205639 s]*
/proc/loadavg: 6.54 6.53 6.26 8/268 77044
/proc/meminfo: memFree=125263028/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87428 memory=13428 CPUtime=0.38 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 3024 0 0 0 38 0 0 0 20 0 2 0 67413322 89526272 3357 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21857 3357 672 633 0 4826 0
[pid=77042/tid=77044] ppid=77039 vsize=87428 memory=664958721904869660 CPUtime=0.17 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 141 0 0 0 17 0 0 0 20 0 2 0 67413322 89526272 3357 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 87428 KiB
Current children cumulated memory: 13428 KiB

[startup+0.305424 s]*
/proc/loadavg: 6.54 6.53 6.26 8/268 77044
/proc/meminfo: memFree=125263028/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87428 memory=13556 CPUtime=0.56 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 3072 0 0 0 56 0 0 0 20 0 2 0 67413322 89526272 3389 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21857 3389 672 633 0 4826 0
[pid=77042/tid=77044] ppid=77039 vsize=87428 memory=7972078877275667818 CPUtime=0.26 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) S 77039 77042 75873 0 -1 4194368 141 0 0 0 26 0 0 0 20 0 2 0 67413322 89526272 3389 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 87428 KiB
Current children cumulated memory: 13556 KiB

[startup+0.700188 s]
/proc/loadavg: 6.54 6.53 6.26 8/268 77044
/proc/meminfo: memFree=125263028/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87568 memory=13556 CPUtime=1.31 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 3098 0 0 0 131 0 0 0 20 0 2 0 67413322 89669632 3389 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21892 3389 672 633 0 4861 0
[pid=77042/tid=77044] ppid=77039 vsize=87568 memory=18688 CPUtime=0.64 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 141 0 0 0 64 0 0 0 20 0 2 0 67413322 89669632 3389 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 87568 KiB
Current children cumulated memory: 13556 KiB

[startup+1.50018 s]
/proc/loadavg: 6.54 6.53 6.26 8/268 77044
/proc/meminfo: memFree=125263280/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87472 memory=13428 CPUtime=2.9 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 5222 0 0 0 289 1 0 0 20 0 2 0 67413322 89571328 3357 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21868 3357 672 633 0 4837 0
[pid=77042/tid=77044] ppid=77039 vsize=87472 memory=18688 CPUtime=1.44 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 194 0 0 0 144 0 0 0 20 0 2 0 67413322 89571328 3357 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 87472 KiB
Current children cumulated memory: 13428 KiB

[startup+3.10542 s]
/proc/loadavg: 6.58 6.54 6.26 8/268 77044
/proc/meminfo: memFree=125263540/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87184 memory=13340 CPUtime=6.08 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 6949 0 0 0 606 2 0 0 20 0 2 0 67413322 89276416 3335 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21796 3335 672 633 0 4765 0
[pid=77042/tid=77044] ppid=77039 vsize=87184 memory=13428 CPUtime=3.02 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 215 0 0 0 302 0 0 0 20 0 2 0 67413322 89276416 3335 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 6.08 s
Current children cumulated vsize: 87184 KiB
Current children cumulated memory: 13340 KiB

[startup+6.30018 s]
/proc/loadavg: 6.58 6.54 6.26 8/268 77044
/proc/meminfo: memFree=125263556/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87496 memory=13504 CPUtime=12.42 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 9020 0 0 0 1238 4 0 0 20 0 2 0 67413322 89595904 3376 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21874 3376 672 633 0 4843 0
[pid=77042/tid=77044] ppid=77039 vsize=87496 memory=18688 CPUtime=6.2 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 834 0 0 0 619 1 0 0 20 0 2 0 67413322 89595904 3376 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 12.42 s
Current children cumulated vsize: 87496 KiB
Current children cumulated memory: 13504 KiB

[startup+12.7002 s]
/proc/loadavg: 6.64 6.55 6.27 8/268 77044
/proc/meminfo: memFree=125264060/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87516 memory=13548 CPUtime=25.1 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 11031 0 0 0 2501 9 0 0 20 0 2 0 67413322 89616384 3387 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21879 3387 672 633 0 4848 0
[pid=77042/tid=77044] ppid=77039 vsize=87516 memory=13548 CPUtime=12.54 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 1658 0 0 0 1252 2 0 0 20 0 2 0 67413322 89616384 3387 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 25.1 s
Current children cumulated vsize: 87516 KiB
Current children cumulated memory: 13548 KiB

[startup+25.5002 s]
/proc/loadavg: 6.70 6.57 6.28 8/268 77044
/proc/meminfo: memFree=125264824/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87492 memory=13516 CPUtime=50.51 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 15146 0 0 0 5032 19 0 0 20 0 2 0 67413322 89591808 3379 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21873 3379 672 633 0 4842 0
[pid=77042/tid=77044] ppid=77039 vsize=87492 memory=13316 CPUtime=25.25 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 3288 0 0 0 2519 6 0 0 20 0 2 0 67413322 89591808 3379 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 50.51 s
Current children cumulated vsize: 87492 KiB
Current children cumulated memory: 13516 KiB

[startup+51.1054 s]
/proc/loadavg: 6.87 6.62 6.30 8/268 77044
/proc/meminfo: memFree=125265312/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87572 memory=13444 CPUtime=101.34 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 16252 0 0 0 10097 37 0 0 20 0 2 0 67413322 89673728 3361 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21893 3361 672 633 0 4862 0
[pid=77042/tid=77044] ppid=77039 vsize=87572 memory=18688 CPUtime=50.65 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 3347 0 0 0 5054 11 0 0 20 0 2 0 67413322 89673728 3361 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 101.34 s
Current children cumulated vsize: 87572 KiB
Current children cumulated memory: 13444 KiB

[startup+102.3 s]
/proc/loadavg: 6.95 6.69 6.35 8/268 77046
/proc/meminfo: memFree=125269532/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87520 memory=13404 CPUtime=202.99 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 20158 0 0 0 20227 72 0 0 20 0 2 0 67413322 89620480 3351 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21880 3351 672 633 0 4849 0
[pid=77042/tid=77044] ppid=77039 vsize=87520 memory=18688 CPUtime=101.45 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 4215 0 0 0 10123 22 0 0 20 0 2 0 67413322 89620480 3351 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 202.99 s
Current children cumulated vsize: 87520 KiB
Current children cumulated memory: 13404 KiB

[startup+162.3 s]
/proc/loadavg: 7.03 6.76 6.40 8/268 77053
/proc/meminfo: memFree=125270252/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87512 memory=13404 CPUtime=322.12 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 23352 0 0 0 32102 110 0 0 20 0 2 0 67413322 89612288 3351 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21878 3351 672 633 0 4847 0
[pid=77042/tid=77044] ppid=77039 vsize=87512 memory=5760 CPUtime=161.01 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5120 0 0 0 16068 33 0 0 20 0 2 0 67413322 89612288 3351 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 322.12 s
Current children cumulated vsize: 87512 KiB
Current children cumulated memory: 13404 KiB

[startup+222.3 s]
/proc/loadavg: 7.10 6.84 6.45 8/268 77058
/proc/meminfo: memFree=125261000/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87524 memory=13404 CPUtime=441.25 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 28151 0 0 0 43975 150 0 0 20 0 2 0 67413322 89624576 3351 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21881 3351 672 633 0 4850 0
[pid=77042/tid=77044] ppid=77039 vsize=87524 memory=18688 CPUtime=220.58 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5353 0 0 0 22010 48 0 0 20 0 2 0 67413322 89624576 3351 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 441.25 s
Current children cumulated vsize: 87524 KiB
Current children cumulated memory: 13404 KiB

[startup+282.3 s]
/proc/loadavg: 7.14 6.90 6.49 8/269 77062
/proc/meminfo: memFree=125255288/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87560 memory=13664 CPUtime=560.35 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 30961 0 0 0 55848 187 0 0 20 0 2 0 67413322 89661440 3416 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21890 3416 672 633 0 4859 0
[pid=77042/tid=77044] ppid=77039 vsize=87560 memory=13536 CPUtime=280.13 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5357 0 0 0 27953 60 0 0 20 0 2 0 67413322 89661440 3416 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 560.35 s
Current children cumulated vsize: 87560 KiB
Current children cumulated memory: 13664 KiB

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

/proc/meminfo: memFree=126081444/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87464 memory=13576 CPUtime=2346.99 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 54990 0 0 0 233963 736 0 0 20 0 2 0 67413322 89563136 3394 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21866 3394 672 633 0 4835 0
[pid=77042/tid=77044] ppid=77039 vsize=87464 memory=18688 CPUtime=1173.8 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5832 0 0 0 117127 253 0 0 20 0 2 0 67413322 89563136 3394 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2346.99 s
Current children cumulated vsize: 87464 KiB
Current children cumulated memory: 13576 KiB

[startup+1242.3 s]
/proc/loadavg: 7.21 7.47 7.20 8/267 77194
/proc/meminfo: memFree=126081604/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87604 memory=13536 CPUtime=2466.08 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 55851 0 0 0 245835 773 0 0 20 0 2 0 67413322 89706496 3384 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21901 3384 672 633 0 4870 0
[pid=77042/tid=77044] ppid=77039 vsize=87604 memory=13528 CPUtime=1233.37 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5832 0 0 0 123070 267 0 0 20 0 2 0 67413322 89706496 3384 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2466.08 s
Current children cumulated vsize: 87604 KiB
Current children cumulated memory: 13536 KiB

[startup+1302.3 s]
/proc/loadavg: 7.56 7.54 7.24 9/267 77196
/proc/meminfo: memFree=126080980/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87584 memory=13628 CPUtime=2585.22 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 57433 0 0 0 257710 812 0 0 20 0 2 0 67413322 89686016 3407 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21896 3407 672 633 0 4865 0
[pid=77042/tid=77044] ppid=77039 vsize=87584 memory=13500 CPUtime=1292.96 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5847 0 0 0 129014 282 0 0 20 0 2 0 67413322 89686016 3407 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2585.22 s
Current children cumulated vsize: 87584 KiB
Current children cumulated memory: 13628 KiB

[startup+1362.3 s]
/proc/loadavg: 7.81 7.58 7.27 9/268 77203
/proc/meminfo: memFree=126081296/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87472 memory=13488 CPUtime=2704.32 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 59090 0 0 0 269581 851 0 0 20 0 2 0 67413322 89571328 3372 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21868 3372 672 633 0 4837 0
[pid=77042/tid=77044] ppid=77039 vsize=87472 memory=13580 CPUtime=1352.5 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5847 0 0 0 134954 296 0 0 20 0 2 0 67413322 89571328 3372 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2704.32 s
Current children cumulated vsize: 87472 KiB
Current children cumulated memory: 13488 KiB

[startup+1422.3 s]
/proc/loadavg: 7.59 7.57 7.28 8/268 77207
/proc/meminfo: memFree=126080812/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87600 memory=13612 CPUtime=2823.42 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 60549 0 0 0 281457 885 0 0 20 0 2 0 67413322 89702400 3403 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21900 3403 672 633 0 4869 0
[pid=77042/tid=77044] ppid=77039 vsize=87600 memory=13616 CPUtime=1412.07 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5875 0 0 0 140901 306 0 0 20 0 2 0 67413322 89702400 3403 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2823.42 s
Current children cumulated vsize: 87600 KiB
Current children cumulated memory: 13612 KiB

[startup+1482.3 s]
/proc/loadavg: 7.78 7.63 7.32 9/268 77209
/proc/meminfo: memFree=126080724/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87608 memory=13724 CPUtime=2942.52 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 61256 0 0 0 293327 925 0 0 20 0 2 0 67413322 89710592 3431 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21902 3431 672 633 0 4871 0
[pid=77042/tid=77044] ppid=77039 vsize=87608 memory=13612 CPUtime=1471.64 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5875 0 0 0 146844 320 0 0 20 0 2 0 67413322 89710592 3431 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 2942.52 s
Current children cumulated vsize: 87608 KiB
Current children cumulated memory: 13724 KiB

[startup+1542.3 s]
/proc/loadavg: 6.66 7.33 7.24 6/261 77252
/proc/meminfo: memFree=126107240/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87220 memory=13268 CPUtime=3061.52 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 63218 0 0 0 305191 961 0 0 20 0 2 0 67413322 89313280 3317 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21805 3317 672 633 0 4774 0
[pid=77042/tid=77044] ppid=77039 vsize=87220 memory=13448 CPUtime=1531.13 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5875 0 0 0 152781 332 0 0 20 0 2 0 67413322 89313280 3317 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 3061.52 s
Current children cumulated vsize: 87220 KiB
Current children cumulated memory: 13268 KiB

[startup+1602.3 s]
/proc/loadavg: 5.05 6.76 7.05 5/253 77285
/proc/meminfo: memFree=126141036/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87616 memory=13708 CPUtime=3180.65 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 64431 0 0 0 317067 998 0 0 20 0 2 0 67413322 89718784 3427 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21904 3427 672 633 0 4873 0
[pid=77042/tid=77044] ppid=77039 vsize=87616 memory=14824 CPUtime=1590.68 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5990 0 0 0 158724 344 0 0 20 0 2 0 67413322 89718784 3427 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 3180.65 s
Current children cumulated vsize: 87616 KiB
Current children cumulated memory: 13708 KiB

[startup+1662.3 s]
/proc/loadavg: 4.34 6.24 6.85 5/253 77287
/proc/meminfo: memFree=126140120/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87612 memory=13564 CPUtime=3299.87 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 65107 0 0 0 328950 1037 0 0 20 0 2 0 67413322 89714688 3391 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21903 3391 672 633 0 4872 0
[pid=77042/tid=77044] ppid=77039 vsize=87612 memory=13264 CPUtime=1650.27 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 5990 0 0 0 164671 356 0 0 20 0 2 0 67413322 89714688 3391 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 3299.87 s
Current children cumulated vsize: 87612 KiB
Current children cumulated memory: 13564 KiB

[startup+1722.3 s]
/proc/loadavg: 3.86 5.80 6.66 5/254 77290
/proc/meminfo: memFree=126139688/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87608 memory=13712 CPUtime=3419.07 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 66528 0 0 0 340834 1073 0 0 20 0 2 0 67413322 89710592 3428 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21902 3428 672 633 0 4871 0
[pid=77042/tid=77044] ppid=77039 vsize=87608 memory=13264 CPUtime=1709.87 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 6060 0 0 0 170619 368 0 0 20 0 2 0 67413322 89710592 3428 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 3419.07 s
Current children cumulated vsize: 87608 KiB
Current children cumulated memory: 13712 KiB

[startup+1782.3 s]
/proc/loadavg: 3.91 5.45 6.49 4/254 77292
/proc/meminfo: memFree=126139488/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87384 memory=13300 CPUtime=3538.28 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 67039 0 0 0 352721 1107 0 0 20 0 2 0 67413322 89481216 3325 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21846 3325 672 633 0 4815 0
[pid=77042/tid=77044] ppid=77039 vsize=87384 memory=14824 CPUtime=1769.5 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 6060 0 0 0 176570 380 0 0 20 0 2 0 67413322 89481216 3325 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 3538.28 s
Current children cumulated vsize: 87384 KiB
Current children cumulated memory: 13300 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.4 s]
/proc/loadavg: 3.97 5.29 6.39 5/254 77293
/proc/meminfo: memFree=126139544/131249996 swapFree=33010672/33010684
[pid=77042] ppid=77039 vsize=87620 memory=13716 CPUtime=3600.07 cores=4,6
/proc/77042/stat : 77042 (pb_competition_) R 77039 77042 75873 0 -1 4194304 67757 0 0 0 358884 1123 0 0 20 0 2 0 67413322 89722880 3429 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
/proc/77042/statm: 21905 3429 672 633 0 4874 0
[pid=77042/tid=77044] ppid=77039 vsize=87620 memory=6724 CPUtime=1800.37 cores=4,6
/proc/77042/task/77044/stat : 77044 (pb_competition_) R 77039 77042 75873 0 -1 4194368 6060 0 0 0 179652 385 0 0 20 0 2 0 67413322 89722880 3429 18446744073709551615 4198400 6788177 140736228071472 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28823552 140736228079962 140736228080088 140736228080088 140736228085690 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 87620 KiB
Current children cumulated memory: 13716 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.86 s, system=11.2344 s

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

Child status: 0

Real time (s): 1813.41
CPU time (s): 3600.1
CPU user time (s): 3588.86
CPU system time (s): 11.2344
CPU usage (%): 198.526
Max. virtual memory (cumulated for all children) (KiB): 87820
Max. memory (cumulated for all children) (KiB): 13784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.86
system time used= 11.2344
maximum resident set size= 13784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67973
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= 4530
involuntary context switches= 37784


# summary of solver processes directly reported to runsolver:
#   pid: 77042
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3588.86
#   total CPU system time (s): 11.2344

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6683 second user time and 7.4195 second system time

The end