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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519650-1751552027/watcher-4519650-1751552027 -o /tmp/evaluation-result-4519650-1751552027/solver-4519650-1751552027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751544067-78934 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 941225026 HOME/instance-4519650-1751552027.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
Linux 5.14.0-503.14.1.el
Current StackSize limit: 8192 KiB

solver pid=80220, runsolver pid=80217

[startup+0.100063 s]*
/proc/loadavg: 5.93 6.15 6.21 8/268 80222
/proc/meminfo: memFree=127236180/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=87860 memory=14464 CPUtime=0.16 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) S 80217 80220 78844 0 -1 4194304 3841 0 0 0 16 0 0 0 20 0 2 0 70880160 89968640 3616 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 21965 3616 672 633 0 5022 0
[pid=80220/tid=80222] ppid=80217 vsize=87860 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 229 0 0 0 7 0 0 0 20 0 2 0 70880161 89968640 3616 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 87860 KiB
Current children cumulated memory: 14464 KiB

[startup+0.205705 s]*
/proc/loadavg: 5.93 6.15 6.21 7/268 80222
/proc/meminfo: memFree=127236180/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=87992 memory=14464 CPUtime=0.36 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 7639 0 0 0 36 0 0 0 20 0 2 0 70880160 90103808 3616 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 21998 3616 672 633 0 5055 0
[pid=80220/tid=80222] ppid=80217 vsize=87992 memory=4208735117501333788 CPUtime=0.17 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 229 0 0 0 17 0 0 0 20 0 2 0 70880161 90103808 3616 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 87992 KiB
Current children cumulated memory: 14464 KiB

[startup+0.305689 s]*
/proc/loadavg: 6.02 6.16 6.21 7/268 80222
/proc/meminfo: memFree=127236464/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=87992 memory=14464 CPUtime=0.55 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 7698 0 0 0 54 1 0 0 20 0 2 0 70880160 90103808 3616 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 21998 3616 672 633 0 5055 0
[pid=80220/tid=80222] ppid=80217 vsize=87992 memory=7971513736771418988 CPUtime=0.26 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 229 0 0 0 26 0 0 0 20 0 2 0 70880161 90103808 3616 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 87992 KiB
Current children cumulated memory: 14464 KiB

[startup+0.700202 s]
/proc/loadavg: 6.02 6.16 6.21 7/268 80222
/proc/meminfo: memFree=127236464/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=88052 memory=14644 CPUtime=1.28 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 20748 0 0 0 125 3 0 0 20 0 2 0 70880160 90165248 3661 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 22013 3661 672 633 0 5070 0
[pid=80220/tid=80222] ppid=80217 vsize=88052 memory=14976 CPUtime=0.61 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 229 0 0 0 61 0 0 0 20 0 2 0 70880161 90165248 3661 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 88052 KiB
Current children cumulated memory: 14644 KiB

[startup+1.50022 s]
/proc/loadavg: 6.02 6.16 6.21 7/268 80222
/proc/meminfo: memFree=127236464/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=88368 memory=14772 CPUtime=2.85 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 32414 0 0 0 281 4 0 0 20 0 2 0 70880160 90488832 3693 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 22092 3693 672 633 0 5149 0
[pid=80220/tid=80222] ppid=80217 vsize=88368 memory=14976 CPUtime=1.39 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 334 0 0 0 139 0 0 0 20 0 2 0 70880161 90488832 3693 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 88368 KiB
Current children cumulated memory: 14772 KiB

[startup+3.10551 s]
/proc/loadavg: 6.02 6.16 6.21 5/268 80222
/proc/meminfo: memFree=127236728/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=88368 memory=14772 CPUtime=5.28 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 34066 0 0 0 523 5 0 0 20 0 2 0 70880160 90488832 3693 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 22092 3693 672 633 0 5149 0
[pid=80220/tid=80222] ppid=80217 vsize=88368 memory=14772 CPUtime=2.23 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) S 80217 80220 78844 0 -1 4194368 343 0 0 0 223 0 0 0 20 0 2 0 70880161 90488832 3693 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 88368 KiB
Current children cumulated memory: 14772 KiB

[startup+6.30021 s]
/proc/loadavg: 6.02 6.16 6.21 7/268 80222
/proc/meminfo: memFree=127244792/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=88528 memory=14900 CPUtime=11.42 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 36498 0 0 0 1135 7 0 0 20 0 2 0 70880160 90652672 3725 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 22132 3725 672 633 0 5189 0
[pid=80220/tid=80222] ppid=80217 vsize=88528 memory=14976 CPUtime=5.2 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 521 0 0 0 520 0 0 0 20 0 2 0 70880161 90652672 3725 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 11.42 s
Current children cumulated vsize: 88528 KiB
Current children cumulated memory: 14900 KiB

[startup+12.7002 s]
/proc/loadavg: 6.10 6.17 6.22 7/268 80222
/proc/meminfo: memFree=127245048/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=88780 memory=15200 CPUtime=23.94 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 40652 0 0 0 2382 12 0 0 20 0 2 0 70880160 90910720 3800 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 22195 3800 672 633 0 5252 0
[pid=80220/tid=80222] ppid=80217 vsize=88780 memory=15092 CPUtime=11.37 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 1156 0 0 0 1137 0 0 0 20 0 2 0 70880161 90910720 3800 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 23.94 s
Current children cumulated vsize: 88780 KiB
Current children cumulated memory: 15200 KiB

[startup+25.5002 s]
/proc/loadavg: 6.08 6.17 6.21 7/268 80222
/proc/meminfo: memFree=127233516/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=90512 memory=16452 CPUtime=48.57 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 43992 0 0 0 4830 27 0 0 20 0 2 0 70880160 92684288 4113 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 22628 4113 672 633 0 5685 0
[pid=80220/tid=80222] ppid=80217 vsize=90512 memory=15784 CPUtime=23.34 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 1913 0 0 0 2329 5 0 0 20 0 2 0 70880161 92684288 4113 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 48.57 s
Current children cumulated vsize: 90512 KiB
Current children cumulated memory: 16452 KiB

[startup+51.1056 s]
/proc/loadavg: 5.99 6.13 6.20 6/268 80223
/proc/meminfo: memFree=127237812/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=92656 memory=17724 CPUtime=97.1 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 48957 0 0 0 9662 48 0 0 20 0 2 0 70880160 94879744 4431 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 23164 4431 672 633 0 6221 0
[pid=80220/tid=80222] ppid=80217 vsize=92656 memory=14976 CPUtime=46.48 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 2486 0 0 0 4639 9 0 0 20 0 2 0 70880161 94879744 4431 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 97.1 s
Current children cumulated vsize: 92656 KiB
Current children cumulated memory: 17724 KiB

[startup+102.3 s]
/proc/loadavg: 5.96 6.10 6.18 8/268 80271
/proc/meminfo: memFree=128964752/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=93740 memory=19644 CPUtime=173.97 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 50155 0 0 0 17327 70 0 0 20 0 2 0 70880160 95989760 4911 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 23435 4911 672 633 0 6492 0
[pid=80220/tid=80222] ppid=80217 vsize=93740 memory=14976 CPUtime=72.58 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 2640 0 0 0 7245 13 0 0 20 0 2 0 70880161 95989760 4911 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 173.97 s
Current children cumulated vsize: 93740 KiB
Current children cumulated memory: 19644 KiB

[startup+162.3 s]
/proc/loadavg: 6.56 6.25 6.23 7/267 80273
/proc/meminfo: memFree=128978156/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=94192 memory=20284 CPUtime=285.79 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 56036 0 0 0 28475 104 0 0 20 0 2 0 70880160 96452608 5071 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 23548 5071 672 633 0 6605 0
[pid=80220/tid=80222] ppid=80217 vsize=94192 memory=20156 CPUtime=125.01 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4096 0 0 0 12480 21 0 0 20 0 2 0 70880161 96452608 5071 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 285.79 s
Current children cumulated vsize: 94192 KiB
Current children cumulated memory: 20284 KiB

[startup+222.3 s]
/proc/loadavg: 6.35 6.25 6.23 7/268 80276
/proc/meminfo: memFree=129006752/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=97168 memory=21416 CPUtime=396.4 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 56475 0 0 0 39502 138 0 0 20 0 2 0 70880160 99500032 5354 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 24292 5354 672 633 0 7349 0
[pid=80220/tid=80222] ppid=80217 vsize=97168 memory=21416 CPUtime=176.31 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4097 0 0 0 17601 30 0 0 20 0 2 0 70880161 99500032 5354 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 396.4 s
Current children cumulated vsize: 97168 KiB
Current children cumulated memory: 21416 KiB

[startup+282.3 s]
/proc/loadavg: 6.62 6.35 6.27 7/269 80280
/proc/meminfo: memFree=129011940/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=97304 memory=21672 CPUtime=506.63 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 56537 0 0 0 50489 174 0 0 20 0 2 0 70880160 99639296 5418 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 24326 5418 672 633 0 7383 0
[pid=80220/tid=80222] ppid=80217 vsize=97304 memory=21672 CPUtime=227.15 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4098 0 0 0 22678 37 0 0 20 0 2 0 70880161 99639296 5418 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 506.63 s
Current children cumulated vsize: 97304 KiB
Current children cumulated memory: 21672 KiB

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

/proc/meminfo: memFree=129004084/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100124 memory=26452 CPUtime=2579.83 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 64680 0 0 0 257398 585 0 0 20 0 2 0 70880160 102526976 6613 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25031 6613 672 633 0 8088 0
[pid=80220/tid=80222] ppid=80217 vsize=100124 memory=26324 CPUtime=1171.72 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4325 0 0 0 117021 151 0 0 20 0 2 0 70880161 102526976 6613 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 2579.83 s
Current children cumulated vsize: 100124 KiB
Current children cumulated memory: 26452 KiB

[startup+1482.3 s]
/proc/loadavg: 6.05 6.31 6.42 6/268 80341
/proc/meminfo: memFree=129004380/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100124 memory=26452 CPUtime=2689.16 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 65429 0 0 0 268312 604 0 0 20 0 2 0 70880160 102526976 6613 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25031 6613 672 633 0 8088 0
[pid=80220/tid=80222] ppid=80217 vsize=100124 memory=7970956284376661868 CPUtime=1221.55 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4367 0 0 0 121998 157 0 0 20 0 2 0 70880161 102526976 6613 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 2689.16 s
Current children cumulated vsize: 100124 KiB
Current children cumulated memory: 26452 KiB

[startup+1542.3 s]
/proc/loadavg: 6.64 6.44 6.46 8/267 80343
/proc/meminfo: memFree=129005080/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100536 memory=26964 CPUtime=2796.47 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 66260 0 0 0 279022 625 0 0 20 0 2 0 70880160 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25134 6741 672 633 0 8191 0
[pid=80220/tid=80222] ppid=80217 vsize=100536 memory=26452 CPUtime=1269.4 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4383 0 0 0 126776 164 0 0 20 0 2 0 70880161 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 2796.47 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 26964 KiB

[startup+1602.3 s]
/proc/loadavg: 6.41 6.43 6.46 8/267 80349
/proc/meminfo: memFree=129004352/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100536 memory=26964 CPUtime=2903.25 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 67029 0 0 0 289678 647 0 0 20 0 2 0 70880160 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25134 6741 672 633 0 8191 0
[pid=80220/tid=80222] ppid=80217 vsize=100536 memory=26452 CPUtime=1316.7 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) S 80217 80220 78844 0 -1 4194368 4447 0 0 0 131501 169 0 0 20 0 2 0 70880161 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 2903.25 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 26964 KiB

[startup+1662.3 s]
/proc/loadavg: 6.68 6.50 6.48 7/267 80351
/proc/meminfo: memFree=129006732/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100536 memory=26964 CPUtime=3011.48 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 67085 0 0 0 300480 668 0 0 20 0 2 0 70880160 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25134 6741 672 633 0 8191 0
[pid=80220/tid=80222] ppid=80217 vsize=100536 memory=26452 CPUtime=1365.42 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4447 0 0 0 136366 176 0 0 20 0 2 0 70880161 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3011.48 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 26964 KiB

[startup+1722.3 s]
/proc/loadavg: 6.82 6.57 6.50 7/268 80354
/proc/meminfo: memFree=129007048/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100536 memory=26964 CPUtime=3118.24 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 67900 0 0 0 311133 691 0 0 20 0 2 0 70880160 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25134 6741 672 633 0 8191 0
[pid=80220/tid=80222] ppid=80217 vsize=100536 memory=26452 CPUtime=1412.71 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4471 0 0 0 141089 182 0 0 20 0 2 0 70880161 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3118.24 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 26964 KiB

[startup+1782.3 s]
/proc/loadavg: 6.17 6.42 6.45 7/268 80356
/proc/meminfo: memFree=129008444/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100536 memory=26964 CPUtime=3224.54 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 67915 0 0 0 321740 714 0 0 20 0 2 0 70880160 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25134 6741 672 633 0 8191 0
[pid=80220/tid=80222] ppid=80217 vsize=100536 memory=26452 CPUtime=1459.55 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4472 0 0 0 145768 187 0 0 20 0 2 0 70880161 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3224.54 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 26964 KiB

[startup+1842.3 s]
/proc/loadavg: 6.03 6.33 6.42 6/268 80358
/proc/meminfo: memFree=129009456/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100536 memory=26964 CPUtime=3331.33 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 67917 0 0 0 332396 737 0 0 20 0 2 0 70880160 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25134 6741 672 633 0 8191 0
[pid=80220/tid=80222] ppid=80217 vsize=100536 memory=26452 CPUtime=1506.89 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) S 80217 80220 78844 0 -1 4194368 4472 0 0 0 150496 193 0 0 20 0 2 0 70880161 102948864 6741 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3331.33 s
Current children cumulated vsize: 100536 KiB
Current children cumulated memory: 26964 KiB

[startup+1902.3 s]
/proc/loadavg: 6.34 6.36 6.43 8/268 80360
/proc/meminfo: memFree=129017556/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100832 memory=27220 CPUtime=3439.14 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 68844 0 0 0 343157 757 0 0 20 0 2 0 70880160 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25208 6805 672 633 0 8265 0
[pid=80220/tid=80222] ppid=80217 vsize=100832 memory=27220 CPUtime=1555.3 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) S 80217 80220 78844 0 -1 4194368 4540 0 0 0 155331 199 0 0 20 0 2 0 70880161 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3439.14 s
Current children cumulated vsize: 100832 KiB
Current children cumulated memory: 27220 KiB

[startup+1962.3 s]
/proc/loadavg: 4.71 5.93 6.28 4/254 80423
/proc/meminfo: memFree=129054812/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100832 memory=27220 CPUtime=3548.66 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 68873 0 0 0 354084 782 0 0 20 0 2 0 70880160 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25208 6805 672 633 0 8265 0
[pid=80220/tid=80222] ppid=80217 vsize=100832 memory=27220 CPUtime=1605.33 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4540 0 0 0 160328 205 0 0 20 0 2 0 70880161 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3548.66 s
Current children cumulated vsize: 100832 KiB
Current children cumulated memory: 27220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1990.5 s]
/proc/loadavg: 3.98 5.66 6.18 2/247 80454
/proc/meminfo: memFree=129084968/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100832 memory=27220 CPUtime=3600.11 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 69737 0 0 0 359216 795 0 0 20 0 2 0 70880160 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25208 6805 672 633 0 8265 0
[pid=80220/tid=80222] ppid=80217 vsize=100832 memory=27220 CPUtime=1628.81 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4597 0 0 0 162673 208 0 0 20 0 2 0 70880161 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 100832 KiB
Current children cumulated memory: 27220 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.2 s, system=7.95291 s

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

[startup+1990.5 s]
/proc/loadavg: 3.98 5.66 6.18 2/247 80454
/proc/meminfo: memFree=129084968/131249996 swapFree=33006296/33010684
[pid=80220] ppid=80217 vsize=100832 memory=27220 CPUtime=3600.11 cores=4,6
/proc/80220/stat : 80220 (pb_competition_) R 80217 80220 78844 0 -1 4194304 69737 0 0 0 359216 795 0 0 20 0 2 0 70880160 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
/proc/80220/statm: 25208 6805 672 633 0 8265 0
[pid=80220/tid=80222] ppid=80217 vsize=100832 memory=27220 CPUtime=1628.81 cores=4,6
/proc/80220/task/80222/stat : 80222 (pb_competition_) R 80217 80220 78844 0 -1 4194368 4597 0 0 0 162673 208 0 0 20 0 2 0 70880161 103251968 6805 18446744073709551615 4198400 6788177 140733760511456 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 16691200 140733760518490 140733760518616 140733760518616 140733760524218 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 100832 KiB
Current children cumulated memory: 27220 KiB

Child status: 0

Real time (s): 1990.53
CPU time (s): 3600.15
CPU user time (s): 3592.2
CPU system time (s): 7.95291
CPU usage (%): 180.864
Max. virtual memory (cumulated for all children) (KiB): 100832
Max. memory (cumulated for all children) (KiB): 27220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.2
system time used= 7.95291
maximum resident set size= 27220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69872
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= 60128
involuntary context switches= 43817


# summary of solver processes directly reported to runsolver:
#   pid: 80220
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3592.2
#   total CPU system time (s): 7.95291

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96662 second user time and 9.23445 second system time

The end