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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517994-1751538199/watcher-4517994-1751538199 -o /tmp/evaluation-result-4517994-1751538199/solver-4517994-1751538199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751536385-76328 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1626220947 HOME/instance-4517994-1751538199.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=76529, runsolver pid=76526

[startup+0.100064 s]*
/proc/loadavg: 7.17 7.04 6.30 6/255 76531
/proc/meminfo: memFree=126601308/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13304 memory=4352 CPUtime=0.18 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 548 0 0 0 18 0 0 0 20 0 2 0 69499285 13623296 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3326 1088 672 633 0 2541 0
[pid=76529/tid=76531] ppid=76526 vsize=13304 memory=4026531960 CPUtime=0.09 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) S 76526 76529 76317 0 -1 4194368 3 0 0 0 9 0 0 0 20 0 2 0 69499285 13623296 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13304 KiB
Current children cumulated memory: 4352 KiB

[startup+0.21301 s]*
/proc/loadavg: 7.17 7.04 6.30 8/255 76531
/proc/meminfo: memFree=126601308/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13416 memory=4352 CPUtime=0.37 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) S 76526 76529 76317 0 -1 4194304 563 0 0 0 37 0 0 0 20 0 2 0 69499285 13737984 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3354 1088 672 633 0 2569 0
[pid=76529/tid=76531] ppid=76526 vsize=13416 memory=664958721904869660 CPUtime=0.17 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 3 0 0 0 17 0 0 0 20 0 2 0 69499285 13737984 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 13416 KiB
Current children cumulated memory: 4352 KiB

[startup+0.312435 s]*
/proc/loadavg: 7.17 7.04 6.30 8/255 76531
/proc/meminfo: memFree=126601308/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13352 memory=4352 CPUtime=0.54 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) S 76526 76529 76317 0 -1 4194304 569 0 0 0 54 0 0 0 20 0 2 0 69499285 13672448 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3338 1088 672 633 0 2553 0
[pid=76529/tid=76531] ppid=76526 vsize=13352 memory=-6952848362899279974 CPUtime=0.26 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 3 0 0 0 26 0 0 0 20 0 2 0 69499285 13672448 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13352 KiB
Current children cumulated memory: 4352 KiB

[startup+0.700207 s]
/proc/loadavg: 7.17 7.04 6.30 7/255 76531
/proc/meminfo: memFree=126601308/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13372 memory=4352 CPUtime=1.27 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 573 0 0 0 126 1 0 0 20 0 2 0 69499285 13692928 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3343 1088 672 633 0 2558 0
[pid=76529/tid=76531] ppid=76526 vsize=13372 memory=18560 CPUtime=0.61 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 3 0 0 0 61 0 0 0 20 0 2 0 69499285 13692928 1088 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13372 KiB
Current children cumulated memory: 4352 KiB

[startup+1.50017 s]
/proc/loadavg: 7.17 7.04 6.30 8/255 76531
/proc/meminfo: memFree=126601308/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4736 CPUtime=2.84 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 1143 0 0 0 282 2 0 0 20 0 2 0 69499285 13946880 1184 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1184 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=18560 CPUtime=1.4 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 15 0 0 0 140 0 0 0 20 0 2 0 69499285 13946880 1184 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4736 KiB

[startup+3.10537 s]
/proc/loadavg: 7.15 7.04 6.31 8/255 76531
/proc/meminfo: memFree=126601604/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4864 CPUtime=6.02 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 1948 0 0 0 597 5 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1216 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4864 CPUtime=2.99 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 100 0 0 0 298 1 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 6.02 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4864 KiB

[startup+6.30012 s]
/proc/loadavg: 7.15 7.04 6.31 7/255 76531
/proc/meminfo: memFree=126601928/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4864 CPUtime=12.37 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 3355 0 0 0 1227 10 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1216 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=18560 CPUtime=6.16 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 204 0 0 0 613 3 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 12.37 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4864 KiB

[startup+12.7002 s]
/proc/loadavg: 7.13 7.04 6.32 8/255 76531
/proc/meminfo: memFree=126601952/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4864 CPUtime=25.1 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 5826 0 0 0 2489 21 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1216 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4864 CPUtime=12.52 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 396 0 0 0 1245 7 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 25.1 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4864 KiB

[startup+25.5001 s]
/proc/loadavg: 7.03 7.02 6.32 8/255 76577
/proc/meminfo: memFree=126648948/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4864 CPUtime=50.54 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 9525 0 0 0 5013 41 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1216 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4864 CPUtime=25.24 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 558 0 0 0 2509 15 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 50.54 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4864 KiB

[startup+51.1045 s]
/proc/loadavg: 7.01 7.02 6.34 8/255 76578
/proc/meminfo: memFree=126649436/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4864 CPUtime=101.42 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 17155 0 0 0 10058 84 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1216 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4864 CPUtime=50.67 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 715 0 0 0 5036 31 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 101.42 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4864 KiB

[startup+102.3 s]
/proc/loadavg: 7.06 7.03 6.38 8/253 76580
/proc/meminfo: memFree=126650376/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4864 CPUtime=203.19 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 31887 0 0 0 20157 162 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1216 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4864 CPUtime=101.56 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 911 0 0 0 10097 59 0 0 20 0 2 0 69499285 13946880 1216 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 203.19 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4864 KiB

[startup+162.3 s]
/proc/loadavg: 7.02 7.02 6.42 8/253 76627
/proc/meminfo: memFree=126709956/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4992 CPUtime=322.5 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 49184 0 0 0 31996 254 0 0 20 0 2 0 69499285 13946880 1248 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1248 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4992 CPUtime=161.19 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1084 0 0 0 16026 93 0 0 20 0 2 0 69499285 13946880 1248 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 322.5 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4992 KiB

[startup+222.3 s]
/proc/loadavg: 7.10 7.05 6.47 8/253 76628
/proc/meminfo: memFree=126708412/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4992 CPUtime=441.79 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 64972 0 0 0 43838 341 0 0 20 0 2 0 69499285 13946880 1248 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1248 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4992 CPUtime=220.83 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1086 0 0 0 21954 129 0 0 20 0 2 0 69499285 13946880 1248 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 441.79 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4992 KiB

[startup+282.3 s]
/proc/loadavg: 7.08 7.05 6.51 8/253 76630
/proc/meminfo: memFree=126717656/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4992 CPUtime=561.05 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 82273 0 0 0 55674 431 0 0 20 0 2 0 69499285 13946880 1248 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1248 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4992 CPUtime=280.5 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1249 0 0 0 27886 164 0 0 20 0 2 0 69499285 13946880 1248 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 561.05 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4992 KiB

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

/proc/meminfo: memFree=126698564/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=2349.78 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 333874 0 0 0 233175 1803 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4932 CPUtime=1175 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1608 0 0 0 116809 691 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2349.78 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1242.3 s]
/proc/loadavg: 7.09 7.18 6.98 8/255 76680
/proc/meminfo: memFree=126698628/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=2469.03 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 350215 0 0 0 245006 1897 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4924 CPUtime=1234.65 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1621 0 0 0 122738 727 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2469.03 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1302.3 s]
/proc/loadavg: 7.06 7.16 6.99 8/253 76682
/proc/meminfo: memFree=126698652/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=2588.26 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 368011 0 0 0 256832 1994 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4924 CPUtime=1294.3 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1622 0 0 0 128667 763 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2588.26 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1362.3 s]
/proc/loadavg: 7.07 7.14 7.00 8/254 76685
/proc/meminfo: memFree=126706236/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=2707.47 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 384847 0 0 0 268663 2084 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4924 CPUtime=1353.91 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1622 0 0 0 134595 796 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2707.47 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1422.3 s]
/proc/loadavg: 7.13 7.14 7.01 8/255 76688
/proc/meminfo: memFree=126705800/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=2826.62 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 401720 0 0 0 280489 2173 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4924 CPUtime=1413.49 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1710 0 0 0 140517 832 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2826.62 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1482.3 s]
/proc/loadavg: 7.10 7.13 7.01 8/255 76690
/proc/meminfo: memFree=126705840/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13700 memory=4924 CPUtime=2945.75 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 418811 0 0 0 292313 2262 0 0 20 0 2 0 69499285 14028800 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3425 1231 672 633 0 2640 0
[pid=76529/tid=76531] ppid=76526 vsize=13700 memory=14588 CPUtime=1473.06 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1710 0 0 0 146440 866 0 0 20 0 2 0 69499285 14028800 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 2945.75 s
Current children cumulated vsize: 13700 KiB
Current children cumulated memory: 4924 KiB

[startup+1542.3 s]
/proc/loadavg: 7.12 7.12 7.01 8/255 76692
/proc/meminfo: memFree=126705880/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=3064.89 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 435960 0 0 0 304137 2352 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4924 CPUtime=1532.63 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1719 0 0 0 152361 902 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 3064.89 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1602.3 s]
/proc/loadavg: 7.10 7.11 7.01 8/255 76696
/proc/meminfo: memFree=126705688/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4924 CPUtime=3184.05 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 453172 0 0 0 315963 2442 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1231 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4924 CPUtime=1592.23 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1719 0 0 0 158286 937 0 0 20 0 2 0 69499285 13946880 1231 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 3184.05 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4924 KiB

[startup+1662.3 s]
/proc/loadavg: 7.08 7.11 7.01 8/254 76702
/proc/meminfo: memFree=126705744/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4784 CPUtime=3303.2 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 469357 0 0 0 327786 2534 0 0 20 0 2 0 69499285 13946880 1196 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1196 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=4784 CPUtime=1651.81 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1780 0 0 0 164209 972 0 0 20 0 2 0 69499285 13946880 1196 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 3303.2 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4784 KiB

[startup+1722.3 s]
/proc/loadavg: 7.07 7.10 7.01 8/253 76704
/proc/meminfo: memFree=126705800/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13720 memory=4780 CPUtime=3422.35 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 485785 0 0 0 339611 2624 0 0 20 0 2 0 69499285 14049280 1195 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3430 1195 672 633 0 2645 0
[pid=76529/tid=76531] ppid=76526 vsize=13720 memory=4784 CPUtime=1711.4 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1780 0 0 0 170133 1007 0 0 20 0 2 0 69499285 14049280 1195 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 3422.35 s
Current children cumulated vsize: 13720 KiB
Current children cumulated memory: 4780 KiB

[startup+1782.3 s]
/proc/loadavg: 7.08 7.09 7.01 8/253 76706
/proc/meminfo: memFree=126705572/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4780 CPUtime=3541.5 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 503986 0 0 0 351436 2714 0 0 20 0 2 0 69499285 13946880 1195 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1195 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=14588 CPUtime=1770.98 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1789 0 0 0 176057 1041 0 0 20 0 2 0 69499285 13946880 1195 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 3541.5 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.8 s]
/proc/loadavg: 7.20 7.12 7.02 9/253 76752
/proc/meminfo: memFree=126682724/131382116 swapFree=33009904/33010684
[pid=76529] ppid=76526 vsize=13620 memory=4908 CPUtime=3600.15 cores=4,6
/proc/76529/stat : 76529 (pb_competition_) R 76526 76529 76317 0 -1 4194304 512200 0 0 0 357255 2760 0 0 20 0 2 0 69499285 13946880 1227 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
/proc/76529/statm: 3405 1227 672 633 0 2620 0
[pid=76529/tid=76531] ppid=76526 vsize=13620 memory=5632 CPUtime=1800.32 cores=4,6
/proc/76529/task/76531/stat : 76531 (pb_competition_) R 76526 76529 76317 0 -1 4194368 1789 0 0 0 178973 1059 0 0 20 0 2 0 69499285 13946880 1227 18446744073709551615 4198400 6788177 140727802564752 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 7602176 140727802571097 140727802571224 140727802571224 140727802576826 0
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 13620 KiB
Current children cumulated memory: 4908 KiB

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

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

# cumulated CPU time of all completed processes:  user=3572.56 s, system=27.6046 s

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

Child status: 0

Real time (s): 1811.81
CPU time (s): 3600.17
CPU user time (s): 3572.56
CPU system time (s): 27.6046
CPU usage (%): 198.706
Max. virtual memory (cumulated for all children) (KiB): 13756
Max. memory (cumulated for all children) (KiB): 4992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3572.56
system time used= 27.6046
maximum resident set size= 4992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512306
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= 4786
involuntary context switches= 25279


# summary of solver processes directly reported to runsolver:
#   pid: 76529
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3572.56
#   total CPU system time (s): 27.6046

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.22242 second user time and 5.40009 second system time

The end