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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519788-1751555530/watcher-4519788-1751555530 -o /tmp/evaluation-result-4519788-1751555530/solver-4519788-1751555530 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751555530-79331 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 221876930 HOME/instance-4519788-1751555530.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100057 s]*
/proc/loadavg: 0.39 1.70 2.82 8/270 79395
/proc/meminfo: memFree=113889736/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=83908 memory=9728 CPUtime=0.17 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) S 79372 79376 79297 0 -1 4194304 2000 0 0 0 17 0 0 0 20 0 2 0 71230925 85921792 2432 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 20977 2432 672 633 0 3899 0
[pid=79376/tid=79378] ppid=79372 vsize=83908 memory=4026532124 CPUtime=0.08 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 94 0 0 0 8 0 0 0 20 0 2 0 71230925 85921792 2432 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 83908 KiB
Current children cumulated memory: 9728 KiB

[startup+0.205759 s]*
/proc/loadavg: 0.39 1.70 2.82 8/270 79395
/proc/meminfo: memFree=113873704/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=84124 memory=9856 CPUtime=0.37 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 2055 0 0 0 37 0 0 0 20 0 2 0 71230925 86142976 2464 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21031 2464 672 633 0 3953 0
[pid=79376/tid=79378] ppid=79372 vsize=84124 memory=5983648042466672924 CPUtime=0.18 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 94 0 0 0 18 0 0 0 20 0 2 0 71230925 86142976 2464 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 84124 KiB
Current children cumulated memory: 9856 KiB

[startup+0.305492 s]*
/proc/loadavg: 0.39 1.70 2.82 9/270 79395
/proc/meminfo: memFree=113873704/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=84140 memory=9984 CPUtime=0.56 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 2171 0 0 0 56 0 0 0 20 0 2 0 71230925 86159360 2496 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21035 2496 672 633 0 3957 0
[pid=79376/tid=79378] ppid=79372 vsize=84140 memory=7969551112961933933 CPUtime=0.27 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 94 0 0 0 27 0 0 0 20 0 2 0 71230925 86159360 2496 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 84140 KiB
Current children cumulated memory: 9984 KiB

[startup+0.700163 s]
/proc/loadavg: 0.39 1.70 2.82 9/270 79395
/proc/meminfo: memFree=113873960/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=84380 memory=10112 CPUtime=1.33 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 2335 0 0 0 132 1 0 0 20 0 2 0 71230925 86405120 2528 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21095 2528 672 633 0 4017 0
[pid=79376/tid=79378] ppid=79372 vsize=84380 memory=14336 CPUtime=0.65 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 94 0 0 0 65 0 0 0 20 0 2 0 71230925 86405120 2528 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 84380 KiB
Current children cumulated memory: 10112 KiB

[startup+1.50016 s]
/proc/loadavg: 0.39 1.70 2.82 9/270 79395
/proc/meminfo: memFree=113873208/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=84680 memory=10240 CPUtime=2.91 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 3711 0 0 0 289 2 0 0 20 0 2 0 71230925 86712320 2560 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21170 2560 672 633 0 4092 0
[pid=79376/tid=79378] ppid=79372 vsize=84680 memory=14336 CPUtime=1.44 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 150 0 0 0 144 0 0 0 20 0 2 0 71230925 86712320 2560 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 84680 KiB
Current children cumulated memory: 10240 KiB

[startup+3.10537 s]
/proc/loadavg: 0.39 1.70 2.82 9/270 79395
/proc/meminfo: memFree=113873396/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=85140 memory=10784 CPUtime=5.95 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 5214 0 0 0 592 3 0 0 20 0 2 0 71230925 87183360 2696 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21285 2696 672 633 0 4207 0
[pid=79376/tid=79378] ppid=79372 vsize=85140 memory=10368 CPUtime=2.89 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 446 0 0 0 289 0 0 0 20 0 2 0 71230925 87183360 2696 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 85140 KiB
Current children cumulated memory: 10784 KiB

[startup+6.30016 s]
/proc/loadavg: 0.92 1.78 2.85 7/270 79395
/proc/meminfo: memFree=113871700/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=85436 memory=11284 CPUtime=12.24 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 6711 0 0 0 1219 5 0 0 20 0 2 0 71230925 87486464 2821 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21359 2821 672 633 0 4281 0
[pid=79376/tid=79378] ppid=79372 vsize=85436 memory=7970112963403923565 CPUtime=6.01 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 954 0 0 0 601 0 0 0 20 0 2 0 71230925 87486464 2821 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 12.24 s
Current children cumulated vsize: 85436 KiB
Current children cumulated memory: 11284 KiB

[startup+12.7002 s]
/proc/loadavg: 1.41 1.87 2.87 8/270 79395
/proc/meminfo: memFree=113870952/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=86684 memory=12016 CPUtime=24.14 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 8854 0 0 0 2405 9 0 0 20 0 2 0 71230925 88764416 3004 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 21671 3004 672 633 0 4593 0
[pid=79376/tid=79378] ppid=79372 vsize=86684 memory=12016 CPUtime=11.56 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 1590 0 0 0 1155 1 0 0 20 0 2 0 71230925 88764416 3004 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 24.14 s
Current children cumulated vsize: 86684 KiB
Current children cumulated memory: 12016 KiB

[startup+25.5002 s]
/proc/loadavg: 2.79 2.16 2.95 8/270 79395
/proc/meminfo: memFree=113868228/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=88720 memory=13484 CPUtime=48.27 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 13249 0 0 0 4811 16 0 0 20 0 2 0 71230925 90849280 3371 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 22180 3371 672 633 0 5102 0
[pid=79376/tid=79378] ppid=79372 vsize=88720 memory=13100 CPUtime=23 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 3166 0 0 0 2297 3 0 0 20 0 2 0 71230925 90849280 3371 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 48.27 s
Current children cumulated vsize: 88720 KiB
Current children cumulated memory: 13484 KiB

[startup+51.1056 s]
/proc/loadavg: 4.31 2.56 3.06 8/271 79397
/proc/meminfo: memFree=113867320/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=89808 memory=15148 CPUtime=95.4 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 16408 0 0 0 9511 29 0 0 20 0 2 0 71230925 91963392 3787 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 22452 3787 672 633 0 5374 0
[pid=79376/tid=79378] ppid=79372 vsize=89808 memory=15148 CPUtime=44.76 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 3682 0 0 0 4469 7 0 0 20 0 2 0 71230925 91963392 3787 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 95.4 s
Current children cumulated vsize: 89808 KiB
Current children cumulated memory: 15148 KiB

[startup+102.3 s]
/proc/loadavg: 6.28 3.37 3.31 8/271 79398
/proc/meminfo: memFree=113860792/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=93412 memory=18708 CPUtime=192.56 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 19084 0 0 0 19201 55 0 0 20 0 2 0 71230925 95653888 4677 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23353 4677 672 633 0 6275 0
[pid=79376/tid=79378] ppid=79372 vsize=93412 memory=0 CPUtime=91.17 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) S 79372 79376 79297 0 -1 4194368 4007 0 0 0 9101 16 0 0 20 0 2 0 71230925 95653888 4677 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 192.56 s
Current children cumulated vsize: 93412 KiB
Current children cumulated memory: 18708 KiB

[startup+162.3 s]
/proc/loadavg: 7.09 4.12 3.57 9/271 79400
/proc/meminfo: memFree=113810380/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94012 memory=19220 CPUtime=305.33 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 20895 0 0 0 30451 82 0 0 20 0 2 0 71230925 96268288 4805 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23503 4805 672 633 0 6425 0
[pid=79376/tid=79378] ppid=79372 vsize=94012 memory=19220 CPUtime=144.48 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 4249 0 0 0 14423 25 0 0 20 0 2 0 71230925 96268288 4805 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 305.33 s
Current children cumulated vsize: 94012 KiB
Current children cumulated memory: 19220 KiB

[startup+222.3 s]
/proc/loadavg: 7.47 4.78 3.84 8/270 79406
/proc/meminfo: memFree=113831816/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94300 memory=19476 CPUtime=418.77 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 21893 0 0 0 41778 99 0 0 20 0 2 0 71230925 96563200 4869 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23575 4869 672 633 0 6497 0
[pid=79376/tid=79378] ppid=79372 vsize=94300 memory=14156 CPUtime=198.37 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 4474 0 0 0 19806 31 0 0 20 0 2 0 71230925 96563200 4869 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 418.77 s
Current children cumulated vsize: 94300 KiB
Current children cumulated memory: 19476 KiB

[startup+282.3 s]
/proc/loadavg: 7.18 5.18 4.04 8/269 79409
/proc/meminfo: memFree=113833616/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94560 memory=19732 CPUtime=533.06 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 22899 0 0 0 53193 113 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23640 4933 672 633 0 6562 0
[pid=79376/tid=79378] ppid=79372 vsize=94560 memory=19732 CPUtime=253.17 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 4738 0 0 0 25282 35 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 533.06 s
Current children cumulated vsize: 94560 KiB

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

/proc/meminfo: memFree=113842132/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94560 memory=19732 CPUtime=2581.83 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 36286 0 0 0 257726 457 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23640 4933 672 633 0 6562 0
[pid=79376/tid=79378] ppid=79372 vsize=94560 memory=14156 CPUtime=1171.47 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6661 0 0 0 117016 131 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 2581.83 s
Current children cumulated vsize: 94560 KiB
Current children cumulated memory: 19732 KiB

[startup+1482.3 s]
/proc/loadavg: 7.90 7.72 6.64 8/267 79468
/proc/meminfo: memFree=113841996/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94560 memory=19732 CPUtime=2692.93 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 36298 0 0 0 268809 484 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23640 4933 672 633 0 6562 0
[pid=79376/tid=79378] ppid=79372 vsize=94560 memory=19732 CPUtime=1223.12 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6662 0 0 0 122173 139 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 2692.93 s
Current children cumulated vsize: 94560 KiB
Current children cumulated memory: 19732 KiB

[startup+1542.3 s]
/proc/loadavg: 7.90 7.75 6.72 9/268 79473
/proc/meminfo: memFree=113842604/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94560 memory=19732 CPUtime=2804.07 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 36298 0 0 0 279900 507 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23640 4933 672 633 0 6562 0
[pid=79376/tid=79378] ppid=79372 vsize=94560 memory=19732 CPUtime=1274.84 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6662 0 0 0 127338 146 0 0 20 0 2 0 71230925 96829440 4933 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 2804.07 s
Current children cumulated vsize: 94560 KiB
Current children cumulated memory: 19732 KiB

[startup+1602.3 s]
/proc/loadavg: 7.71 7.72 6.78 9/268 79475
/proc/meminfo: memFree=113837900/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=2915.02 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 37371 0 0 0 290971 531 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1326.34 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6834 0 0 0 132483 151 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 2915.02 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

[startup+1662.3 s]
/proc/loadavg: 7.62 7.70 6.83 6/269 79479
/proc/meminfo: memFree=113830624/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3025.78 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 38400 0 0 0 302019 559 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1377.67 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6861 0 0 0 137608 159 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3025.78 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

[startup+1722.3 s]
/proc/loadavg: 7.48 7.63 6.86 8/270 79482
/proc/meminfo: memFree=113834484/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3136.35 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 38401 0 0 0 313047 588 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1428.79 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6861 0 0 0 142711 168 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3136.35 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

[startup+1782.3 s]
/proc/loadavg: 7.76 7.69 6.93 9/270 79484
/proc/meminfo: memFree=113837704/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3247.74 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 38403 0 0 0 324164 610 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=14156 CPUtime=1480.73 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 6862 0 0 0 147900 173 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3247.74 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

[startup+1842.3 s]
/proc/loadavg: 7.65 7.68 6.98 8/269 79486
/proc/meminfo: memFree=113837280/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3360.37 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 38982 0 0 0 335406 631 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1533.86 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 7120 0 0 0 153207 179 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3360.37 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

[startup+1902.3 s]
/proc/loadavg: 7.74 7.71 7.04 8/270 79489
/proc/meminfo: memFree=113837348/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3474.33 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 39560 0 0 0 346789 644 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1588.28 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 7362 0 0 0 158645 183 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3474.33 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

[startup+1962.3 s]
/proc/loadavg: 7.99 7.78 7.11 9/268 79582
/proc/meminfo: memFree=113883404/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3587.37 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 39561 0 0 0 358067 670 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1641.79 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) S 79372 79376 79297 0 -1 4194368 7362 0 0 0 163988 191 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3587.37 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1969.11 s]
/proc/loadavg: 8.00 7.79 7.12 9/268 79582
/proc/meminfo: memFree=113883404/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3600.13 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 40141 0 0 0 359340 673 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1647.8 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 7419 0 0 0 164588 192 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.43 s, system=6.73969 s

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

[startup+1969.11 s]
/proc/loadavg: 8.00 7.79 7.12 9/268 79582
/proc/meminfo: memFree=113883404/131249996 swapFree=33004236/33010684
[pid=79376] ppid=79372 vsize=94844 memory=19988 CPUtime=3600.13 cores=0,2
/proc/79376/stat : 79376 (pb_competition_) R 79372 79376 79297 0 -1 4194304 40141 0 0 0 359340 673 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
/proc/79376/statm: 23711 4997 672 633 0 6633 0
[pid=79376/tid=79378] ppid=79372 vsize=94844 memory=19988 CPUtime=1647.8 cores=0,2
/proc/79376/task/79378/stat : 79378 (pb_competition_) R 79372 79376 79297 0 -1 4194368 7419 0 0 0 164588 192 0 0 20 0 2 0 71230925 97120256 4997 18446744073709551615 4198400 6788177 140732896021328 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 8781824 140732896024922 140732896025048 140732896025048 140732896030650 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 94844 KiB
Current children cumulated memory: 19988 KiB

Child status: 0

Real time (s): 1969.13
CPU time (s): 3600.17
CPU user time (s): 3593.43
CPU system time (s): 6.73969
CPU usage (%): 182.831
Max. virtual memory (cumulated for all children) (KiB): 94844
Max. memory (cumulated for all children) (KiB): 19988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.43
system time used= 6.73969
maximum resident set size= 20760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40353
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= 24305
involuntary context switches= 106514


# summary of solver processes directly reported to runsolver:
#   pid: 79376
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3593.43
#   total CPU system time (s): 6.73969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.55126 second user time and 9.93346 second system time

The end