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: 63665 MiB (62830 MiB free)
  memory of node 1: 64507 MiB (60392 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509146-1751513146/watcher-4509146-1751513146 -o /tmp/evaluation-result-4509146-1751513146/solver-4509146-1751513146 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751508182-75883 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 171851373 HOME/instance-4509146-1751513146.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=76423, runsolver pid=76420

[startup+0.100059 s]*
/proc/loadavg: 6.30 6.31 5.94 8/267 76425
/proc/meminfo: memFree=126176848/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=93188 memory=19836 CPUtime=0.16 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 4582 0 0 0 16 0 0 0 20 0 2 0 66992407 95424512 4959 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23297 4959 672 633 0 6471 0
[pid=76423/tid=76425] ppid=76420 vsize=93188 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 346 0 0 0 7 0 0 0 20 0 2 0 66992407 95424512 4959 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 93188 KiB
Current children cumulated memory: 19836 KiB

[startup+0.205523 s]*
/proc/loadavg: 6.30 6.31 5.94 8/267 76425
/proc/meminfo: memFree=126176848/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94072 memory=20732 CPUtime=0.34 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 4800 0 0 0 34 0 0 0 20 0 2 0 66992407 96329728 5183 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23518 5183 672 633 0 6692 0
[pid=76423/tid=76425] ppid=76420 vsize=94072 memory=664958721904869660 CPUtime=0.15 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 346 0 0 0 15 0 0 0 20 0 2 0 66992407 96329728 5183 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 94072 KiB
Current children cumulated memory: 20732 KiB

[startup+0.305321 s]*
/proc/loadavg: 6.30 6.31 5.94 8/267 76425
/proc/meminfo: memFree=126176848/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94204 memory=20988 CPUtime=0.52 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 4860 0 0 0 51 1 0 0 20 0 2 0 66992407 96464896 5247 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23551 5247 672 633 0 6725 0
[pid=76423/tid=76425] ppid=76420 vsize=94204 memory=7969544520136801134 CPUtime=0.22 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 346 0 0 0 22 0 0 0 20 0 2 0 66992407 96464896 5247 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 94204 KiB
Current children cumulated memory: 20988 KiB

[startup+0.700139 s]
/proc/loadavg: 6.30 6.31 5.94 8/267 76425
/proc/meminfo: memFree=126176848/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94336 memory=21116 CPUtime=1.23 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 4878 0 0 0 122 1 0 0 20 0 2 0 66992407 96600064 5279 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23584 5279 672 633 0 6758 0
[pid=76423/tid=76425] ppid=76420 vsize=94336 memory=18688 CPUtime=0.56 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 346 0 0 0 56 0 0 0 20 0 2 0 66992407 96600064 5279 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 94336 KiB
Current children cumulated memory: 21116 KiB

[startup+1.50016 s]
/proc/loadavg: 6.30 6.31 5.94 8/267 76425
/proc/meminfo: memFree=126172912/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94232 memory=20976 CPUtime=2.76 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 24019 0 0 0 273 3 0 0 20 0 2 0 66992407 96493568 5244 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23558 5244 672 633 0 6732 0
[pid=76423/tid=76425] ppid=76420 vsize=94232 memory=18688 CPUtime=1.3 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 537 0 0 0 130 0 0 0 20 0 2 0 66992407 96493568 5244 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 2.76 s
Current children cumulated vsize: 94232 KiB
Current children cumulated memory: 20976 KiB

[startup+3.10524 s]
/proc/loadavg: 6.30 6.31 5.94 8/267 76425
/proc/meminfo: memFree=126173084/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94704 memory=21376 CPUtime=5.86 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 50219 0 0 0 580 6 0 0 20 0 2 0 66992407 96976896 5344 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23676 5344 672 633 0 6850 0
[pid=76423/tid=76425] ppid=76420 vsize=94704 memory=21268 CPUtime=2.81 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 953 0 0 0 281 0 0 0 20 0 2 0 66992407 96976896 5344 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 94704 KiB
Current children cumulated memory: 21376 KiB

[startup+6.30015 s]
/proc/loadavg: 6.36 6.32 5.95 8/267 76425
/proc/meminfo: memFree=126173084/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94704 memory=21504 CPUtime=12.05 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 53433 0 0 0 1197 8 0 0 20 0 2 0 66992407 96976896 5376 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23676 5376 672 633 0 6850 0
[pid=76423/tid=76425] ppid=76420 vsize=94704 memory=18688 CPUtime=5.84 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 1482 0 0 0 583 1 0 0 20 0 2 0 66992407 96976896 5376 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 12.05 s
Current children cumulated vsize: 94704 KiB
Current children cumulated memory: 21504 KiB

[startup+12.7001 s]
/proc/loadavg: 6.41 6.33 5.96 7/268 76426
/proc/meminfo: memFree=126173068/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94836 memory=21632 CPUtime=23.41 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 59542 0 0 0 2329 12 0 0 20 0 2 0 66992407 97112064 5408 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23709 5408 672 633 0 6883 0
[pid=76423/tid=76425] ppid=76420 vsize=94836 memory=21632 CPUtime=10.82 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 1867 0 0 0 1081 1 0 0 20 0 2 0 66992407 97112064 5408 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 23.41 s
Current children cumulated vsize: 94836 KiB
Current children cumulated memory: 21632 KiB

[startup+25.5002 s]
/proc/loadavg: 6.54 6.36 5.97 8/268 76426
/proc/meminfo: memFree=126172836/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94968 memory=21760 CPUtime=48.05 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 61855 0 0 0 4785 20 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23742 5440 672 633 0 6916 0
[pid=76423/tid=76425] ppid=76420 vsize=94968 memory=21760 CPUtime=22.74 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 2193 0 0 0 2272 2 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 48.05 s
Current children cumulated vsize: 94968 KiB
Current children cumulated memory: 21760 KiB

[startup+51.1053 s]
/proc/loadavg: 6.76 6.43 6.01 8/268 76427
/proc/meminfo: memFree=126172836/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94968 memory=21760 CPUtime=97.92 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 64935 0 0 0 9756 36 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23742 5440 672 633 0 6916 0
[pid=76423/tid=76425] ppid=76420 vsize=94968 memory=18688 CPUtime=47.21 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 2508 0 0 0 4716 5 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 97.92 s
Current children cumulated vsize: 94968 KiB
Current children cumulated memory: 21760 KiB

[startup+102.3 s]
/proc/loadavg: 6.94 6.54 6.07 7/268 76429
/proc/meminfo: memFree=126157600/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94968 memory=21760 CPUtime=197.71 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 66097 0 0 0 19705 66 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23742 5440 672 633 0 6916 0
[pid=76423/tid=76425] ppid=76420 vsize=94968 memory=18688 CPUtime=96.24 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 2529 0 0 0 9610 14 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 197.71 s
Current children cumulated vsize: 94968 KiB
Current children cumulated memory: 21760 KiB

[startup+162.3 s]
/proc/loadavg: 7.09 6.65 6.14 8/268 76433
/proc/meminfo: memFree=126158496/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94968 memory=21760 CPUtime=314.7 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 66283 0 0 0 31369 101 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23742 5440 672 633 0 6916 0
[pid=76423/tid=76425] ppid=76420 vsize=94968 memory=5760 CPUtime=153.72 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 2534 0 0 0 15348 24 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 314.7 s
Current children cumulated vsize: 94968 KiB
Current children cumulated memory: 21760 KiB

[startup+222.3 s]
/proc/loadavg: 7.18 6.75 6.21 6/265 76435
/proc/meminfo: memFree=126159816/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94968 memory=21760 CPUtime=431.74 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 67225 0 0 0 43038 136 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23742 5440 672 633 0 6916 0
[pid=76423/tid=76425] ppid=76420 vsize=94968 memory=18688 CPUtime=211.22 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 2538 0 0 0 21089 33 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 431.74 s
Current children cumulated vsize: 94968 KiB
Current children cumulated memory: 21760 KiB

[startup+282.3 s]
/proc/loadavg: 6.55 6.66 6.21 7/268 76482
/proc/meminfo: memFree=125734396/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=94968 memory=21760 CPUtime=548.76 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 67237 0 0 0 54706 170 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23742 5440 672 633 0 6916 0
[pid=76423/tid=76425] ppid=76420 vsize=94968 memory=21760 CPUtime=268.71 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 2541 0 0 0 26827 44 0 0 20 0 2 0 66992407 97247232 5440 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 548.76 s
Current children cumulated vsize: 94968 KiB

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

/proc/meminfo: memFree=124916888/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=2528.9 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 80766 0 0 0 252155 735 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=18688 CPUtime=1237.71 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5178 0 0 0 123582 189 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 2528.9 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1362.3 s]
/proc/loadavg: 5.98 5.98 6.00 7/269 76583
/proc/meminfo: memFree=124916760/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=2645.24 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 81723 0 0 0 263755 769 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1294.61 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5186 0 0 0 129263 198 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 2645.24 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1422.3 s]
/proc/loadavg: 6.09 6.00 6.01 6/269 76631
/proc/meminfo: memFree=124652248/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=2761.56 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 81724 0 0 0 275350 806 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1351.5 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5186 0 0 0 134943 207 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 2761.56 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1482.3 s]
/proc/loadavg: 6.23 6.07 6.03 7/269 76633
/proc/meminfo: memFree=124119176/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=2877.89 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 82674 0 0 0 286946 843 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1408.33 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5230 0 0 0 140618 215 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 2877.89 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1542.3 s]
/proc/loadavg: 6.37 6.15 6.06 8/267 76636
/proc/meminfo: memFree=124106692/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=2994.3 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 82687 0 0 0 298556 874 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1465.31 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5232 0 0 0 146307 224 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 2994.3 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1602.3 s]
/proc/loadavg: 6.95 6.34 6.13 7/267 76638
/proc/meminfo: memFree=124102604/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3110.6 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 82687 0 0 0 310151 909 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1522.16 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5232 0 0 0 151982 234 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3110.6 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1662.3 s]
/proc/loadavg: 6.60 6.37 6.15 8/267 76640
/proc/meminfo: memFree=124103912/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3226.96 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 83646 0 0 0 321756 940 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1579.05 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5241 0 0 0 157663 242 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3226.96 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1722.3 s]
/proc/loadavg: 6.52 6.40 6.18 8/267 76642
/proc/meminfo: memFree=124114592/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3343.17 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 84606 0 0 0 333338 979 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1635.82 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5247 0 0 0 163330 252 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3343.17 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1782.3 s]
/proc/loadavg: 6.63 6.45 6.21 7/267 76644
/proc/meminfo: memFree=124114100/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3459.58 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 84606 0 0 0 344942 1016 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1692.77 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5247 0 0 0 169013 264 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3459.58 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

[startup+1842.3 s]
/proc/loadavg: 6.81 6.54 6.26 8/269 76652
/proc/meminfo: memFree=124109808/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3576 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 85564 0 0 0 356548 1052 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1749.73 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5474 0 0 0 174700 273 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3576 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1854.7 s]
/proc/loadavg: 6.84 6.55 6.27 7/269 76652
/proc/meminfo: memFree=124110092/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3600.04 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 85564 0 0 0 358944 1060 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1761.49 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5474 0 0 0 175874 275 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.47 s, system=10.6048 s

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

[startup+1854.7 s]
/proc/loadavg: 6.84 6.55 6.27 7/269 76652
/proc/meminfo: memFree=124110092/131249996 swapFree=33010672/33010684
[pid=76423] ppid=76420 vsize=95100 memory=21888 CPUtime=3600.04 cores=0,2
/proc/76423/stat : 76423 (pb_competition_) R 76420 76423 75873 0 -1 4194304 85564 0 0 0 358944 1060 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
/proc/76423/statm: 23775 5472 672 633 0 6949 0
[pid=76423/tid=76425] ppid=76420 vsize=95100 memory=21888 CPUtime=1761.49 cores=0,2
/proc/76423/task/76425/stat : 76425 (pb_competition_) R 76420 76423 75873 0 -1 4194368 5474 0 0 0 175874 275 0 0 20 0 2 0 66992407 97382400 5472 18446744073709551615 4198400 6788177 140722021297568 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 20762624 140722021304666 140722021304792 140722021304792 140722021310394 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 95100 KiB
Current children cumulated memory: 21888 KiB

Child status: 0

Real time (s): 1854.71
CPU time (s): 3600.07
CPU user time (s): 3589.47
CPU system time (s): 10.6048
CPU usage (%): 194.104
Max. virtual memory (cumulated for all children) (KiB): 95100
Max. memory (cumulated for all children) (KiB): 21888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.47
system time used= 10.6048
maximum resident set size= 21888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85849
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= 51239
involuntary context switches= 43259


# summary of solver processes directly reported to runsolver:
#   pid: 76423
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3589.47
#   total CPU system time (s): 10.6048

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.19713 second user time and 8.94377 second system time

The end