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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486560-1751298429/watcher-4486560-1751298429 -o /tmp/evaluation-result-4486560-1751298429/solver-4486560-1751298429 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751291873-39487 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1646240657 HOME/instance-4486560-1751298429.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=40890, runsolver pid=40887

[startup+0.100036 s]*
/proc/loadavg: 7.60 7.51 7.02 7/269 40892
/proc/meminfo: memFree=129698820/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=95160 memory=38308 CPUtime=0.13 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) S 40887 40890 39477 0 -1 4194304 9625 0 0 0 10 3 0 0 20 0 2 0 45521564 97443840 9577 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 23790 9577 576 633 0 11374 0
[pid=40890/tid=40892] ppid=40887 vsize=95160 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 4756 0 0 0 6 2 0 0 20 0 2 0 45521565 97443840 9577 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 95160 KiB
Current children cumulated memory: 38308 KiB

[startup+0.205653 s]*
/proc/loadavg: 7.60 7.51 7.02 9/269 40892
/proc/meminfo: memFree=129664824/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=129396 memory=81700 CPUtime=0.29 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 15658 0 0 0 23 6 0 0 20 0 2 0 45521564 132501504 20425 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 32349 20425 608 633 0 21950 0
[pid=40890/tid=40892] ppid=40887 vsize=129396 memory=4208735117501333788 CPUtime=0.15 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 6774 0 0 0 12 3 0 0 20 0 2 0 45521565 132501504 20425 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 129396 KiB
Current children cumulated memory: 81700 KiB

[startup+0.305738 s]*
/proc/loadavg: 7.60 7.51 7.02 7/269 40892
/proc/meminfo: memFree=129657012/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=134456 memory=92964 CPUtime=0.39 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 18422 0 0 0 32 7 0 0 20 0 2 0 45521564 137682944 23241 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 33614 23241 640 633 0 24723 0
[pid=40890/tid=40892] ppid=40887 vsize=134456 memory=7971521459122356850 CPUtime=0.21 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 8281 0 0 0 17 4 0 0 20 0 2 0 45521565 137682944 23241 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 134456 KiB
Current children cumulated memory: 92964 KiB

[startup+0.700204 s]
/proc/loadavg: 7.47 7.48 7.01 8/269 40892
/proc/meminfo: memFree=129608880/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=194612 memory=153252 CPUtime=0.77 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 33460 0 0 0 68 9 0 0 20 0 2 0 45521564 199282688 38281 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 48653 38313 672 633 0 39762 0
[pid=40890/tid=40892] ppid=40887 vsize=194612 memory=17664 CPUtime=0.21 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 8281 0 0 0 17 4 0 0 20 0 2 0 45521565 199282688 38313 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 194612 KiB
Current children cumulated memory: 153252 KiB

[startup+1.50014 s]
/proc/loadavg: 7.47 7.48 7.01 8/269 40892
/proc/meminfo: memFree=129536304/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=248348 memory=206884 CPUtime=1.6 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 62651 0 0 0 149 11 0 0 20 0 2 0 45521564 254308352 51721 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 62087 51721 672 633 0 53196 0
[pid=40890/tid=40892] ppid=40887 vsize=248348 memory=17664 CPUtime=0.24 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 8281 0 0 0 20 4 0 0 20 0 2 0 45521565 254308352 51721 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 248348 KiB
Current children cumulated memory: 206884 KiB

[startup+3.10564 s]
/proc/loadavg: 7.47 7.48 7.01 8/269 40892
/proc/meminfo: memFree=129536316/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=248348 memory=206884 CPUtime=3.29 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 70589 0 0 0 317 12 0 0 20 0 2 0 45521564 254308352 51721 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 62087 51721 672 633 0 53196 0
[pid=40890/tid=40892] ppid=40887 vsize=248348 memory=206884 CPUtime=0.33 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 8319 0 0 0 29 4 0 0 20 0 2 0 45521565 254308352 51721 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 248348 KiB
Current children cumulated memory: 206884 KiB

[startup+6.30014 s]
/proc/loadavg: 7.52 7.49 7.01 8/269 40892
/proc/meminfo: memFree=129528124/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=248612 memory=207268 CPUtime=7.14 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 98534 0 0 0 700 14 0 0 20 0 2 0 45521564 254578688 51817 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 62153 51817 672 633 0 53262 0
[pid=40890/tid=40892] ppid=40887 vsize=248612 memory=17664 CPUtime=0.99 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 9727 0 0 0 95 4 0 0 20 0 2 0 45521565 254578688 51817 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 7.14 s
Current children cumulated vsize: 248612 KiB
Current children cumulated memory: 207268 KiB

[startup+12.7001 s]
/proc/loadavg: 7.39 7.47 7.01 8/269 40892
/proc/meminfo: memFree=129528376/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=249008 memory=207524 CPUtime=15.14 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 150455 0 0 0 1495 19 0 0 20 0 2 0 45521564 254984192 51881 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 62252 51881 672 633 0 53361 0
[pid=40890/tid=40892] ppid=40887 vsize=249008 memory=207524 CPUtime=2.65 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 11742 0 0 0 260 5 0 0 20 0 2 0 45521565 254984192 51881 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 15.14 s
Current children cumulated vsize: 249008 KiB
Current children cumulated memory: 207524 KiB

[startup+25.5002 s]
/proc/loadavg: 7.25 7.44 7.00 9/269 40893
/proc/meminfo: memFree=129528124/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=249404 memory=208036 CPUtime=31.2 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 227700 0 0 0 3092 28 0 0 20 0 2 0 45521564 255389696 52009 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 62351 52009 672 633 0 53460 0
[pid=40890/tid=40892] ppid=40887 vsize=249404 memory=207780 CPUtime=5.97 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 20036 0 0 0 591 6 0 0 20 0 2 0 45521565 255389696 52009 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 31.2 s
Current children cumulated vsize: 249404 KiB
Current children cumulated memory: 208036 KiB

[startup+51.1056 s]
/proc/loadavg: 6.96 7.35 6.99 7/268 40893
/proc/meminfo: memFree=129534592/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=249668 memory=208292 CPUtime=63.18 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 283951 0 0 0 6280 38 0 0 20 0 2 0 45521564 255660032 52073 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 62417 52073 672 633 0 53526 0
[pid=40890/tid=40892] ppid=40887 vsize=249668 memory=17664 CPUtime=12.54 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 25760 0 0 0 1246 8 0 0 20 0 2 0 45521565 255660032 52073 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 63.18 s
Current children cumulated vsize: 249668 KiB
Current children cumulated memory: 208292 KiB

[startup+102.3 s]
/proc/loadavg: 6.96 7.29 6.99 8/268 40895
/proc/meminfo: memFree=129532772/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=254288 memory=212772 CPUtime=134.5 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 363244 0 0 0 13393 57 0 0 20 0 2 0 45521564 260390912 53193 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 63572 53193 672 633 0 54681 0
[pid=40890/tid=40892] ppid=40887 vsize=254288 memory=17664 CPUtime=33 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 44665 0 0 0 3288 12 0 0 20 0 2 0 45521565 260390912 53193 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 134.5 s
Current children cumulated vsize: 254288 KiB
Current children cumulated memory: 212772 KiB

[startup+162.3 s]
/proc/loadavg: 6.72 7.16 6.97 6/268 40944
/proc/meminfo: memFree=129647684/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=256136 memory=214692 CPUtime=213.41 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 365620 0 0 0 21268 73 0 0 20 0 2 0 45521564 262283264 53673 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 64034 53673 672 633 0 55143 0
[pid=40890/tid=40892] ppid=40887 vsize=256136 memory=214436 CPUtime=52.42 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 44672 0 0 0 5223 19 0 0 20 0 2 0 45521565 262283264 53673 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 213.41 s
Current children cumulated vsize: 256136 KiB
Current children cumulated memory: 214692 KiB

[startup+222.3 s]
/proc/loadavg: 6.81 7.09 6.96 7/268 40947
/proc/meminfo: memFree=129642940/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=256136 memory=214692 CPUtime=292.42 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 384151 0 0 0 29153 89 0 0 20 0 2 0 45521564 262283264 53673 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 64034 53673 672 633 0 55143 0
[pid=40890/tid=40892] ppid=40887 vsize=256136 memory=214692 CPUtime=71.83 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 48108 0 0 0 7157 26 0 0 20 0 2 0 45521565 262283264 53673 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 292.42 s
Current children cumulated vsize: 256136 KiB
Current children cumulated memory: 214692 KiB

[startup+282.3 s]
/proc/loadavg: 6.44 6.93 6.91 7/268 40950
/proc/meminfo: memFree=129632344/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=255484 memory=214100 CPUtime=368.47 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 387188 0 0 0 36747 100 0 0 20 0 2 0 45521564 261615616 53525 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 63871 53525 672 633 0 54980 0
[pid=40890/tid=40892] ppid=40887 vsize=255484 memory=213972 CPUtime=88.24 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 48160 0 0 0 8794 30 0 0 20 0 2 0 45521565 261615616 53525 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 368.47 s
Current children cumulated vsize: 255484 KiB
Current children cumulated memory: 214100 KiB

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

/proc/meminfo: memFree=129653924/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=2862.66 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9339942 0 0 0 284378 1888 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=792.88 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 51249 0 0 0 79154 134 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 2862.66 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2142.3 s]
/proc/loadavg: 5.21 5.43 5.85 6/268 41189
/proc/meminfo: memFree=129662448/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=2943.45 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9339944 0 0 0 292451 1894 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=813.95 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 51249 0 0 0 81258 137 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 2943.45 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2202.3 s]
/proc/loadavg: 5.20 5.40 5.81 6/267 41191
/proc/meminfo: memFree=129661572/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3021.62 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9341060 0 0 0 300261 1901 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=832.41 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 51259 0 0 0 83100 141 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3021.62 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2262.3 s]
/proc/loadavg: 5.58 5.46 5.81 6/268 41197
/proc/meminfo: memFree=129661732/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3105.82 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9342182 0 0 0 308675 1907 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=856.91 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 51399 0 0 0 85548 143 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3105.82 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2322.3 s]
/proc/loadavg: 5.42 5.44 5.78 6/268 41203
/proc/meminfo: memFree=129661384/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3184.44 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9343303 0 0 0 316533 1911 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=17664 CPUtime=875.81 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 51664 0 0 0 87434 147 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3184.44 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2382.3 s]
/proc/loadavg: 5.30 5.39 5.74 6/268 41205
/proc/meminfo: memFree=129659980/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3268.1 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9343305 0 0 0 324894 1916 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=899.78 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 51664 0 0 0 89828 150 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3268.1 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2442.3 s]
/proc/loadavg: 5.38 5.39 5.72 7/268 41207
/proc/meminfo: memFree=129654480/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3349.84 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9344417 0 0 0 333062 1922 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=921.77 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 51966 0 0 0 92024 153 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3349.84 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2502.3 s]
/proc/loadavg: 5.28 5.37 5.69 5/268 41209
/proc/meminfo: memFree=129654372/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3436.53 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9344422 0 0 0 341723 1930 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=948.79 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 51966 0 0 0 94723 156 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3436.53 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2562.3 s]
/proc/loadavg: 5.36 5.38 5.68 6/268 41212
/proc/meminfo: memFree=129652780/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3516.54 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9345537 0 0 0 349719 1935 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=969.07 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 52007 0 0 0 96749 158 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3516.54 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

[startup+2622.3 s]
/proc/loadavg: 5.57 5.45 5.69 6/268 41215
/proc/meminfo: memFree=129652400/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3598.37 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9346660 0 0 0 357897 1940 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=991.21 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) R 40887 40890 39477 0 -1 4194368 52251 0 0 0 98960 161 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3598.37 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2623.5 s]
/proc/loadavg: 5.57 5.45 5.69 6/268 41215
/proc/meminfo: memFree=129652400/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3600.06 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9346660 0 0 0 358065 1941 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=991.69 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 52251 0 0 0 99008 161 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.74 s, system=19.4179 s

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

[startup+2623.5 s]
/proc/loadavg: 5.57 5.45 5.69 6/268 41215
/proc/meminfo: memFree=129652400/131249996 swapFree=33010684/33010684
[pid=40890] ppid=40887 vsize=286688 memory=245424 CPUtime=3600.06 cores=0,2
/proc/40890/stat : 40890 (pb_competition_) R 40887 40890 39477 0 -1 4194304 9346660 0 0 0 358065 1941 0 0 20 0 2 0 45521564 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
/proc/40890/statm: 71672 61356 672 633 0 62781 0
[pid=40890/tid=40892] ppid=40887 vsize=286688 memory=245424 CPUtime=991.69 cores=0,2
/proc/40890/task/40892/stat : 40892 (pb_competition_) S 40887 40890 39477 0 -1 4194368 52251 0 0 0 99008 161 0 0 20 0 2 0 45521565 293568512 61356 18446744073709551615 4198400 6788177 140733331418784 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33882112 140733331425625 140733331425752 140733331425752 140733331431354 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 286688 KiB
Current children cumulated memory: 245424 KiB

Child status: 0

Real time (s): 2623.6
CPU time (s): 3600.16
CPU user time (s): 3580.74
CPU system time (s): 19.4179
CPU usage (%): 137.222
Max. virtual memory (cumulated for all children) (KiB): 286688
Max. memory (cumulated for all children) (KiB): 245424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.74
system time used= 19.4179
maximum resident set size= 245424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9361286
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= 132630
involuntary context switches= 50913


# summary of solver processes directly reported to runsolver:
#   pid: 40890
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3580.74
#   total CPU system time (s): 19.4179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.14009 second user time and 11.8039 second system time

The end