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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520800-1751566991/watcher-4520800-1751566991 -o /tmp/evaluation-result-4520800-1751566991/solver-4520800-1751566991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751566991-80086 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1059741070 HOME/instance-4520800-1751566991.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=80143, runsolver pid=80128

[startup+0.100059 s]*
/proc/loadavg: 0.68 1.61 2.73 7/268 80148
/proc/meminfo: memFree=108669132/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=84488 memory=10624 CPUtime=0.18 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 2138 0 0 0 18 0 0 0 20 0 2 0 72377648 86515712 2656 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21122 2656 672 633 0 4086 0
[pid=80143/tid=80147] ppid=80128 vsize=84488 memory=4026532124 CPUtime=0.08 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 136 0 0 0 8 0 0 0 20 0 2 0 72377649 86515712 2656 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 84488 KiB
Current children cumulated memory: 10624 KiB

[startup+0.20576 s]*
/proc/loadavg: 0.68 1.61 2.73 8/268 80148
/proc/meminfo: memFree=108665352/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=84696 memory=10752 CPUtime=0.38 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 2207 0 0 0 38 0 0 0 20 0 2 0 72377648 86728704 2688 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21174 2688 672 633 0 4138 0
[pid=80143/tid=80147] ppid=80128 vsize=84696 memory=664958721904869660 CPUtime=0.18 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 136 0 0 0 18 0 0 0 20 0 2 0 72377649 86728704 2688 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 84696 KiB
Current children cumulated memory: 10752 KiB

[startup+0.305687 s]*
/proc/loadavg: 0.68 1.61 2.73 8/268 80148
/proc/meminfo: memFree=108665352/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=84696 memory=10752 CPUtime=0.56 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 2207 0 0 0 56 0 0 0 20 0 2 0 72377648 86728704 2688 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21174 2688 672 633 0 4138 0
[pid=80143/tid=80147] ppid=80128 vsize=84696 memory=-6880795192744645740 CPUtime=0.27 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 136 0 0 0 27 0 0 0 20 0 2 0 72377649 86728704 2688 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 84696 KiB
Current children cumulated memory: 10752 KiB

[startup+0.700175 s]
/proc/loadavg: 0.68 1.61 2.73 7/268 80148
/proc/meminfo: memFree=108665328/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=84920 memory=10880 CPUtime=1.32 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 2456 0 0 0 131 1 0 0 20 0 2 0 72377648 86958080 2720 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21230 2720 672 633 0 4194 0
[pid=80143/tid=80147] ppid=80128 vsize=84920 memory=18432 CPUtime=0.65 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 136 0 0 0 65 0 0 0 20 0 2 0 72377649 86958080 2720 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 84920 KiB
Current children cumulated memory: 10880 KiB

[startup+1.50019 s]
/proc/loadavg: 0.68 1.61 2.73 8/268 80148
/proc/meminfo: memFree=108665328/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=85152 memory=11308 CPUtime=2.89 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 8346 0 0 0 286 3 0 0 20 0 2 0 72377648 87195648 2827 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21288 2827 672 633 0 4252 0
[pid=80143/tid=80147] ppid=80128 vsize=85152 memory=18432 CPUtime=1.43 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 461 0 0 0 143 0 0 0 20 0 2 0 72377649 87195648 2827 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 85152 KiB
Current children cumulated memory: 11308 KiB

[startup+3.10556 s]
/proc/loadavg: 0.68 1.61 2.73 10/268 80148
/proc/meminfo: memFree=108665680/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=85300 memory=11488 CPUtime=6.06 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 23382 0 0 0 598 8 0 0 20 0 2 0 72377648 87347200 2872 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21325 2872 672 633 0 4289 0
[pid=80143/tid=80147] ppid=80128 vsize=85300 memory=14344 CPUtime=3 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 610 0 0 0 299 1 0 0 20 0 2 0 72377649 87347200 2872 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 6.06 s
Current children cumulated vsize: 85300 KiB
Current children cumulated memory: 11488 KiB

[startup+6.30016 s]
/proc/loadavg: 1.19 1.70 2.75 9/266 80148
/proc/meminfo: memFree=108665500/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=85504 memory=11496 CPUtime=12.3 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 25543 0 0 0 1220 10 0 0 20 0 2 0 72377648 87556096 2874 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21376 2874 672 633 0 4340 0
[pid=80143/tid=80147] ppid=80128 vsize=85504 memory=11616 CPUtime=6.06 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 646 0 0 0 605 1 0 0 20 0 2 0 72377649 87556096 2874 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 85504 KiB
Current children cumulated memory: 11496 KiB

[startup+12.7002 s]
/proc/loadavg: 1.65 1.79 2.77 10/266 80149
/proc/meminfo: memFree=108665256/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=85488 memory=11500 CPUtime=24.63 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 30527 0 0 0 2450 13 0 0 20 0 2 0 72377648 87539712 2875 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21372 2875 672 633 0 4336 0
[pid=80143/tid=80147] ppid=80128 vsize=85488 memory=7971796306964987243 CPUtime=12.04 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 1241 0 0 0 1202 2 0 0 20 0 2 0 72377649 87539712 2875 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 24.63 s
Current children cumulated vsize: 85488 KiB
Current children cumulated memory: 11500 KiB

[startup+25.5002 s]
/proc/loadavg: 2.84 2.04 2.84 9/266 80149
/proc/meminfo: memFree=108664508/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=85656 memory=11792 CPUtime=49.99 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 36428 0 0 0 4975 24 0 0 20 0 2 0 72377648 87711744 2948 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21414 2948 672 633 0 4378 0
[pid=80143/tid=80147] ppid=80128 vsize=85656 memory=11672 CPUtime=24.69 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 1699 0 0 0 2465 4 0 0 20 0 2 0 72377649 87711744 2948 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 49.99 s
Current children cumulated vsize: 85656 KiB
Current children cumulated memory: 11792 KiB

[startup+51.1057 s]
/proc/loadavg: 4.54 2.51 2.98 9/266 80149
/proc/meminfo: memFree=108663800/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86120 memory=12092 CPUtime=97.07 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 39006 0 0 0 9665 42 0 0 20 0 2 0 72377648 88186880 3023 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21530 3023 672 633 0 4494 0
[pid=80143/tid=80147] ppid=80128 vsize=86120 memory=12092 CPUtime=46.36 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) S 80128 80143 80074 0 -1 4194368 1947 0 0 0 4630 6 0 0 20 0 2 0 72377649 88186880 3023 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 97.07 s
Current children cumulated vsize: 86120 KiB
Current children cumulated memory: 12092 KiB

[startup+102.3 s]
/proc/loadavg: 6.20 3.26 3.21 9/266 80151
/proc/meminfo: memFree=108654772/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86128 memory=12240 CPUtime=196.57 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 43077 0 0 0 19581 76 0 0 20 0 2 0 72377648 88195072 3060 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21532 3060 672 633 0 4496 0
[pid=80143/tid=80147] ppid=80128 vsize=86128 memory=18432 CPUtime=95.08 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 3140 0 0 0 9495 13 0 0 20 0 2 0 72377649 88195072 3060 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 196.57 s
Current children cumulated vsize: 86128 KiB
Current children cumulated memory: 12240 KiB

[startup+162.3 s]
/proc/loadavg: 6.91 3.99 3.47 9/266 80153
/proc/meminfo: memFree=108630396/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86124 memory=12248 CPUtime=307.53 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 45933 0 0 0 30636 117 0 0 20 0 2 0 72377648 88190976 3062 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21531 3062 672 633 0 4495 0
[pid=80143/tid=80147] ppid=80128 vsize=86124 memory=2241 CPUtime=146.49 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 3574 0 0 0 14627 22 0 0 20 0 2 0 72377649 88190976 3062 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 307.53 s
Current children cumulated vsize: 86124 KiB
Current children cumulated memory: 12248 KiB

[startup+222.3 s]
/proc/loadavg: 7.37 4.66 3.73 9/267 80158
/proc/meminfo: memFree=108660020/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86216 memory=12260 CPUtime=425.67 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 66169 0 0 0 42401 166 0 0 20 0 2 0 72377648 88285184 3065 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21554 3065 672 633 0 4518 0
[pid=80143/tid=80147] ppid=80128 vsize=86216 memory=14344 CPUtime=205.07 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 3687 0 0 0 20478 29 0 0 20 0 2 0 72377649 88285184 3065 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 425.67 s
Current children cumulated vsize: 86216 KiB
Current children cumulated memory: 12260 KiB

[startup+282.3 s]
/proc/loadavg: 7.37 5.17 3.97 9/267 80160
/proc/meminfo: memFree=108659780/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86428 memory=12452 CPUtime=543.77 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 67604 0 0 0 54165 212 0 0 20 0 2 0 72377648 88502272 3113 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21607 3113 672 633 0 4571 0
[pid=80143/tid=80147] ppid=80128 vsize=86428 memory=18432 CPUtime=263.62 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 3699 0 0 0 26325 37 0 0 20 0 2 0 72377649 88502272 3113 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 543.77 s
Current children cumulated vsize: 86428 KiB

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

/proc/meminfo: memFree=108638864/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86392 memory=12396 CPUtime=2316.4 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 84322 0 0 0 230853 787 0 0 20 0 2 0 72377648 88465408 3099 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21598 3099 672 633 0 4562 0
[pid=80143/tid=80147] ppid=80128 vsize=86392 memory=12476 CPUtime=1143.15 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 4977 0 0 0 114172 143 0 0 20 0 2 0 72377649 88465408 3099 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2316.4 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 12396 KiB

[startup+1242.3 s]
/proc/loadavg: 7.31 7.35 6.25 10/267 80207
/proc/meminfo: memFree=108639508/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86392 memory=12396 CPUtime=2434.45 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 84323 0 0 0 242617 828 0 0 20 0 2 0 72377648 88465408 3099 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21598 3099 672 633 0 4562 0
[pid=80143/tid=80147] ppid=80128 vsize=86392 memory=12396 CPUtime=1201.63 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 4977 0 0 0 120014 149 0 0 20 0 2 0 72377649 88465408 3099 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2434.45 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 12396 KiB

[startup+1302.3 s]
/proc/loadavg: 7.16 7.33 6.31 9/267 80209
/proc/meminfo: memFree=108639012/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86372 memory=12496 CPUtime=2552.5 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 85484 0 0 0 254387 863 0 0 20 0 2 0 72377648 88444928 3124 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21593 3124 672 633 0 4557 0
[pid=80143/tid=80147] ppid=80128 vsize=86372 memory=12396 CPUtime=1260.13 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5060 0 0 0 125857 156 0 0 20 0 2 0 72377649 88444928 3124 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2552.5 s
Current children cumulated vsize: 86372 KiB
Current children cumulated memory: 12496 KiB

[startup+1362.3 s]
/proc/loadavg: 7.43 7.36 6.39 9/265 80211
/proc/meminfo: memFree=108639036/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86380 memory=12392 CPUtime=2670.53 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 86389 0 0 0 266152 901 0 0 20 0 2 0 72377648 88453120 3098 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21595 3098 672 633 0 4559 0
[pid=80143/tid=80147] ppid=80128 vsize=86380 memory=14344 CPUtime=1318.63 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5140 0 0 0 131701 162 0 0 20 0 2 0 72377649 88453120 3098 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2670.53 s
Current children cumulated vsize: 86380 KiB
Current children cumulated memory: 12392 KiB

[startup+1422.3 s]
/proc/loadavg: 7.37 7.36 6.45 8/266 80216
/proc/meminfo: memFree=108640088/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86380 memory=12384 CPUtime=2788.62 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 87278 0 0 0 277924 938 0 0 20 0 2 0 72377648 88453120 3096 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21595 3096 672 633 0 4559 0
[pid=80143/tid=80147] ppid=80128 vsize=86380 memory=12384 CPUtime=1377.16 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5172 0 0 0 137547 169 0 0 20 0 2 0 72377649 88453120 3096 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2788.62 s
Current children cumulated vsize: 86380 KiB
Current children cumulated memory: 12384 KiB

[startup+1482.3 s]
/proc/loadavg: 7.33 7.35 6.51 9/266 80217
/proc/meminfo: memFree=108647476/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86376 memory=12488 CPUtime=2906.69 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 88228 0 0 0 289695 974 0 0 20 0 2 0 72377648 88449024 3122 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21594 3122 672 633 0 4558 0
[pid=80143/tid=80147] ppid=80128 vsize=86376 memory=12520 CPUtime=1435.73 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5304 0 0 0 143396 177 0 0 20 0 2 0 72377649 88449024 3122 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 2906.69 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 12488 KiB

[startup+1542.3 s]
/proc/loadavg: 7.28 7.32 6.55 10/266 80219
/proc/meminfo: memFree=108649576/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86376 memory=12496 CPUtime=3024.73 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 88665 0 0 0 301461 1012 0 0 20 0 2 0 72377648 88449024 3124 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21594 3124 672 633 0 4558 0
[pid=80143/tid=80147] ppid=80128 vsize=86376 memory=140038281196481 CPUtime=1494.22 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5304 0 0 0 149238 184 0 0 20 0 2 0 72377649 88449024 3124 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 3024.73 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 12496 KiB

[startup+1602.3 s]
/proc/loadavg: 7.26 7.31 6.60 10/266 80221
/proc/meminfo: memFree=108647820/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86376 memory=12504 CPUtime=3142.81 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 89879 0 0 0 313230 1051 0 0 20 0 2 0 72377648 88449024 3126 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21594 3126 672 633 0 4558 0
[pid=80143/tid=80147] ppid=80128 vsize=86376 memory=12464 CPUtime=1552.76 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5430 0 0 0 155085 191 0 0 20 0 2 0 72377649 88449024 3126 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 3142.81 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 12504 KiB

[startup+1662.3 s]
/proc/loadavg: 7.39 7.32 6.65 9/266 80228
/proc/meminfo: memFree=108658340/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86376 memory=12352 CPUtime=3260.83 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 90633 0 0 0 324996 1087 0 0 20 0 2 0 72377648 88449024 3088 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21594 3088 672 633 0 4558 0
[pid=80143/tid=80147] ppid=80128 vsize=86376 memory=12464 CPUtime=1611.27 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5430 0 0 0 160930 197 0 0 20 0 2 0 72377649 88449024 3088 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 3260.83 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 12352 KiB

[startup+1722.3 s]
/proc/loadavg: 7.55 7.38 6.71 10/265 80230
/proc/meminfo: memFree=108656812/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86392 memory=12436 CPUtime=3378.86 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 91756 0 0 0 336760 1126 0 0 20 0 2 0 72377648 88465408 3109 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21598 3109 672 633 0 4562 0
[pid=80143/tid=80147] ppid=80128 vsize=86392 memory=12464 CPUtime=1669.77 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5613 0 0 0 166773 204 0 0 20 0 2 0 72377649 88465408 3109 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 3378.86 s
Current children cumulated vsize: 86392 KiB
Current children cumulated memory: 12436 KiB

[startup+1782.3 s]
/proc/loadavg: 7.39 7.36 6.75 9/265 80232
/proc/meminfo: memFree=108656276/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86376 memory=12464 CPUtime=3496.86 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 93389 0 0 0 348521 1165 0 0 20 0 2 0 72377648 88449024 3116 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21594 3116 672 633 0 4558 0
[pid=80143/tid=80147] ppid=80128 vsize=86376 memory=12400 CPUtime=1728.22 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5711 0 0 0 172612 210 0 0 20 0 2 0 72377649 88449024 3116 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 3496.86 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 12464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1834.8 s]
/proc/loadavg: 7.48 7.39 6.80 9/265 80234
/proc/meminfo: memFree=108663728/131249988 swapFree=33010416/33010684
[pid=80143] ppid=80128 vsize=86376 memory=12364 CPUtime=3600.13 cores=1,3
/proc/80143/stat : 80143 (pb_competition_) R 80128 80143 80074 0 -1 4194304 94194 0 0 0 358813 1200 0 0 20 0 2 0 72377648 88449024 3091 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
/proc/80143/statm: 21594 3091 672 633 0 4558 0
[pid=80143/tid=80147] ppid=80128 vsize=86376 memory=7971514831988342123 CPUtime=1779.38 cores=1,3
/proc/80143/task/80147/stat : 80147 (pb_competition_) R 80128 80143 80074 0 -1 4194368 5711 0 0 0 177722 216 0 0 20 0 2 0 72377649 88449024 3091 18446744073709551615 4198400 6788177 140732740986304 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 7512064 140732740991321 140732740991448 140732740991448 140732740997050 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 86376 KiB
Current children cumulated memory: 12364 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.15 s, system=12.0105 s

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

Child status: 0

Real time (s): 1834.81
CPU time (s): 3600.16
CPU user time (s): 3588.15
CPU system time (s): 12.0105
CPU usage (%): 196.214
Max. virtual memory (cumulated for all children) (KiB): 86648
Max. memory (cumulated for all children) (KiB): 12580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.15
system time used= 12.0105
maximum resident set size= 12580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94405
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= 55962
involuntary context switches= 33311


# summary of solver processes directly reported to runsolver:
#   pid: 80143
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3588.15
#   total CPU system time (s): 12.0105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.83183 second user time and 8.11281 second system time

The end