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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (61628 MiB free)
  memory of node 1: 64465 MiB (63570 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524640-1751616751/watcher-4524640-1751616751 -o /tmp/evaluation-result-4524640-1751616751/solver-4524640-1751616751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751613687-86961 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1780564274 HOME/instance-4524640-1751616751.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100069 s]*
/proc/loadavg: 4.97 5.00 4.79 6/254 87270
/proc/meminfo: memFree=128204032/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=80544 memory=6272 CPUtime=0.18 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 1027 0 0 0 18 0 0 0 20 0 2 0 77354272 82477056 1568 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20136 1568 672 633 0 3036 0
[pid=87268/tid=87270] ppid=87265 vsize=80544 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) S 87265 87268 86557 0 -1 4194368 73 0 0 0 7 0 0 0 20 0 2 0 77354273 82477056 1568 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80544 KiB
Current children cumulated memory: 6272 KiB

[startup+0.214092 s]*
/proc/loadavg: 4.97 5.00 4.79 6/254 87270
/proc/meminfo: memFree=128204032/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=80704 memory=6528 CPUtime=0.37 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 1088 0 0 0 36 1 0 0 20 0 2 0 77354272 82640896 1632 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20176 1632 672 633 0 3076 0
[pid=87268/tid=87270] ppid=87265 vsize=80704 memory=664958721904869660 CPUtime=0.14 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) S 87265 87268 86557 0 -1 4194368 73 0 0 0 14 0 0 0 20 0 2 0 77354273 82640896 1632 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 80704 KiB
Current children cumulated memory: 6528 KiB

[startup+0.314095 s]*
/proc/loadavg: 4.97 5.00 4.79 7/254 87270
/proc/meminfo: memFree=128204032/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=80876 memory=6528 CPUtime=0.49 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 1100 0 0 0 48 1 0 0 20 0 2 0 77354272 82817024 1632 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20219 1632 672 633 0 3119 0
[pid=87268/tid=87270] ppid=87265 vsize=80876 memory=7970956284494102380 CPUtime=0.17 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 73 0 0 0 17 0 0 0 20 0 2 0 77354273 82817024 1632 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 80876 KiB
Current children cumulated memory: 6528 KiB

[startup+0.700323 s]
/proc/loadavg: 4.97 5.00 4.79 7/254 87270
/proc/meminfo: memFree=128204032/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=80876 memory=6528 CPUtime=1.11 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 1134 0 0 0 109 2 0 0 20 0 2 0 77354272 82817024 1632 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20219 1632 672 633 0 3119 0
[pid=87268/tid=87270] ppid=87265 vsize=80876 memory=18432 CPUtime=0.45 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 73 0 0 0 44 1 0 0 20 0 2 0 77354273 82817024 1632 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 80876 KiB
Current children cumulated memory: 6528 KiB

[startup+1.50024 s]
/proc/loadavg: 4.97 5.00 4.79 7/254 87270
/proc/meminfo: memFree=128204032/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=81368 memory=6748 CPUtime=2.67 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 2116 0 0 0 263 4 0 0 20 0 2 0 77354272 83320832 1687 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20342 1687 672 633 0 3242 0
[pid=87268/tid=87270] ppid=87265 vsize=81368 memory=18432 CPUtime=1.21 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 267 0 0 0 119 2 0 0 20 0 2 0 77354273 83320832 1687 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 81368 KiB
Current children cumulated memory: 6748 KiB

[startup+3.10586 s]
/proc/loadavg: 4.97 5.00 4.79 6/254 87270
/proc/meminfo: memFree=128204192/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=81368 memory=6876 CPUtime=5.85 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 3033 0 0 0 575 10 0 0 20 0 2 0 77354272 83320832 1719 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20342 1719 672 633 0 3242 0
[pid=87268/tid=87270] ppid=87265 vsize=81368 memory=6748 CPUtime=2.81 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 529 0 0 0 278 3 0 0 20 0 2 0 77354273 83320832 1719 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 81368 KiB
Current children cumulated memory: 6876 KiB

[startup+6.30022 s]
/proc/loadavg: 4.97 5.00 4.79 7/254 87270
/proc/meminfo: memFree=128204636/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=82556 memory=7772 CPUtime=12.1 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 4507 0 0 0 1194 16 0 0 20 0 2 0 77354272 84537344 1943 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20639 1943 672 633 0 3539 0
[pid=87268/tid=87270] ppid=87265 vsize=82556 memory=18432 CPUtime=5.89 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 871 0 0 0 584 5 0 0 20 0 2 0 77354273 84537344 1943 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 12.1 s
Current children cumulated vsize: 82556 KiB
Current children cumulated memory: 7772 KiB

[startup+12.7002 s]
/proc/loadavg: 5.06 5.02 4.79 7/254 87270
/proc/meminfo: memFree=128204972/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=83196 memory=8796 CPUtime=24.42 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 7268 0 0 0 2416 26 0 0 20 0 2 0 77354272 85192704 2199 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 20799 2199 672 633 0 3699 0
[pid=87268/tid=87270] ppid=87265 vsize=83196 memory=8668 CPUtime=11.84 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 1387 0 0 0 1175 9 0 0 20 0 2 0 77354273 85192704 2199 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 24.42 s
Current children cumulated vsize: 83196 KiB
Current children cumulated memory: 8796 KiB

[startup+25.5002 s]
/proc/loadavg: 5.33 5.08 4.82 7/254 87271
/proc/meminfo: memFree=128204564/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=85048 memory=10776 CPUtime=48.59 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 8860 0 0 0 4815 44 0 0 20 0 2 0 77354272 87089152 2694 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 21262 2694 672 633 0 4162 0
[pid=87268/tid=87270] ppid=87265 vsize=85048 memory=10520 CPUtime=23.3 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 1738 0 0 0 2314 16 0 0 20 0 2 0 77354273 87089152 2694 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 48.59 s
Current children cumulated vsize: 85048 KiB
Current children cumulated memory: 10776 KiB

[startup+51.1057 s]
/proc/loadavg: 5.51 5.14 4.85 7/254 87271
/proc/meminfo: memFree=128205528/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=85776 memory=11416 CPUtime=96.43 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 10472 0 0 0 9573 70 0 0 20 0 2 0 77354272 87834624 2854 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 21444 2854 672 633 0 4344 0
[pid=87268/tid=87270] ppid=87265 vsize=85776 memory=18432 CPUtime=45.72 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 1824 0 0 0 4546 26 0 0 20 0 2 0 77354273 87834624 2854 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 96.43 s
Current children cumulated vsize: 85776 KiB
Current children cumulated memory: 11416 KiB

[startup+102.3 s]
/proc/loadavg: 5.72 5.26 4.90 6/253 87277
/proc/meminfo: memFree=128213860/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=86388 memory=12056 CPUtime=191.12 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 13676 0 0 0 18997 115 0 0 20 0 2 0 77354272 88461312 3014 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 21597 3014 672 633 0 4497 0
[pid=87268/tid=87270] ppid=87265 vsize=86388 memory=18432 CPUtime=89.56 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) S 87265 87268 86557 0 -1 4194368 2436 0 0 0 8913 43 0 0 20 0 2 0 77354273 88461312 3014 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 191.12 s
Current children cumulated vsize: 86388 KiB
Current children cumulated memory: 12056 KiB

[startup+162.3 s]
/proc/loadavg: 5.87 5.37 4.96 8/254 87326
/proc/meminfo: memFree=129649756/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=89416 memory=13640 CPUtime=301.52 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 14860 0 0 0 29989 163 0 0 20 0 2 0 77354272 91561984 3410 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 22354 3410 672 633 0 5254 0
[pid=87268/tid=87270] ppid=87265 vsize=89416 memory=5504 CPUtime=140.36 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 2511 0 0 0 13976 60 0 0 20 0 2 0 77354273 91561984 3410 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 301.52 s
Current children cumulated vsize: 89416 KiB
Current children cumulated memory: 13640 KiB

[startup+222.3 s]
/proc/loadavg: 6.28 5.59 5.07 8/254 87328
/proc/meminfo: memFree=129648656/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=89856 memory=14024 CPUtime=412.74 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 15352 0 0 0 41073 201 0 0 20 0 2 0 77354272 92012544 3506 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 22464 3506 672 633 0 5364 0
[pid=87268/tid=87270] ppid=87265 vsize=89856 memory=13896 CPUtime=192.02 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 2533 0 0 0 19127 75 0 0 20 0 2 0 77354273 92012544 3506 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 412.74 s
Current children cumulated vsize: 89856 KiB
Current children cumulated memory: 14024 KiB

[startup+282.3 s]
/proc/loadavg: 6.39 5.74 5.16 7/254 87330
/proc/meminfo: memFree=129648944/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=90000 memory=14152 CPUtime=523.72 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 15429 0 0 0 52130 242 0 0 20 0 2 0 77354272 92160000 3538 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 22500 3538 672 633 0 5400 0
[pid=87268/tid=87270] ppid=87265 vsize=90000 memory=13640 CPUtime=243.45 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 2533 0 0 0 24255 90 0 0 20 0 2 0 77354273 92160000 3538 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 523.72 s
Current children cumulated vsize: 90000 KiB
Current children cumulated memory: 14152 KiB

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

/proc/meminfo: memFree=129738740/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92108 memory=17224 CPUtime=2619.5 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 28873 0 0 0 261100 850 0 0 20 0 2 0 77354272 94318592 4306 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23027 4306 672 633 0 5927 0
[pid=87268/tid=87270] ppid=87265 vsize=92108 memory=17224 CPUtime=1206.22 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 4666 0 0 0 120311 311 0 0 20 0 2 0 77354273 94318592 4306 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 2619.5 s
Current children cumulated vsize: 92108 KiB
Current children cumulated memory: 17224 KiB

[startup+1482.3 s]
/proc/loadavg: 7.39 7.40 6.78 8/254 87430
/proc/meminfo: memFree=129738512/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92248 memory=17352 CPUtime=2728.64 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 28901 0 0 0 271986 878 0 0 20 0 2 0 77354272 94461952 4338 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23062 4338 672 633 0 5962 0
[pid=87268/tid=87270] ppid=87265 vsize=92248 memory=17352 CPUtime=1255.73 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 4666 0 0 0 125251 322 0 0 20 0 2 0 77354273 94461952 4338 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 2728.64 s
Current children cumulated vsize: 92248 KiB
Current children cumulated memory: 17352 KiB

[startup+1542.3 s]
/proc/loadavg: 7.35 7.37 6.81 8/254 87432
/proc/meminfo: memFree=129738344/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92248 memory=17352 CPUtime=2837.56 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 29992 0 0 0 282852 904 0 0 20 0 2 0 77354272 94461952 4338 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23062 4338 672 633 0 5962 0
[pid=87268/tid=87270] ppid=87265 vsize=92248 memory=17352 CPUtime=1305.03 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 4964 0 0 0 130169 334 0 0 20 0 2 0 77354273 94461952 4338 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 2837.56 s
Current children cumulated vsize: 92248 KiB
Current children cumulated memory: 17352 KiB

[startup+1602.3 s]
/proc/loadavg: 7.37 7.38 6.85 9/255 87435
/proc/meminfo: memFree=129738064/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92248 memory=17480 CPUtime=2946.51 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 31108 0 0 0 293720 931 0 0 20 0 2 0 77354272 94461952 4370 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23062 4370 672 633 0 5962 0
[pid=87268/tid=87270] ppid=87265 vsize=92248 memory=17352 CPUtime=1354.39 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 5257 0 0 0 135094 345 0 0 20 0 2 0 77354273 94461952 4370 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 2946.51 s
Current children cumulated vsize: 92248 KiB
Current children cumulated memory: 17480 KiB

[startup+1662.3 s]
/proc/loadavg: 7.21 7.30 6.86 9/254 87484
/proc/meminfo: memFree=129746380/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92388 memory=17608 CPUtime=3055.51 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 32240 0 0 0 304592 959 0 0 20 0 2 0 77354272 94605312 4402 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23097 4402 672 633 0 5997 0
[pid=87268/tid=87270] ppid=87265 vsize=92388 memory=16248 CPUtime=1403.73 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 5611 0 0 0 140019 354 0 0 20 0 2 0 77354273 94605312 4402 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3055.51 s
Current children cumulated vsize: 92388 KiB
Current children cumulated memory: 17608 KiB

[startup+1722.3 s]
/proc/loadavg: 7.74 7.43 6.93 9/254 87486
/proc/meminfo: memFree=129753992/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92388 memory=17736 CPUtime=3164.38 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 33400 0 0 0 315450 988 0 0 20 0 2 0 77354272 94605312 4434 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23097 4434 672 633 0 5997 0
[pid=87268/tid=87270] ppid=87265 vsize=92388 memory=18432 CPUtime=1453 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 5939 0 0 0 144933 367 0 0 20 0 2 0 77354273 94605312 4434 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3164.38 s
Current children cumulated vsize: 92388 KiB
Current children cumulated memory: 17736 KiB

[startup+1782.3 s]
/proc/loadavg: 7.70 7.48 6.98 9/254 87488
/proc/meminfo: memFree=129743336/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92548 memory=17736 CPUtime=3273.3 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 33425 0 0 0 326317 1013 0 0 20 0 2 0 77354272 94769152 4434 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23137 4434 672 633 0 6037 0
[pid=87268/tid=87270] ppid=87265 vsize=92548 memory=17736 CPUtime=1502.28 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 5939 0 0 0 149850 378 0 0 20 0 2 0 77354273 94769152 4434 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3273.3 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 17736 KiB

[startup+1842.3 s]
/proc/loadavg: 7.86 7.57 7.04 8/254 87490
/proc/meminfo: memFree=129744352/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92548 memory=17864 CPUtime=3382.2 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 34616 0 0 0 337178 1042 0 0 20 0 2 0 77354272 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23137 4466 672 633 0 6037 0
[pid=87268/tid=87270] ppid=87265 vsize=92548 memory=17736 CPUtime=1551.55 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) S 87265 87268 86557 0 -1 4194368 6298 0 0 0 154767 388 0 0 20 0 2 0 77354273 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3382.2 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 17864 KiB

[startup+1902.3 s]
/proc/loadavg: 7.84 7.62 7.10 9/255 87498
/proc/meminfo: memFree=129745024/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92548 memory=17864 CPUtime=3491.01 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 34636 0 0 0 348033 1068 0 0 20 0 2 0 77354272 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23137 4466 672 633 0 6037 0
[pid=87268/tid=87270] ppid=87265 vsize=92548 memory=17864 CPUtime=1600.78 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 6298 0 0 0 159679 399 0 0 20 0 2 0 77354273 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3491.01 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 17864 KiB

[startup+1962.3 s]
/proc/loadavg: 7.73 7.63 7.13 8/255 87500
/proc/meminfo: memFree=129746460/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92548 memory=17864 CPUtime=3599.74 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 34645 0 0 0 358880 1094 0 0 20 0 2 0 77354272 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23137 4466 672 633 0 6037 0
[pid=87268/tid=87270] ppid=87265 vsize=92548 memory=17864 CPUtime=1649.91 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 6298 0 0 0 164582 409 0 0 20 0 2 0 77354273 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3599.74 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 17864 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1962.5 s]
/proc/loadavg: 7.73 7.63 7.13 8/255 87500
/proc/meminfo: memFree=129746460/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92548 memory=17864 CPUtime=3600.1 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 34645 0 0 0 358916 1094 0 0 20 0 2 0 77354272 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23137 4466 672 633 0 6037 0
[pid=87268/tid=87270] ppid=87265 vsize=92548 memory=17864 CPUtime=1650.08 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 6298 0 0 0 164599 409 0 0 20 0 2 0 77354273 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 17864 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.2 s, system=10.9465 s

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

[startup+1962.5 s]
/proc/loadavg: 7.73 7.63 7.13 8/255 87500
/proc/meminfo: memFree=129746460/131382120 swapFree=33010160/33010684
[pid=87268] ppid=87265 vsize=92548 memory=17864 CPUtime=3600.1 cores=0,2
/proc/87268/stat : 87268 (pb_competition_) R 87265 87268 86557 0 -1 4194304 34645 0 0 0 358916 1094 0 0 20 0 2 0 77354272 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
/proc/87268/statm: 23137 4466 672 633 0 6037 0
[pid=87268/tid=87270] ppid=87265 vsize=92548 memory=17864 CPUtime=1650.08 cores=0,2
/proc/87268/task/87270/stat : 87270 (pb_competition_) R 87265 87268 86557 0 -1 4194368 6298 0 0 0 164599 409 0 0 20 0 2 0 77354273 94769152 4466 18446744073709551615 4198400 6788177 140722769307792 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 15949824 140722769316183 140722769316310 140722769316310 140722769321914 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 92548 KiB
Current children cumulated memory: 17864 KiB

Child status: 0

Real time (s): 1962.52
CPU time (s): 3600.15
CPU user time (s): 3589.2
CPU system time (s): 10.9465
CPU usage (%): 183.445
Max. virtual memory (cumulated for all children) (KiB): 92548
Max. memory (cumulated for all children) (KiB): 17864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.2
system time used= 10.9465
maximum resident set size= 17864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34719
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= 48777
involuntary context switches= 87534


# summary of solver processes directly reported to runsolver:
#   pid: 87268
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3589.2
#   total CPU system time (s): 10.9465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70989 second user time and 9.40222 second system time

The end