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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519972-1751557445/watcher-4519972-1751557445 -o /tmp/evaluation-result-4519972-1751557445/solver-4519972-1751557445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751555530-79332 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1255435511 HOME/instance-4519972-1751557445.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=79579, runsolver pid=79576

[startup+0.100059 s]*
/proc/loadavg: 7.72 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113883940/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=79964 memory=5504 CPUtime=0.18 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 822 0 0 0 18 0 0 0 20 0 2 0 71422358 81883136 1376 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 19991 1376 672 633 0 2855 0
[pid=79579/tid=79581] ppid=79576 vsize=79964 memory=4026531960 CPUtime=0.08 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 36 0 0 0 8 0 0 0 20 0 2 0 71422359 81883136 1376 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79964 KiB
Current children cumulated memory: 5504 KiB

[startup+0.205531 s]*
/proc/loadavg: 7.72 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113883888/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=80092 memory=5632 CPUtime=0.38 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 877 0 0 0 38 0 0 0 20 0 2 0 71422358 82014208 1408 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20023 1408 672 633 0 2887 0
[pid=79579/tid=79581] ppid=79576 vsize=80092 memory=664958721904869660 CPUtime=0.18 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 36 0 0 0 18 0 0 0 20 0 2 0 71422359 82014208 1408 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 80092 KiB
Current children cumulated memory: 5632 KiB

[startup+0.305441 s]*
/proc/loadavg: 7.72 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113883888/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=79984 memory=5632 CPUtime=0.56 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 900 0 0 0 56 0 0 0 20 0 2 0 71422358 81903616 1408 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 19996 1408 672 633 0 2860 0
[pid=79579/tid=79581] ppid=79576 vsize=79984 memory=7971238871900897391 CPUtime=0.26 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 36 0 0 0 26 0 0 0 20 0 2 0 71422359 81903616 1408 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 79984 KiB
Current children cumulated memory: 5632 KiB

[startup+0.700189 s]
/proc/loadavg: 7.72 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113883888/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=80452 memory=6144 CPUtime=1.19 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 1048 0 0 0 118 1 0 0 20 0 2 0 71422358 82382848 1536 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20113 1536 672 633 0 2977 0
[pid=79579/tid=79581] ppid=79576 vsize=80452 memory=14336 CPUtime=0.52 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 36 0 0 0 52 0 0 0 20 0 2 0 71422359 82382848 1536 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 80452 KiB
Current children cumulated memory: 6144 KiB

[startup+1.50019 s]
/proc/loadavg: 7.72 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113883888/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=81068 memory=6568 CPUtime=2.73 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 1945 0 0 0 271 2 0 0 20 0 2 0 71422358 83013632 1642 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20267 1642 672 633 0 3131 0
[pid=79579/tid=79581] ppid=79576 vsize=81068 memory=14336 CPUtime=1.26 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 247 0 0 0 126 0 0 0 20 0 2 0 71422359 83013632 1642 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 81068 KiB
Current children cumulated memory: 6568 KiB

[startup+3.10535 s]
/proc/loadavg: 7.72 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113883888/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=81220 memory=6696 CPUtime=5.91 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 2828 0 0 0 586 5 0 0 20 0 2 0 71422358 83169280 1674 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20305 1674 672 633 0 3169 0
[pid=79579/tid=79581] ppid=79576 vsize=81220 memory=6568 CPUtime=2.85 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 468 0 0 0 285 0 0 0 20 0 2 0 71422359 83169280 1674 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 5.91 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 6696 KiB

[startup+6.3002 s]
/proc/loadavg: 7.74 7.71 7.05 9/270 79581
/proc/meminfo: memFree=113884072/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82036 memory=7232 CPUtime=12.18 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 3994 0 0 0 1209 9 0 0 20 0 2 0 71422358 84004864 1808 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20509 1808 672 633 0 3373 0
[pid=79579/tid=79581] ppid=79576 vsize=82036 memory=14336 CPUtime=5.95 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 833 0 0 0 593 2 0 0 20 0 2 0 71422359 84004864 1808 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 12.18 s
Current children cumulated vsize: 82036 KiB
Current children cumulated memory: 7232 KiB

[startup+12.7002 s]
/proc/loadavg: 7.84 7.73 7.06 8/268 79581
/proc/meminfo: memFree=113884128/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82516 memory=7616 CPUtime=24.29 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 4160 0 0 0 2414 15 0 0 20 0 2 0 71422358 84496384 1904 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20629 1904 672 633 0 3493 0
[pid=79579/tid=79581] ppid=79576 vsize=82516 memory=7616 CPUtime=11.7 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 833 0 0 0 1167 3 0 0 20 0 2 0 71422359 84496384 1904 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 24.29 s
Current children cumulated vsize: 82516 KiB
Current children cumulated memory: 7616 KiB

[startup+25.5002 s]
/proc/loadavg: 7.88 7.75 7.08 9/268 79581
/proc/meminfo: memFree=113883876/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82648 memory=8128 CPUtime=49.15 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 5349 0 0 0 4884 31 0 0 20 0 2 0 71422358 84631552 2032 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20662 2032 672 633 0 3526 0
[pid=79579/tid=79581] ppid=79576 vsize=82648 memory=8128 CPUtime=23.85 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 1358 0 0 0 2378 7 0 0 20 0 2 0 71422359 84631552 2032 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 49.15 s
Current children cumulated vsize: 82648 KiB
Current children cumulated memory: 8128 KiB

[startup+51.1053 s]
/proc/loadavg: 7.99 7.79 7.11 9/268 79582
/proc/meminfo: memFree=113883404/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82840 memory=8256 CPUtime=98.39 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 8713 0 0 0 9781 58 0 0 20 0 2 0 71422358 84828160 2064 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20710 2064 672 633 0 3574 0
[pid=79579/tid=79581] ppid=79576 vsize=82840 memory=14336 CPUtime=47.7 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 1960 0 0 0 4756 14 0 0 20 0 2 0 71422359 84828160 2064 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 98.39 s
Current children cumulated vsize: 82840 KiB
Current children cumulated memory: 8256 KiB

[startup+102.3 s]
/proc/loadavg: 7.75 7.74 7.13 9/268 79629
/proc/meminfo: memFree=113868380/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=197.17 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 9673 0 0 0 19610 107 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=95.56 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 2079 0 0 0 9528 28 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 197.17 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+162.3 s]
/proc/loadavg: 7.74 7.75 7.17 9/269 79683
/proc/meminfo: memFree=113757012/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=312.81 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 10034 0 0 0 31112 169 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=151.57 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 2252 0 0 0 15111 46 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 312.81 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+222.3 s]
/proc/loadavg: 7.48 7.68 7.19 7/269 79684
/proc/meminfo: memFree=113695336/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=428.41 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 11810 0 0 0 42614 227 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=3200 CPUtime=207.55 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 2927 0 0 0 20694 61 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 428.41 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+282.3 s]
/proc/loadavg: 7.56 7.67 7.21 9/270 79689
/proc/meminfo: memFree=113698512/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=544.06 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 13583 0 0 0 54119 287 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=263.58 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 3225 0 0 0 26281 77 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 544.06 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

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

/proc/meminfo: memFree=113743724/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=2510.68 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 15735 0 0 0 249762 1306 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=1216.65 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 3706 0 0 0 121338 327 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 2510.68 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1362.3 s]
/proc/loadavg: 7.55 7.76 7.60 9/267 79752
/proc/meminfo: memFree=113743640/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=2626.41 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 16141 0 0 0 261272 1369 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=14156 CPUtime=1272.74 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 3859 0 0 0 126932 342 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 2626.41 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1422.3 s]
/proc/loadavg: 7.52 7.71 7.60 9/267 79754
/proc/meminfo: memFree=113743332/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=2742.14 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 16141 0 0 0 272787 1427 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=14156 CPUtime=1328.85 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 3859 0 0 0 132528 357 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 2742.14 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1482.3 s]
/proc/loadavg: 7.62 7.70 7.60 7/268 79759
/proc/meminfo: memFree=113743484/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=2857.81 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 16535 0 0 0 284293 1488 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=14156 CPUtime=1384.92 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4011 0 0 0 138121 371 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 2857.81 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1542.3 s]
/proc/loadavg: 7.28 7.59 7.57 8/268 79761
/proc/meminfo: memFree=113743588/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=2973.39 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 16544 0 0 0 295793 1546 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=1440.95 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4012 0 0 0 143710 385 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1602.3 s]
/proc/loadavg: 7.66 7.62 7.58 9/268 79763
/proc/meminfo: memFree=113744636/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3089 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 16545 0 0 0 307293 1607 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=14156 CPUtime=1496.96 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4012 0 0 0 149296 400 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3089 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1662.3 s]
/proc/loadavg: 7.77 7.66 7.60 9/267 79765
/proc/meminfo: memFree=113743552/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3204.73 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 16950 0 0 0 318807 1666 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=14156 CPUtime=1553.06 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4187 0 0 0 154891 415 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3204.73 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1722.3 s]
/proc/loadavg: 7.72 7.67 7.60 9/267 79767
/proc/meminfo: memFree=113743680/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3320.47 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 17354 0 0 0 330322 1725 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=14156 CPUtime=1609.18 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4364 0 0 0 160488 430 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3320.47 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1782.3 s]
/proc/loadavg: 7.78 7.70 7.62 9/267 79769
/proc/meminfo: memFree=113743828/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3436.19 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 17759 0 0 0 341841 1778 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=1665.27 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4528 0 0 0 166085 442 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3436.19 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

[startup+1842.3 s]
/proc/loadavg: 7.78 7.71 7.63 9/266 79771
/proc/meminfo: memFree=113743980/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3551.94 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 17759 0 0 0 353356 1838 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=1721.4 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4528 0 0 0 171681 459 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3551.94 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1867.3 s]
/proc/loadavg: 7.64 7.68 7.62 9/268 79819
/proc/meminfo: memFree=113687260/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3600.05 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 17759 0 0 0 358138 1867 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=1744.72 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4528 0 0 0 174005 467 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.4 s, system=18.672 s

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

[startup+1867.3 s]
/proc/loadavg: 7.64 7.68 7.62 9/268 79819
/proc/meminfo: memFree=113687260/131249996 swapFree=33004236/33010684
[pid=79579] ppid=79576 vsize=82972 memory=8512 CPUtime=3600.05 cores=4,6
/proc/79579/stat : 79579 (pb_competition_) R 79576 79579 79297 0 -1 4194304 17759 0 0 0 358138 1867 0 0 20 0 2 0 71422358 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
/proc/79579/statm: 20743 2128 672 633 0 3607 0
[pid=79579/tid=79581] ppid=79576 vsize=82972 memory=8512 CPUtime=1744.72 cores=4,6
/proc/79579/task/79581/stat : 79581 (pb_competition_) R 79576 79579 79297 0 -1 4194368 4528 0 0 0 174005 467 0 0 20 0 2 0 71422359 84963328 2128 18446744073709551615 4198400 6788177 140727828913328 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 18513920 140727828916569 140727828916696 140727828916696 140727828922298 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 82972 KiB
Current children cumulated memory: 8512 KiB

Child status: 0

Real time (s): 1867.31
CPU time (s): 3600.07
CPU user time (s): 3581.4
CPU system time (s): 18.672
CPU usage (%): 192.794
Max. virtual memory (cumulated for all children) (KiB): 82972
Max. memory (cumulated for all children) (KiB): 8512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.4
system time used= 18.672
maximum resident set size= 8512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17826
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= 80382
involuntary context switches= 65314


# summary of solver processes directly reported to runsolver:
#   pid: 79579
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3581.4
#   total CPU system time (s): 18.672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.22679 second user time and 7.30943 second system time

The end