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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497144-1751383528/watcher-4497144-1751383528 -o /tmp/evaluation-result-4497144-1751383528/solver-4497144-1751383528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751380933-49306 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 665258971 HOME/instance-4497144-1751383528.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=49592, runsolver pid=49589

[startup+0.100066 s]*
/proc/loadavg: 5.65 5.50 5.30 7/267 49594
/proc/meminfo: memFree=129771936/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89012 memory=15360 CPUtime=0.15 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 3323 0 0 0 15 0 0 0 20 0 2 0 54030336 91148288 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22253 3840 672 633 0 5289 0
[pid=49592/tid=49594] ppid=49589 vsize=89012 memory=4026531960 CPUtime=0.05 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) S 49589 49592 49296 0 -1 4194368 208 0 0 0 5 0 0 0 20 0 2 0 54030336 91148288 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 89012 KiB
Current children cumulated memory: 15360 KiB

[startup+0.205749 s]*
/proc/loadavg: 5.65 5.50 5.30 7/267 49594
/proc/meminfo: memFree=129771936/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89144 memory=15360 CPUtime=0.32 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 3327 0 0 0 32 0 0 0 20 0 2 0 54030336 91283456 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22286 3840 672 633 0 5322 0
[pid=49592/tid=49594] ppid=49589 vsize=89144 memory=664958721904869660 CPUtime=0.13 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 208 0 0 0 13 0 0 0 20 0 2 0 54030336 91283456 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 89144 KiB
Current children cumulated memory: 15360 KiB

[startup+0.305488 s]*
/proc/loadavg: 5.65 5.50 5.30 7/267 49594
/proc/meminfo: memFree=129771936/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89144 memory=15360 CPUtime=0.51 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 3335 0 0 0 50 1 0 0 20 0 2 0 54030336 91283456 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22286 3840 672 633 0 5322 0
[pid=49592/tid=49594] ppid=49589 vsize=89144 memory=7972084396342002287 CPUtime=0.22 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 208 0 0 0 22 0 0 0 20 0 2 0 54030336 91283456 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 89144 KiB
Current children cumulated memory: 15360 KiB

[startup+0.700209 s]
/proc/loadavg: 5.65 5.50 5.30 7/267 49594
/proc/meminfo: memFree=129771920/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89144 memory=15360 CPUtime=1.25 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 3351 0 0 0 124 1 0 0 20 0 2 0 54030336 91283456 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22286 3840 672 633 0 5322 0
[pid=49592/tid=49594] ppid=49589 vsize=89144 memory=17920 CPUtime=0.58 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 208 0 0 0 58 0 0 0 20 0 2 0 54030336 91283456 3840 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 89144 KiB
Current children cumulated memory: 15360 KiB

[startup+1.50021 s]
/proc/loadavg: 5.65 5.50 5.30 8/267 49594
/proc/meminfo: memFree=129772172/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89092 memory=15592 CPUtime=2.48 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 20192 0 0 0 242 6 0 0 20 0 2 0 54030336 91230208 3898 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22273 3898 672 633 0 5309 0
[pid=49592/tid=49594] ppid=49589 vsize=89092 memory=17920 CPUtime=1 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 209 0 0 0 100 0 0 0 20 0 2 0 54030336 91230208 3898 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 2.48 s
Current children cumulated vsize: 89092 KiB
Current children cumulated memory: 15592 KiB

[startup+3.10573 s]
/proc/loadavg: 5.65 5.50 5.30 7/267 49594
/proc/meminfo: memFree=129779240/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89488 memory=15976 CPUtime=5.52 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 31243 0 0 0 543 9 0 0 20 0 2 0 54030336 91635712 3994 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22372 3994 672 633 0 5408 0
[pid=49592/tid=49594] ppid=49589 vsize=89488 memory=15848 CPUtime=2.46 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) S 49589 49592 49296 0 -1 4194368 209 0 0 0 246 0 0 0 20 0 2 0 54030336 91635712 3994 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 89488 KiB
Current children cumulated memory: 15976 KiB

[startup+6.30023 s]
/proc/loadavg: 5.75 5.53 5.31 8/267 49594
/proc/meminfo: memFree=129779240/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89812 memory=16104 CPUtime=11.55 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 33554 0 0 0 1139 16 0 0 20 0 2 0 54030336 91967488 4026 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22453 4026 672 633 0 5489 0
[pid=49592/tid=49594] ppid=49589 vsize=89812 memory=17920 CPUtime=5.32 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 671 0 0 0 530 2 0 0 20 0 2 0 54030336 91967488 4026 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 11.55 s
Current children cumulated vsize: 89812 KiB
Current children cumulated memory: 16104 KiB

[startup+12.7002 s]
/proc/loadavg: 5.77 5.54 5.32 8/267 49594
/proc/meminfo: memFree=129778744/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=89944 memory=16104 CPUtime=23.67 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 35769 0 0 0 2338 29 0 0 20 0 2 0 54030336 92102656 4026 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22486 4026 672 633 0 5522 0
[pid=49592/tid=49594] ppid=49589 vsize=89944 memory=16104 CPUtime=11.09 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 1381 0 0 0 1103 6 0 0 20 0 2 0 54030336 92102656 4026 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 23.67 s
Current children cumulated vsize: 89944 KiB
Current children cumulated memory: 16104 KiB

[startup+25.5002 s]
/proc/loadavg: 5.97 5.59 5.34 7/267 49595
/proc/meminfo: memFree=129778776/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=90396 memory=16312 CPUtime=47.84 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 38111 0 0 0 4737 47 0 0 20 0 2 0 54030336 92565504 4078 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22599 4078 672 633 0 5635 0
[pid=49592/tid=49594] ppid=49589 vsize=90396 memory=16312 CPUtime=22.55 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 1605 0 0 0 2244 11 0 0 20 0 2 0 54030336 92565504 4078 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 47.84 s
Current children cumulated vsize: 90396 KiB
Current children cumulated memory: 16312 KiB

[startup+51.1056 s]
/proc/loadavg: 6.20 5.68 5.38 7/267 49595
/proc/meminfo: memFree=129778784/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=90528 memory=16568 CPUtime=95.98 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 40869 0 0 0 9512 86 0 0 20 0 2 0 54030336 92700672 4142 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22632 4142 672 633 0 5668 0
[pid=49592/tid=49594] ppid=49589 vsize=90528 memory=17920 CPUtime=45.26 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 1803 0 0 0 4505 21 0 0 20 0 2 0 54030336 92700672 4142 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 95.98 s
Current children cumulated vsize: 90528 KiB
Current children cumulated memory: 16568 KiB

[startup+102.3 s]
/proc/loadavg: 6.39 5.81 5.44 7/268 49602
/proc/meminfo: memFree=129778512/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=90800 memory=16952 CPUtime=192.18 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 45936 0 0 0 19053 165 0 0 20 0 2 0 54030336 92979200 4238 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22700 4238 672 633 0 5736 0
[pid=49592/tid=49594] ppid=49589 vsize=90800 memory=17920 CPUtime=90.66 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 2783 0 0 0 9026 40 0 0 20 0 2 0 54030336 92979200 4238 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 192.18 s
Current children cumulated vsize: 90800 KiB
Current children cumulated memory: 16952 KiB

[startup+162.3 s]
/proc/loadavg: 6.32 5.88 5.48 7/267 49604
/proc/meminfo: memFree=129782288/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91004 memory=17208 CPUtime=304.73 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 50804 0 0 0 30217 256 0 0 20 0 2 0 54030336 93188096 4302 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22751 4302 672 633 0 5787 0
[pid=49592/tid=49594] ppid=49589 vsize=91004 memory=5632 CPUtime=143.68 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 3540 0 0 0 14302 66 0 0 20 0 2 0 54030336 93188096 4302 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 304.73 s
Current children cumulated vsize: 91004 KiB
Current children cumulated memory: 17208 KiB

[startup+222.3 s]
/proc/loadavg: 6.34 5.98 5.55 7/268 49607
/proc/meminfo: memFree=129774156/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91004 memory=17208 CPUtime=417.1 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 52627 0 0 0 41361 349 0 0 20 0 2 0 54030336 93188096 4302 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22751 4302 672 633 0 5787 0
[pid=49592/tid=49594] ppid=49589 vsize=91004 memory=17920 CPUtime=196.55 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 3928 0 0 0 19563 92 0 0 20 0 2 0 54030336 93188096 4302 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 417.1 s
Current children cumulated vsize: 91004 KiB
Current children cumulated memory: 17208 KiB

[startup+282.3 s]
/proc/loadavg: 6.37 6.04 5.60 7/268 49609
/proc/meminfo: memFree=129774012/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91004 memory=17208 CPUtime=529.44 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 53370 0 0 0 52508 436 0 0 20 0 2 0 54030336 93188096 4302 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22751 4302 672 633 0 5787 0
[pid=49592/tid=49594] ppid=49589 vsize=91004 memory=17208 CPUtime=249.31 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 4021 0 0 0 24814 117 0 0 20 0 2 0 54030336 93188096 4302 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 529.44 s
Current children cumulated vsize: 91004 KiB

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

/proc/meminfo: memFree=130061168/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=2574.53 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 63500 0 0 0 255467 1986 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1221.87 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 5377 0 0 0 121644 543 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 2574.53 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1422.3 s]
/proc/loadavg: 7.66 7.67 7.05 9/268 49754
/proc/meminfo: memFree=130060912/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=2688.27 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 63500 0 0 0 266755 2072 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1276.05 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 5377 0 0 0 127039 566 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 2688.27 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1482.3 s]
/proc/loadavg: 7.57 7.65 7.09 9/267 49756
/proc/meminfo: memFree=130061232/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=2802.06 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 64461 0 0 0 278045 2161 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1330.23 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 5582 0 0 0 132434 589 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 2802.06 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1542.3 s]
/proc/loadavg: 7.62 7.67 7.13 9/267 49759
/proc/meminfo: memFree=130060920/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=2915.96 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 65392 0 0 0 289347 2249 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1384.51 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 5686 0 0 0 137839 612 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 2915.96 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1602.3 s]
/proc/loadavg: 7.55 7.65 7.16 8/266 49761
/proc/meminfo: memFree=130060936/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=3029.96 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 66323 0 0 0 300661 2335 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1438.9 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 5798 0 0 0 143256 634 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3029.96 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1662.3 s]
/proc/loadavg: 7.85 7.72 7.21 9/267 49764
/proc/meminfo: memFree=130060740/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=3143.89 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 67259 0 0 0 311965 2424 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1493.21 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 5969 0 0 0 148664 657 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3143.89 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1722.3 s]
/proc/loadavg: 7.67 7.71 7.24 8/267 49812
/proc/meminfo: memFree=129546988/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=3257.7 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 68191 0 0 0 323255 2515 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1547.44 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 6137 0 0 0 154061 683 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3257.7 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1782.3 s]
/proc/loadavg: 7.16 7.55 7.21 7/268 49817
/proc/meminfo: memFree=129548456/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17484 CPUtime=3371.52 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 69123 0 0 0 334555 2597 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4371 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17484 CPUtime=1601.69 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 6407 0 0 0 159464 705 0 0 20 0 2 0 54030336 94113792 4371 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3371.52 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17484 KiB

[startup+1842.3 s]
/proc/loadavg: 6.97 7.41 7.19 8/268 49819
/proc/meminfo: memFree=129531620/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17612 CPUtime=3485.33 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 70064 0 0 0 345852 2681 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4403 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17920 CPUtime=1655.89 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 6628 0 0 0 164860 729 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3485.33 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17612 KiB

[startup+1902.3 s]
/proc/loadavg: 6.59 7.23 7.14 7/268 49825
/proc/meminfo: memFree=129542628/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17612 CPUtime=3599.26 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 70997 0 0 0 357160 2766 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4403 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17612 CPUtime=1710.26 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 6777 0 0 0 170277 749 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3599.26 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1902.7 s]
/proc/loadavg: 6.59 7.23 7.14 7/268 49825
/proc/meminfo: memFree=129542628/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17612 CPUtime=3600.02 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 70997 0 0 0 357235 2767 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4403 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17612 CPUtime=1710.63 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 6777 0 0 0 170314 749 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17612 KiB

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

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

# cumulated CPU time of all completed processes:  user=3572.37 s, system=27.6762 s

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

[startup+1902.7 s]
/proc/loadavg: 6.59 7.23 7.14 7/268 49825
/proc/meminfo: memFree=129542628/131250000 swapFree=33007332/33010684
[pid=49592] ppid=49589 vsize=91908 memory=17612 CPUtime=3600.02 cores=0,2
/proc/49592/stat : 49592 (pb_competition_) R 49589 49592 49296 0 -1 4194304 70997 0 0 0 357235 2767 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
/proc/49592/statm: 22977 4403 672 633 0 6013 0
[pid=49592/tid=49594] ppid=49589 vsize=91908 memory=17612 CPUtime=1710.63 cores=0,2
/proc/49592/task/49594/stat : 49594 (pb_competition_) R 49589 49592 49296 0 -1 4194368 6777 0 0 0 170314 749 0 0 20 0 2 0 54030336 94113792 4403 18446744073709551615 4198400 6788177 140731457618288 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 14020608 140731457624410 140731457624536 140731457624536 140731457630138 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 91908 KiB
Current children cumulated memory: 17612 KiB

Child status: 0

Real time (s): 1902.71
CPU time (s): 3600.05
CPU user time (s): 3572.37
CPU system time (s): 27.6762
CPU usage (%): 189.206
Max. virtual memory (cumulated for all children) (KiB): 91908
Max. memory (cumulated for all children) (KiB): 17612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.37
system time used= 27.6762
maximum resident set size= 17788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71243
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= 100351
involuntary context switches= 54437


# summary of solver processes directly reported to runsolver:
#   pid: 49592
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3572.37
#   total CPU system time (s): 27.6762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.45789 second user time and 7.50144 second system time

The end