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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524577-1751616027/watcher-4524577-1751616027 -o /tmp/evaluation-result-4524577-1751616027/solver-4524577-1751616027 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751612865-90768 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 430525327 HOME/instance-4524577-1751616027.wbo 

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=91127, runsolver pid=91124

[startup+0.100056 s]*
/proc/loadavg: 5.96 5.32 4.96 7/270 91129
/proc/meminfo: memFree=120942420/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=81460 memory=7040 CPUtime=0.17 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) S 91124 91127 90346 0 -1 4194304 1289 0 0 0 17 0 0 0 20 0 2 0 77282155 83415040 1760 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20365 1760 672 633 0 3286 0
[pid=91127/tid=91129] ppid=91124 vsize=81460 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 94 0 0 0 7 0 0 0 20 0 2 0 77282155 83415040 1760 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 81460 KiB
Current children cumulated memory: 7040 KiB

[startup+0.20549 s]*
/proc/loadavg: 5.96 5.32 4.96 7/270 91129
/proc/meminfo: memFree=120942168/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=81516 memory=7296 CPUtime=0.34 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) S 91124 91127 90346 0 -1 4194304 1363 0 0 0 34 0 0 0 20 0 2 0 77282155 83472384 1824 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20379 1824 672 633 0 3300 0
[pid=91127/tid=91129] ppid=91124 vsize=81516 memory=4208735117501333788 CPUtime=0.15 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 94 0 0 0 15 0 0 0 20 0 2 0 77282155 83472384 1824 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 81516 KiB
Current children cumulated memory: 7296 KiB

[startup+0.304815 s]*
/proc/loadavg: 5.96 5.32 4.96 7/270 91129
/proc/meminfo: memFree=120941412/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=82184 memory=7480 CPUtime=0.54 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) S 91124 91127 90346 0 -1 4194304 1640 0 0 0 53 1 0 0 20 0 2 0 77282155 84156416 1870 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20546 1870 672 633 0 3467 0
[pid=91127/tid=91129] ppid=91124 vsize=82184 memory=-7096967970496484459 CPUtime=0.24 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 94 0 0 0 24 0 0 0 20 0 2 0 77282155 84156416 1870 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 82184 KiB
Current children cumulated memory: 7480 KiB

[startup+0.700139 s]
/proc/loadavg: 5.96 5.32 4.96 7/270 91129
/proc/meminfo: memFree=120940656/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=82352 memory=8120 CPUtime=1.18 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 1768 0 0 0 117 1 0 0 20 0 2 0 77282155 84328448 2030 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20588 2030 672 633 0 3509 0
[pid=91127/tid=91129] ppid=91124 vsize=82352 memory=19072 CPUtime=0.5 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 94 0 0 0 50 0 0 0 20 0 2 0 77282155 84328448 2030 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 82352 KiB
Current children cumulated memory: 8120 KiB

[startup+1.50015 s]
/proc/loadavg: 5.96 5.32 4.96 8/270 91129
/proc/meminfo: memFree=120940656/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=83212 memory=8508 CPUtime=2.71 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 3191 0 0 0 269 2 0 0 20 0 2 0 77282155 85209088 2127 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20803 2127 672 633 0 3724 0
[pid=91127/tid=91129] ppid=91124 vsize=83212 memory=19072 CPUtime=1.24 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 134 0 0 0 124 0 0 0 20 0 2 0 77282155 85209088 2127 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 83212 KiB
Current children cumulated memory: 8508 KiB

[startup+3.10469 s]
/proc/loadavg: 5.96 5.32 4.96 8/270 91129
/proc/meminfo: memFree=120939928/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=83344 memory=8636 CPUtime=5.77 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 4519 0 0 0 572 5 0 0 20 0 2 0 77282155 85344256 2159 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20836 2159 672 633 0 3757 0
[pid=91127/tid=91129] ppid=91124 vsize=83344 memory=8508 CPUtime=2.71 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 397 0 0 0 270 1 0 0 20 0 2 0 77282155 85344256 2159 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 5.77 s
Current children cumulated vsize: 83344 KiB
Current children cumulated memory: 8636 KiB

[startup+6.30013 s]
/proc/loadavg: 6.04 5.35 4.97 7/270 91129
/proc/meminfo: memFree=120939928/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=83636 memory=9148 CPUtime=11.94 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 5982 0 0 0 1184 10 0 0 20 0 2 0 77282155 85643264 2287 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 20909 2287 672 633 0 3830 0
[pid=91127/tid=91129] ppid=91124 vsize=83636 memory=19072 CPUtime=5.71 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 1009 0 0 0 568 3 0 0 20 0 2 0 77282155 85643264 2287 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 11.94 s
Current children cumulated vsize: 83636 KiB
Current children cumulated memory: 9148 KiB

[startup+12.7001 s]
/proc/loadavg: 5.96 5.35 4.97 8/270 91129
/proc/meminfo: memFree=120939928/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=84128 memory=9788 CPUtime=24.15 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 6171 0 0 0 2396 19 0 0 20 0 2 0 77282155 86147072 2447 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 21032 2447 672 633 0 3953 0
[pid=91127/tid=91129] ppid=91124 vsize=84128 memory=9788 CPUtime=11.57 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 1009 0 0 0 1151 6 0 0 20 0 2 0 77282155 86147072 2447 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 24.15 s
Current children cumulated vsize: 84128 KiB
Current children cumulated memory: 9788 KiB

[startup+25.5002 s]
/proc/loadavg: 6.19 5.43 5.01 8/270 91129
/proc/meminfo: memFree=120936344/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=85820 memory=11360 CPUtime=48.38 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 8769 0 0 0 4807 31 0 0 20 0 2 0 77282155 87879680 2840 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 21455 2840 672 633 0 4376 0
[pid=91127/tid=91129] ppid=91124 vsize=85820 memory=11360 CPUtime=23.09 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 1428 0 0 0 2300 9 0 0 20 0 2 0 77282155 87879680 2840 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 48.38 s
Current children cumulated vsize: 85820 KiB
Current children cumulated memory: 11360 KiB

[startup+51.105 s]
/proc/loadavg: 6.47 5.56 5.06 7/270 91141
/proc/meminfo: memFree=120936872/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=86352 memory=12000 CPUtime=94.65 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 9061 0 0 0 9413 52 0 0 20 0 2 0 77282155 88424448 3000 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 21588 3000 672 633 0 4509 0
[pid=91127/tid=91129] ppid=91124 vsize=86352 memory=19072 CPUtime=43.91 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 1471 0 0 0 4376 15 0 0 20 0 2 0 77282155 88424448 3000 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 94.65 s
Current children cumulated vsize: 86352 KiB
Current children cumulated memory: 12000 KiB

[startup+102.3 s]
/proc/loadavg: 6.50 5.72 5.14 8/270 91188
/proc/meminfo: memFree=121346160/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=86844 memory=12512 CPUtime=190.37 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 14152 0 0 0 18939 98 0 0 20 0 2 0 77282155 88928256 3128 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 21711 3128 672 633 0 4632 0
[pid=91127/tid=91129] ppid=91124 vsize=86844 memory=19072 CPUtime=88.83 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 2251 0 0 0 8854 29 0 0 20 0 2 0 77282155 88928256 3128 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 190.37 s
Current children cumulated vsize: 86844 KiB
Current children cumulated memory: 12512 KiB

[startup+162.3 s]
/proc/loadavg: 7.12 6.04 5.30 8/270 91195
/proc/meminfo: memFree=121338880/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=87284 memory=13024 CPUtime=301.98 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 17579 0 0 0 30058 140 0 0 20 0 2 0 77282155 89378816 3256 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 21821 3256 672 633 0 4742 0
[pid=91127/tid=91129] ppid=91124 vsize=87284 memory=13024 CPUtime=140.83 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 3529 0 0 0 14040 43 0 0 20 0 2 0 77282155 89378816 3256 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 301.98 s
Current children cumulated vsize: 87284 KiB
Current children cumulated memory: 13024 KiB

[startup+222.3 s]
/proc/loadavg: 7.32 6.31 5.44 9/270 91197
/proc/meminfo: memFree=121339708/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=90264 memory=14312 CPUtime=413.35 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 18643 0 0 0 41152 183 0 0 20 0 2 0 77282155 92430336 3578 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 22566 3578 672 633 0 5487 0
[pid=91127/tid=91129] ppid=91124 vsize=90264 memory=14184 CPUtime=192.58 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 3553 0 0 0 19204 54 0 0 20 0 2 0 77282155 92430336 3578 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 413.35 s
Current children cumulated vsize: 90264 KiB
Current children cumulated memory: 14312 KiB

[startup+282.3 s]
/proc/loadavg: 7.36 6.52 5.57 7/267 91199
/proc/meminfo: memFree=121343296/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=90532 memory=14568 CPUtime=524.33 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 18801 0 0 0 52206 227 0 0 20 0 2 0 77282155 92704768 3642 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 22633 3642 672 633 0 5554 0
[pid=91127/tid=91129] ppid=91124 vsize=90532 memory=16432 CPUtime=243.96 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 3592 0 0 0 24331 65 0 0 20 0 2 0 77282155 92704768 3642 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 524.33 s
Current children cumulated vsize: 90532 KiB
Current children cumulated memory: 14568 KiB

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

/proc/meminfo: memFree=121342320/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92352 memory=17000 CPUtime=2397.02 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 24530 0 0 0 238945 757 0 0 20 0 2 0 77282155 94568448 4250 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23088 4250 672 633 0 6009 0
[pid=91127/tid=91129] ppid=91124 vsize=92352 memory=10752 CPUtime=1104.72 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 4250 0 0 0 110291 181 0 0 20 0 2 0 77282155 94568448 4250 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2397.02 s
Current children cumulated vsize: 92352 KiB
Current children cumulated memory: 17000 KiB

[startup+1362.3 s]
/proc/loadavg: 7.59 7.37 6.83 8/267 91246
/proc/meminfo: memFree=121340940/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92352 memory=17256 CPUtime=2506.81 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 25533 0 0 0 249894 787 0 0 20 0 2 0 77282155 94568448 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23088 4314 672 633 0 6009 0
[pid=91127/tid=91129] ppid=91124 vsize=92352 memory=17256 CPUtime=1155.03 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 4455 0 0 0 115315 188 0 0 20 0 2 0 77282155 94568448 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2506.81 s
Current children cumulated vsize: 92352 KiB
Current children cumulated memory: 17256 KiB

[startup+1422.3 s]
/proc/loadavg: 7.35 7.33 6.85 7/268 91253
/proc/meminfo: memFree=121340828/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92352 memory=17256 CPUtime=2616.64 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 25562 0 0 0 260847 817 0 0 20 0 2 0 77282155 94568448 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23088 4314 672 633 0 6009 0
[pid=91127/tid=91129] ppid=91124 vsize=92352 memory=17256 CPUtime=1205.4 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 4455 0 0 0 120344 196 0 0 20 0 2 0 77282155 94568448 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2616.64 s
Current children cumulated vsize: 92352 KiB
Current children cumulated memory: 17256 KiB

[startup+1482.3 s]
/proc/loadavg: 7.68 7.44 6.92 7/267 91255
/proc/meminfo: memFree=121340700/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92492 memory=17256 CPUtime=2726.42 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 25579 0 0 0 271795 847 0 0 20 0 2 0 77282155 94711808 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23123 4314 672 633 0 6044 0
[pid=91127/tid=91129] ppid=91124 vsize=92492 memory=17256 CPUtime=1255.73 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 4455 0 0 0 125369 204 0 0 20 0 2 0 77282155 94711808 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2726.42 s
Current children cumulated vsize: 92492 KiB
Current children cumulated memory: 17256 KiB

[startup+1542.3 s]
/proc/loadavg: 7.54 7.45 6.96 9/268 91258
/proc/meminfo: memFree=121340572/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92492 memory=17256 CPUtime=2836.17 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 26637 0 0 0 282744 873 0 0 20 0 2 0 77282155 94711808 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23123 4314 672 633 0 6044 0
[pid=91127/tid=91129] ppid=91124 vsize=92492 memory=17256 CPUtime=1306.04 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 4687 0 0 0 130394 210 0 0 20 0 2 0 77282155 94711808 4314 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2836.17 s
Current children cumulated vsize: 92492 KiB
Current children cumulated memory: 17256 KiB

[startup+1602.3 s]
/proc/loadavg: 7.74 7.53 7.02 9/268 91260
/proc/meminfo: memFree=121341164/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92492 memory=17384 CPUtime=2945.9 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 27712 0 0 0 293687 903 0 0 20 0 2 0 77282155 94711808 4346 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23123 4346 672 633 0 6044 0
[pid=91127/tid=91129] ppid=91124 vsize=92492 memory=17384 CPUtime=1356.32 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 4926 0 0 0 135414 218 0 0 20 0 2 0 77282155 94711808 4346 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 2945.9 s
Current children cumulated vsize: 92492 KiB
Current children cumulated memory: 17384 KiB

[startup+1662.3 s]
/proc/loadavg: 7.45 7.47 7.03 9/268 91262
/proc/meminfo: memFree=121340732/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92624 memory=17512 CPUtime=3055.66 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 28824 0 0 0 304637 929 0 0 20 0 2 0 77282155 94846976 4378 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23156 4378 672 633 0 6077 0
[pid=91127/tid=91129] ppid=91124 vsize=92624 memory=16432 CPUtime=1406.58 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) S 91124 91127 90346 0 -1 4194368 5203 0 0 0 140433 225 0 0 20 0 2 0 77282155 94846976 4378 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 3055.66 s
Current children cumulated vsize: 92624 KiB
Current children cumulated memory: 17512 KiB

[startup+1722.3 s]
/proc/loadavg: 7.53 7.49 7.07 8/262 91272
/proc/meminfo: memFree=121343536/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92624 memory=17512 CPUtime=3165.44 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 29940 0 0 0 315588 956 0 0 20 0 2 0 77282155 94846976 4378 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23156 4378 672 633 0 6077 0
[pid=91127/tid=91129] ppid=91124 vsize=92624 memory=16432 CPUtime=1456.88 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) S 91124 91127 90346 0 -1 4194368 5443 0 0 0 145456 232 0 0 20 0 2 0 77282155 94846976 4378 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 3165.44 s
Current children cumulated vsize: 92624 KiB
Current children cumulated memory: 17512 KiB

[startup+1782.3 s]
/proc/loadavg: 7.46 7.49 7.09 9/268 91314
/proc/meminfo: memFree=121313012/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92624 memory=17640 CPUtime=3273.14 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 29953 0 0 0 326333 981 0 0 20 0 2 0 77282155 94846976 4410 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23156 4410 672 633 0 6077 0
[pid=91127/tid=91129] ppid=91124 vsize=92624 memory=19072 CPUtime=1505.11 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 5443 0 0 0 150272 239 0 0 20 0 2 0 77282155 94846976 4410 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 92624 KiB
Current children cumulated memory: 17640 KiB

[startup+1842.3 s]
/proc/loadavg: 7.37 7.47 7.11 8/268 91363
/proc/meminfo: memFree=121315692/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92624 memory=17768 CPUtime=3382.89 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 31087 0 0 0 337282 1007 0 0 20 0 2 0 77282155 94846976 4442 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23156 4442 672 633 0 6077 0
[pid=91127/tid=91129] ppid=91124 vsize=92624 memory=17768 CPUtime=1555.37 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 5727 0 0 0 155291 246 0 0 20 0 2 0 77282155 94846976 4442 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 3382.89 s
Current children cumulated vsize: 92624 KiB
Current children cumulated memory: 17768 KiB

[startup+1902.3 s]
/proc/loadavg: 7.59 7.51 7.15 8/268 91366
/proc/meminfo: memFree=121301176/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92756 memory=17768 CPUtime=3491.62 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 31107 0 0 0 348131 1031 0 0 20 0 2 0 77282155 94982144 4442 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23189 4442 672 633 0 6110 0
[pid=91127/tid=91129] ppid=91124 vsize=92756 memory=17768 CPUtime=1604.66 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) S 91124 91127 90346 0 -1 4194368 5728 0 0 0 160213 253 0 0 20 0 2 0 77282155 94982144 4442 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 3491.62 s
Current children cumulated vsize: 92756 KiB
Current children cumulated memory: 17768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1962.2 s]
/proc/loadavg: 7.49 7.51 7.17 7/269 91369
/proc/meminfo: memFree=121309880/131250000 swapFree=33009904/33010684
[pid=91127] ppid=91124 vsize=92756 memory=17768 CPUtime=3600.07 cores=4,6
/proc/91127/stat : 91127 (pb_competition_) R 91124 91127 90346 0 -1 4194304 31125 0 0 0 358950 1057 0 0 20 0 2 0 77282155 94982144 4442 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
/proc/91127/statm: 23189 4442 672 633 0 6110 0
[pid=91127/tid=91129] ppid=91124 vsize=92756 memory=7971799614106517357 CPUtime=1653.78 cores=4,6
/proc/91127/task/91129/stat : 91129 (pb_competition_) R 91124 91127 90346 0 -1 4194368 5728 0 0 0 165119 259 0 0 20 0 2 0 77282155 94982144 4442 18446744073709551615 4198400 6788177 140721711543760 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 28786688 140721711552856 140721711552982 140721711552982 140721711558586 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 92756 KiB
Current children cumulated memory: 17768 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.53 s, system=10.5737 s

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

Child status: 0

Real time (s): 1962.22
CPU time (s): 3600.1
CPU user time (s): 3589.53
CPU system time (s): 10.5737
CPU usage (%): 183.47
Max. virtual memory (cumulated for all children) (KiB): 92756
Max. memory (cumulated for all children) (KiB): 17768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.53
system time used= 10.5737
maximum resident set size= 17768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31207
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= 49570
involuntary context switches= 93916


# summary of solver processes directly reported to runsolver:
#   pid: 91127
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3589.53
#   total CPU system time (s): 10.5737

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.90316 second user time and 8.87781 second system time

The end