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: 63794 MiB (62605 MiB free)
  memory of node 1: 64507 MiB (63839 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502552-1751424115/watcher-4502552-1751424115 -o /tmp/evaluation-result-4502552-1751424115/solver-4502552-1751424115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751422121-60021 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 146667316 HOME/instance-4502552-1751424115.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100073 s]*
/proc/loadavg: 6.68 6.95 6.34 6/254 60273
/proc/meminfo: memFree=129479976/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=88980 memory=15360 CPUtime=0.15 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) S 60268 60271 60011 0 -1 4194304 3323 0 0 0 14 1 0 0 20 0 2 0 58090379 91115520 3840 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22245 3840 672 633 0 5306 0
[pid=60271/tid=60273] ppid=60268 vsize=88980 memory=4026531960 CPUtime=0.04 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 233 0 0 0 4 0 0 0 20 0 2 0 58090379 91115520 3840 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 88980 KiB
Current children cumulated memory: 15360 KiB

[startup+0.213102 s]*
/proc/loadavg: 6.68 6.95 6.34 6/254 60273
/proc/meminfo: memFree=129480228/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=88980 memory=15360 CPUtime=0.34 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 3327 0 0 0 33 1 0 0 20 0 2 0 58090379 91115520 3840 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22245 3840 672 633 0 5306 0
[pid=60271/tid=60273] ppid=60268 vsize=88980 memory=4208735117501333788 CPUtime=0.13 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 233 0 0 0 13 0 0 0 20 0 2 0 58090379 91115520 3840 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 88980 KiB
Current children cumulated memory: 15360 KiB

[startup+0.317208 s]*
/proc/loadavg: 6.68 6.95 6.34 6/254 60273
/proc/meminfo: memFree=129480228/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=89080 memory=15488 CPUtime=0.53 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 3364 0 0 0 52 1 0 0 20 0 2 0 58090379 91217920 3872 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22270 3872 672 633 0 5331 0
[pid=60271/tid=60273] ppid=60268 vsize=89080 memory=7971800709306204268 CPUtime=0.21 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 233 0 0 0 21 0 0 0 20 0 2 0 58090379 91217920 3872 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 89080 KiB
Current children cumulated memory: 15488 KiB

[startup+0.700291 s]
/proc/loadavg: 6.68 6.95 6.34 7/254 60273
/proc/meminfo: memFree=129480228/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=89204 memory=15612 CPUtime=1.18 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 3741 0 0 0 117 1 0 0 20 0 2 0 58090379 91344896 3903 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22301 3903 672 633 0 5362 0
[pid=60271/tid=60273] ppid=60268 vsize=89204 memory=17920 CPUtime=0.53 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 233 0 0 0 53 0 0 0 20 0 2 0 58090379 91344896 3903 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 89204 KiB
Current children cumulated memory: 15612 KiB

[startup+1.50022 s]
/proc/loadavg: 6.68 6.95 6.34 6/254 60273
/proc/meminfo: memFree=129480228/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=89632 memory=15968 CPUtime=2.72 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 27058 0 0 0 267 5 0 0 20 0 2 0 58090379 91783168 3992 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22408 3992 672 633 0 5469 0
[pid=60271/tid=60273] ppid=60268 vsize=89632 memory=17920 CPUtime=1.27 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 530 0 0 0 127 0 0 0 20 0 2 0 58090379 91783168 4024 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 89632 KiB
Current children cumulated memory: 15968 KiB

[startup+3.10545 s]
/proc/loadavg: 6.78 6.97 6.35 8/254 60273
/proc/meminfo: memFree=129463944/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=89764 memory=16260 CPUtime=5.87 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 123793 0 0 0 569 18 0 0 20 0 2 0 58090379 91918336 4065 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22441 4065 672 633 0 5502 0
[pid=60271/tid=60273] ppid=60268 vsize=89764 memory=16096 CPUtime=2.82 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 844 0 0 0 282 0 0 0 20 0 2 0 58090379 91918336 4065 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 89764 KiB
Current children cumulated memory: 16260 KiB

[startup+6.3002 s]
/proc/loadavg: 6.78 6.97 6.35 8/254 60273
/proc/meminfo: memFree=129463944/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=89824 memory=16332 CPUtime=12.11 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 177613 0 0 0 1185 26 0 0 20 0 2 0 58090379 91979776 4083 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22456 4083 672 633 0 5517 0
[pid=60271/tid=60273] ppid=60268 vsize=89824 memory=17920 CPUtime=5.9 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 1032 0 0 0 589 1 0 0 20 0 2 0 58090379 91979776 4083 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 12.11 s
Current children cumulated vsize: 89824 KiB
Current children cumulated memory: 16332 KiB

[startup+12.7003 s]
/proc/loadavg: 6.64 6.93 6.34 7/254 60273
/proc/meminfo: memFree=129464196/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90168 memory=16588 CPUtime=23.34 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 211424 0 0 0 2300 34 0 0 20 0 2 0 58090379 92332032 4147 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22542 4147 672 633 0 5603 0
[pid=60271/tid=60273] ppid=60268 vsize=90168 memory=16588 CPUtime=10.77 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) S 60268 60271 60011 0 -1 4194368 1268 0 0 0 1076 1 0 0 20 0 2 0 58090379 92332032 4147 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 23.34 s
Current children cumulated vsize: 90168 KiB
Current children cumulated memory: 16588 KiB

[startup+25.5004 s]
/proc/loadavg: 6.58 6.91 6.34 7/254 60273
/proc/meminfo: memFree=129444184/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90108 memory=16676 CPUtime=36.43 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 473081 0 0 0 3570 73 0 0 20 0 2 0 58090379 92270592 4169 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22527 4169 672 633 0 5588 0
[pid=60271/tid=60273] ppid=60268 vsize=90108 memory=14720 CPUtime=11.12 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) S 60268 60271 60011 0 -1 4194368 1269 0 0 0 1111 1 0 0 20 0 2 0 58090379 92270592 4169 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 36.43 s
Current children cumulated vsize: 90108 KiB
Current children cumulated memory: 16676 KiB

[startup+51.1054 s]
/proc/loadavg: 6.53 6.87 6.34 9/254 60274
/proc/meminfo: memFree=129445972/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90108 memory=16736 CPUtime=82.44 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 1741681 0 0 0 7991 253 0 0 20 0 2 0 58090379 92270592 4184 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22527 4184 672 633 0 5588 0
[pid=60271/tid=60273] ppid=60268 vsize=90328 memory=16844 CPUtime=31.76 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 1272 0 0 0 3172 4 0 0 20 0 2 0 58090379 92495872 4184 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 82.44 s
Current children cumulated vsize: 90108 KiB
Current children cumulated memory: 16736 KiB

[startup+102.3 s]
/proc/loadavg: 6.87 6.89 6.38 7/255 60323
/proc/meminfo: memFree=129423800/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90340 memory=16760 CPUtime=182.38 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 4284541 0 0 0 17623 615 0 0 20 0 2 0 58090379 92508160 4190 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22585 4190 672 633 0 5646 0
[pid=60271/tid=60273] ppid=60268 vsize=90340 memory=16888 CPUtime=80.94 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 1580 0 0 0 8085 9 0 0 20 0 2 0 58090379 92508160 4190 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 182.38 s
Current children cumulated vsize: 90340 KiB
Current children cumulated memory: 16760 KiB

[startup+162.3 s]
/proc/loadavg: 7.29 7.03 6.46 7/255 60325
/proc/meminfo: memFree=129418404/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90736 memory=17044 CPUtime=299.55 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 7359376 0 0 0 28914 1041 0 0 20 0 2 0 58090379 92913664 4261 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22684 4261 672 633 0 5745 0
[pid=60271/tid=60273] ppid=60268 vsize=90736 memory=16784 CPUtime=138.62 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 1824 0 0 0 13845 17 0 0 20 0 2 0 58090379 92913664 4261 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 299.55 s
Current children cumulated vsize: 90736 KiB
Current children cumulated memory: 17044 KiB

[startup+222.3 s]
/proc/loadavg: 7.11 7.02 6.50 7/255 60327
/proc/meminfo: memFree=129426492/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90400 memory=16956 CPUtime=416.64 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 10734251 0 0 0 40166 1498 0 0 20 0 2 0 58090379 92569600 4239 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22600 4239 672 633 0 5661 0
[pid=60271/tid=60273] ppid=60268 vsize=90400 memory=16956 CPUtime=196.19 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 2490 0 0 0 19595 24 0 0 20 0 2 0 58090379 92569600 4239 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 416.64 s
Current children cumulated vsize: 90400 KiB
Current children cumulated memory: 16956 KiB

[startup+282.3 s]
/proc/loadavg: 6.80 6.95 6.50 8/255 60328
/proc/meminfo: memFree=129435872/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90704 memory=17132 CPUtime=533.78 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 14059924 0 0 0 51433 1945 0 0 20 0 2 0 58090379 92880896 4283 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22676 4283 672 633 0 5737 0
[pid=60271/tid=60273] ppid=60268 vsize=90704 memory=17044 CPUtime=253.86 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 2885 0 0 0 25354 32 0 0 20 0 2 0 58090379 92880896 4283 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 533.78 s
Current children cumulated vsize: 90704 KiB
Current children cumulated memory: 17132 KiB

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

/proc/meminfo: memFree=129522980/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90456 memory=17012 CPUtime=2318.25 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 68220120 0 0 0 222761 9064 0 0 20 0 2 0 58090379 92626944 4253 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22614 4253 672 633 0 5675 0
[pid=60271/tid=60273] ppid=60268 vsize=90456 memory=17112 CPUtime=1085.49 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 3700 0 0 0 108421 128 0 0 20 0 2 0 58090379 92626944 4253 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2318.25 s
Current children cumulated vsize: 90456 KiB
Current children cumulated memory: 17012 KiB

[startup+1302.3 s]
/proc/loadavg: 7.26 7.14 6.95 8/254 60435
/proc/meminfo: memFree=129522340/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90456 memory=17012 CPUtime=2435.26 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 71483573 0 0 0 234020 9506 0 0 20 0 2 0 58090379 92626944 4253 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22614 4253 672 633 0 5675 0
[pid=60271/tid=60273] ppid=60268 vsize=90456 memory=17160 CPUtime=1142.97 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 3910 0 0 0 114162 135 0 0 20 0 2 0 58090379 92626944 4253 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2435.26 s
Current children cumulated vsize: 90456 KiB
Current children cumulated memory: 17012 KiB

[startup+1362.3 s]
/proc/loadavg: 7.40 7.20 6.99 9/253 60437
/proc/meminfo: memFree=129522940/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90764 memory=17320 CPUtime=2552.3 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 74876189 0 0 0 245280 9950 0 0 20 0 2 0 58090379 92942336 4330 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22691 4330 672 633 0 5752 0
[pid=60271/tid=60273] ppid=60268 vsize=90764 memory=14720 CPUtime=1200.47 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 3910 0 0 0 119904 143 0 0 20 0 2 0 58090379 92942336 4330 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2552.3 s
Current children cumulated vsize: 90764 KiB
Current children cumulated memory: 17320 KiB

[startup+1422.3 s]
/proc/loadavg: 7.34 7.21 7.01 8/253 60439
/proc/meminfo: memFree=129522832/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90660 memory=17216 CPUtime=2669.49 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 78145572 0 0 0 256560 10389 0 0 20 0 2 0 58090379 92835840 4304 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22665 4304 672 633 0 5726 0
[pid=60271/tid=60273] ppid=60268 vsize=90660 memory=17180 CPUtime=1258.13 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4001 0 0 0 125663 150 0 0 20 0 2 0 58090379 92835840 4304 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2669.49 s
Current children cumulated vsize: 90660 KiB
Current children cumulated memory: 17216 KiB

[startup+1482.3 s]
/proc/loadavg: 7.30 7.23 7.03 8/253 60441
/proc/meminfo: memFree=129523488/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90780 memory=17216 CPUtime=2786.65 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 81412083 0 0 0 267846 10819 0 0 20 0 2 0 58090379 92958720 4304 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22695 4304 672 633 0 5756 0
[pid=60271/tid=60273] ppid=60268 vsize=90780 memory=14720 CPUtime=1315.74 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4043 0 0 0 131417 157 0 0 20 0 2 0 58090379 92958720 4304 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2786.65 s
Current children cumulated vsize: 90780 KiB
Current children cumulated memory: 17216 KiB

[startup+1542.3 s]
/proc/loadavg: 7.52 7.30 7.06 8/253 60443
/proc/meminfo: memFree=129522708/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90448 memory=17092 CPUtime=2903.71 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 84634055 0 0 0 279126 11245 0 0 20 0 2 0 58090379 92618752 4273 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22612 4273 672 633 0 5673 0
[pid=60271/tid=60273] ppid=60268 vsize=90448 memory=11264 CPUtime=1373.27 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4045 0 0 0 137163 164 0 0 20 0 2 0 58090379 92618752 4273 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 2903.71 s
Current children cumulated vsize: 90448 KiB
Current children cumulated memory: 17092 KiB

[startup+1602.3 s]
/proc/loadavg: 7.17 7.24 7.06 8/253 60445
/proc/meminfo: memFree=129522960/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90720 memory=17152 CPUtime=3020.76 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 87902326 0 0 0 290394 11682 0 0 20 0 2 0 58090379 92897280 4288 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22624 4288 672 633 0 5685 0
[pid=60271/tid=60273] ppid=60268 vsize=90496 memory=17204 CPUtime=1430.79 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4045 0 0 0 142906 173 0 0 20 0 2 0 58090379 92667904 4288 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 3020.76 s
Current children cumulated vsize: 90720 KiB
Current children cumulated memory: 17152 KiB

[startup+1662.3 s]
/proc/loadavg: 7.33 7.29 7.09 8/255 60451
/proc/meminfo: memFree=129521656/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90516 memory=17076 CPUtime=3137.86 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 91190249 0 0 0 301666 12120 0 0 20 0 2 0 58090379 92688384 4269 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22629 4269 672 633 0 5690 0
[pid=60271/tid=60273] ppid=60268 vsize=90516 memory=14720 CPUtime=1488.34 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4045 0 0 0 148656 178 0 0 20 0 2 0 58090379 92688384 4269 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 3137.86 s
Current children cumulated vsize: 90516 KiB
Current children cumulated memory: 17076 KiB

[startup+1722.3 s]
/proc/loadavg: 7.26 7.28 7.09 8/255 60453
/proc/meminfo: memFree=129521780/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90676 memory=17144 CPUtime=3255.05 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 94437722 0 0 0 312953 12552 0 0 20 0 2 0 58090379 92852224 4286 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22669 4286 672 633 0 5730 0
[pid=60271/tid=60273] ppid=60268 vsize=90676 memory=17192 CPUtime=1546 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4274 0 0 0 154415 185 0 0 20 0 2 0 58090379 92852224 4286 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 3255.05 s
Current children cumulated vsize: 90676 KiB
Current children cumulated memory: 17144 KiB

[startup+1782.3 s]
/proc/loadavg: 7.18 7.25 7.09 8/255 60460
/proc/meminfo: memFree=129521044/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90784 memory=17248 CPUtime=3372.24 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 97796906 0 0 0 324227 12997 0 0 20 0 2 0 58090379 92962816 4312 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22696 4312 672 633 0 5757 0
[pid=60271/tid=60273] ppid=60268 vsize=90784 memory=17300 CPUtime=1603.64 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4274 0 0 0 160172 192 0 0 20 0 2 0 58090379 92962816 4312 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 3372.24 s
Current children cumulated vsize: 90784 KiB
Current children cumulated memory: 17248 KiB

[startup+1842.3 s]
/proc/loadavg: 7.27 7.27 7.11 8/255 60462
/proc/meminfo: memFree=129520680/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90768 memory=17164 CPUtime=3489.36 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 101104515 0 0 0 335501 13435 0 0 20 0 2 0 58090379 92946432 4291 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22692 4291 672 633 0 5753 0
[pid=60271/tid=60273] ppid=60268 vsize=90768 memory=14720 CPUtime=1661.24 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4385 0 0 0 165926 198 0 0 20 0 2 0 58090379 92946432 4291 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 3489.36 s
Current children cumulated vsize: 90768 KiB
Current children cumulated memory: 17164 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1899 s]*
/proc/loadavg: 7.29 7.26 7.11 8/255 60464
/proc/meminfo: memFree=129521792/131382112 swapFree=33009904/33010684
[pid=60271] ppid=60268 vsize=90500 memory=17144 CPUtime=3600.05 cores=0,2
/proc/60271/stat : 60271 (pb_competition_) R 60268 60271 60011 0 -1 4194304 104218258 0 0 0 346150 13855 0 0 20 0 2 0 58090379 92672000 4286 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
/proc/60271/statm: 22625 4286 672 633 0 5686 0
[pid=60271/tid=60273] ppid=60268 vsize=90500 memory=7970112963252797549 CPUtime=1715.66 cores=0,2
/proc/60271/task/60273/stat : 60273 (pb_competition_) R 60268 60271 60011 0 -1 4194368 4385 0 0 0 171361 205 0 0 20 0 2 0 58090379 92672000 4286 18446744073709551615 4198400 6788177 140735212445424 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14774272 140735212452186 140735212452312 140735212452312 140735212457914 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 90500 KiB
Current children cumulated memory: 17144 KiB

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

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

# cumulated CPU time of all completed processes:  user=3461.52 s, system=138.554 s

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

Child status: 0

Real time (s): 1899.02
CPU time (s): 3600.07
CPU user time (s): 3461.52
CPU system time (s): 138.554
CPU usage (%): 189.576
Max. virtual memory (cumulated for all children) (KiB): 90908
Max. memory (cumulated for all children) (KiB): 17480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3461.52
system time used= 138.554
maximum resident set size= 17488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104218736
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= 37075
involuntary context switches= 33256


# summary of solver processes directly reported to runsolver:
#   pid: 60271
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3461.52
#   total CPU system time (s): 138.554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.96142 second user time and 9.19895 second system time

The end