runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62395 MiB free)
  memory of node 1: 64507 MiB (63529 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525135-1751622780/watcher-4525135-1751622780 -o /tmp/evaluation-result-4525135-1751622780/solver-4525135-1751622780 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751619994-88358 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1287719791 HOME/instance-4525135-1751622780.wbo 

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=88662, runsolver pid=88659

[startup+0.100064 s]*
/proc/loadavg: 5.69 5.55 5.34 7/267 88664
/proc/meminfo: memFree=128946788/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=83704 memory=9692 CPUtime=0.15 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 1947 0 0 0 15 0 0 0 20 0 2 0 77957874 85712896 2423 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 20926 2423 672 633 0 3905 0
[pid=88662/tid=88664] ppid=88659 vsize=83704 memory=4026531960 CPUtime=0.06 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 152 0 0 0 6 0 0 0 20 0 2 0 77957874 85712896 2423 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 83704 KiB
Current children cumulated memory: 9692 KiB

[startup+0.205735 s]*
/proc/loadavg: 5.69 5.55 5.34 7/267 88664
/proc/meminfo: memFree=128946788/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=83604 memory=9948 CPUtime=0.3 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) S 88659 88662 88348 0 -1 4194304 2061 0 0 0 30 0 0 0 20 0 2 0 77957874 85610496 2487 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 20901 2487 672 633 0 3880 0
[pid=88662/tid=88664] ppid=88659 vsize=83604 memory=664958721904869660 CPUtime=0.1 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 152 0 0 0 10 0 0 0 20 0 2 0 77957874 85610496 2487 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 83604 KiB
Current children cumulated memory: 9948 KiB

[startup+0.305637 s]*
/proc/loadavg: 5.69 5.55 5.34 8/267 88664
/proc/meminfo: memFree=128946788/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=83892 memory=9948 CPUtime=0.49 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 2093 0 0 0 49 0 0 0 20 0 2 0 77957874 85905408 2487 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 20973 2487 672 633 0 3952 0
[pid=88662/tid=88664] ppid=88659 vsize=83892 memory=7972081102085570416 CPUtime=0.2 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 152 0 0 0 20 0 0 0 20 0 2 0 77957874 85905408 2487 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 83892 KiB
Current children cumulated memory: 9948 KiB

[startup+0.70021 s]
/proc/loadavg: 5.69 5.55 5.34 7/267 88664
/proc/meminfo: memFree=128946788/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=85052 memory=10716 CPUtime=1.25 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 2363 0 0 0 124 1 0 0 20 0 2 0 77957874 87093248 2679 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 21263 2679 672 633 0 4242 0
[pid=88662/tid=88664] ppid=88659 vsize=85052 memory=18816 CPUtime=0.57 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 152 0 0 0 57 0 0 0 20 0 2 0 77957874 87093248 2679 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 85052 KiB
Current children cumulated memory: 10716 KiB

[startup+1.5002 s]
/proc/loadavg: 5.69 5.55 5.34 7/267 88664
/proc/meminfo: memFree=128946032/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=85052 memory=10844 CPUtime=2.72 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 4024 0 0 0 270 2 0 0 20 0 2 0 77957874 87093248 2711 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 21263 2711 672 633 0 4242 0
[pid=88662/tid=88664] ppid=88659 vsize=85052 memory=18816 CPUtime=1.24 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 348 0 0 0 124 0 0 0 20 0 2 0 77957874 87093248 2711 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 85052 KiB
Current children cumulated memory: 10844 KiB

[startup+3.10561 s]
/proc/loadavg: 5.71 5.56 5.34 7/267 88664
/proc/meminfo: memFree=128945184/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=86016 memory=11424 CPUtime=5.82 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 5967 0 0 0 578 4 0 0 20 0 2 0 77957874 88080384 2856 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 21504 2856 672 633 0 4483 0
[pid=88662/tid=88664] ppid=88659 vsize=86016 memory=11168 CPUtime=2.75 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 717 0 0 0 275 0 0 0 20 0 2 0 77957874 88080384 2856 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 5.82 s
Current children cumulated vsize: 86016 KiB
Current children cumulated memory: 11424 KiB

[startup+6.30019 s]
/proc/loadavg: 5.71 5.56 5.34 8/267 88664
/proc/meminfo: memFree=128945184/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=86296 memory=12064 CPUtime=11.85 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 8132 0 0 0 1177 8 0 0 20 0 2 0 77957874 88367104 3016 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 21574 3016 672 633 0 4553 0
[pid=88662/tid=88664] ppid=88659 vsize=86296 memory=18816 CPUtime=5.62 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) S 88659 88662 88348 0 -1 4194368 903 0 0 0 561 1 0 0 20 0 2 0 77957874 88367104 3016 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 11.85 s
Current children cumulated vsize: 86296 KiB
Current children cumulated memory: 12064 KiB

[startup+12.7002 s]
/proc/loadavg: 5.74 5.57 5.34 6/267 88664
/proc/meminfo: memFree=128945188/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=88256 memory=14252 CPUtime=23.3 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 10088 0 0 0 2316 14 0 0 20 0 2 0 77957874 90374144 3563 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 22064 3563 672 633 0 5043 0
[pid=88662/tid=88664] ppid=88659 vsize=88256 memory=14252 CPUtime=10.71 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 1394 0 0 0 1069 2 0 0 20 0 2 0 77957874 90374144 3563 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 23.3 s
Current children cumulated vsize: 88256 KiB
Current children cumulated memory: 14252 KiB

[startup+25.5002 s]
/proc/loadavg: 5.86 5.60 5.36 8/267 88664
/proc/meminfo: memFree=128940336/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=89312 memory=15276 CPUtime=47.34 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 12162 0 0 0 4711 23 0 0 20 0 2 0 77957874 91455488 3819 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 22328 3819 672 633 0 5307 0
[pid=88662/tid=88664] ppid=88659 vsize=89312 memory=14892 CPUtime=22.04 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 1795 0 0 0 2200 4 0 0 20 0 2 0 77957874 91455488 3819 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 47.34 s
Current children cumulated vsize: 89312 KiB
Current children cumulated memory: 15276 KiB

[startup+51.1056 s]
/proc/loadavg: 6.06 5.67 5.39 7/267 88664
/proc/meminfo: memFree=128935752/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=93012 memory=17412 CPUtime=93.65 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 15079 0 0 0 9327 38 0 0 20 0 2 0 77957874 95244288 4353 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 23253 4353 672 633 0 6232 0
[pid=88662/tid=88664] ppid=88659 vsize=93012 memory=18816 CPUtime=42.92 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 2750 0 0 0 4284 8 0 0 20 0 2 0 77957874 95244288 4353 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 93.65 s
Current children cumulated vsize: 93012 KiB
Current children cumulated memory: 17412 KiB

[startup+102.3 s]
/proc/loadavg: 6.14 5.75 5.43 7/267 88666
/proc/meminfo: memFree=128935104/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=94324 memory=18948 CPUtime=187.52 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 18584 0 0 0 18683 69 0 0 20 0 2 0 77957874 96587776 4737 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 23581 4737 672 633 0 6560 0
[pid=88662/tid=88664] ppid=88659 vsize=94324 memory=18816 CPUtime=86.01 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 3487 0 0 0 8583 18 0 0 20 0 2 0 77957874 96587776 4737 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 187.52 s
Current children cumulated vsize: 94324 KiB
Current children cumulated memory: 18948 KiB

[startup+162.3 s]
/proc/loadavg: 6.51 5.91 5.51 8/267 88714
/proc/meminfo: memFree=129169148/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=95252 memory=20612 CPUtime=296.87 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 25328 0 0 0 29586 101 0 0 20 0 2 0 77957874 97538048 5153 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 23813 5153 672 633 0 6792 0
[pid=88662/tid=88664] ppid=88659 vsize=95252 memory=20484 CPUtime=135.85 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 4719 0 0 0 13558 27 0 0 20 0 2 0 77957874 97538048 5153 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 296.87 s
Current children cumulated vsize: 95252 KiB
Current children cumulated memory: 20612 KiB

[startup+222.3 s]
/proc/loadavg: 6.51 6.01 5.57 8/267 88716
/proc/meminfo: memFree=129172300/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=95992 memory=21764 CPUtime=405.31 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 25841 0 0 0 40403 128 0 0 20 0 2 0 77957874 98295808 5441 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 23998 5441 672 633 0 6977 0
[pid=88662/tid=88664] ppid=88659 vsize=95992 memory=21252 CPUtime=184.75 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) S 88659 88662 88348 0 -1 4194368 4758 0 0 0 18438 37 0 0 20 0 2 0 77957874 98295808 5441 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 405.31 s
Current children cumulated vsize: 95992 KiB
Current children cumulated memory: 21764 KiB

[startup+282.3 s]
/proc/loadavg: 6.75 6.18 5.66 8/263 88738
/proc/meminfo: memFree=129334940/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=101804 memory=23248 CPUtime=513.21 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 28110 0 0 0 51171 150 0 0 20 0 2 0 77957874 104247296 5812 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 25451 5812 672 633 0 8430 0
[pid=88662/tid=88664] ppid=88659 vsize=101804 memory=22276 CPUtime=233.1 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 5153 0 0 0 23263 47 0 0 20 0 2 0 77957874 104247296 5812 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 513.21 s
Current children cumulated vsize: 101804 KiB
Current children cumulated memory: 23248 KiB

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

/proc/meminfo: memFree=129314052/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105164 memory=28524 CPUtime=2583.42 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 38313 0 0 0 257920 422 0 0 20 0 2 0 77957874 107687936 7131 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26291 7131 672 633 0 9270 0
[pid=88662/tid=88664] ppid=88659 vsize=105164 memory=28396 CPUtime=1173.8 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6114 0 0 0 117204 176 0 0 20 0 2 0 77957874 107687936 7131 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 2583.42 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 28524 KiB

[startup+1482.3 s]
/proc/loadavg: 7.28 7.23 6.84 7/266 88828
/proc/meminfo: memFree=129314408/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105164 memory=28652 CPUtime=2692 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 38322 0 0 0 268767 433 0 0 20 0 2 0 77957874 107687936 7163 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26291 7163 672 633 0 9270 0
[pid=88662/tid=88664] ppid=88659 vsize=105164 memory=28652 CPUtime=1222.95 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) S 88659 88662 88348 0 -1 4194368 6114 0 0 0 122114 181 0 0 20 0 2 0 77957874 107687936 7163 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 2692 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 28652 KiB

[startup+1542.3 s]
/proc/loadavg: 7.20 7.20 6.85 7/266 88830
/proc/meminfo: memFree=129310500/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105164 memory=28780 CPUtime=2800.44 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 38350 0 0 0 279599 445 0 0 20 0 2 0 77957874 107687936 7195 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26291 7195 672 633 0 9270 0
[pid=88662/tid=88664] ppid=88659 vsize=105164 memory=28780 CPUtime=1271.96 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) S 88659 88662 88348 0 -1 4194368 6114 0 0 0 127010 186 0 0 20 0 2 0 77957874 107687936 7195 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 2800.44 s
Current children cumulated vsize: 105164 KiB
Current children cumulated memory: 28780 KiB

[startup+1602.3 s]
/proc/loadavg: 7.25 7.21 6.88 9/266 88832
/proc/meminfo: memFree=129310676/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105432 memory=28908 CPUtime=2908.98 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 39658 0 0 0 290442 456 0 0 20 0 2 0 77957874 107962368 7227 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26358 7227 672 633 0 9337 0
[pid=88662/tid=88664] ppid=88659 vsize=105432 memory=28780 CPUtime=1321.09 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6155 0 0 0 131919 190 0 0 20 0 2 0 77957874 107962368 7227 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 2908.98 s
Current children cumulated vsize: 105432 KiB
Current children cumulated memory: 28908 KiB

[startup+1662.3 s]
/proc/loadavg: 7.52 7.28 6.93 7/267 88837
/proc/meminfo: memFree=129306344/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105432 memory=28908 CPUtime=3017.38 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 39671 0 0 0 301271 467 0 0 20 0 2 0 77957874 107962368 7227 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26358 7227 672 633 0 9337 0
[pid=88662/tid=88664] ppid=88659 vsize=105432 memory=28780 CPUtime=1370.06 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6156 0 0 0 136810 196 0 0 20 0 2 0 77957874 107962368 7227 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3017.38 s
Current children cumulated vsize: 105432 KiB
Current children cumulated memory: 28908 KiB

[startup+1722.3 s]
/proc/loadavg: 7.58 7.34 6.97 9/267 88843
/proc/meminfo: memFree=129303540/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105564 memory=31112 CPUtime=3125.76 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 41034 0 0 0 312097 479 0 0 20 0 2 0 77957874 108097536 7778 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26391 7778 672 633 0 9370 0
[pid=88662/tid=88664] ppid=88659 vsize=105564 memory=28780 CPUtime=1419.05 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6309 0 0 0 141703 202 0 0 20 0 2 0 77957874 108097536 7778 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3125.76 s
Current children cumulated vsize: 105564 KiB
Current children cumulated memory: 31112 KiB

[startup+1782.3 s]
/proc/loadavg: 7.69 7.42 7.02 9/267 88845
/proc/meminfo: memFree=129305788/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105564 memory=31112 CPUtime=3234.29 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 41054 0 0 0 322939 490 0 0 20 0 2 0 77957874 108097536 7778 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26391 7778 672 633 0 9370 0
[pid=88662/tid=88664] ppid=88659 vsize=105564 memory=14720 CPUtime=1468.11 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6312 0 0 0 146603 208 0 0 20 0 2 0 77957874 108097536 7778 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3234.29 s
Current children cumulated vsize: 105564 KiB
Current children cumulated memory: 31112 KiB

[startup+1842.3 s]
/proc/loadavg: 7.27 7.34 7.02 8/267 88847
/proc/meminfo: memFree=129308952/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105748 memory=31240 CPUtime=3342.74 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 42448 0 0 0 333771 503 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26437 7810 672 633 0 9416 0
[pid=88662/tid=88664] ppid=88659 vsize=105748 memory=31112 CPUtime=1517.11 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6362 0 0 0 151497 214 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3342.74 s
Current children cumulated vsize: 105748 KiB
Current children cumulated memory: 31240 KiB

[startup+1902.3 s]
/proc/loadavg: 7.16 7.31 7.02 8/267 88848
/proc/meminfo: memFree=129308084/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105748 memory=31240 CPUtime=3451.04 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 42451 0 0 0 344589 515 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26437 7810 672 633 0 9416 0
[pid=88662/tid=88664] ppid=88659 vsize=105748 memory=31240 CPUtime=1565.97 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6362 0 0 0 156377 220 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3451.04 s
Current children cumulated vsize: 105748 KiB
Current children cumulated memory: 31240 KiB

[startup+1962.3 s]
/proc/loadavg: 7.21 7.31 7.04 7/261 88858
/proc/meminfo: memFree=129315708/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105748 memory=31240 CPUtime=3559.23 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 43829 0 0 0 355396 527 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26437 7810 672 633 0 9416 0
[pid=88662/tid=88664] ppid=88659 vsize=105748 memory=31240 CPUtime=1614.74 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) R 88659 88662 88348 0 -1 4194368 6511 0 0 0 161247 227 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3559.23 s
Current children cumulated vsize: 105748 KiB
Current children cumulated memory: 31240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1984.9 s]
/proc/loadavg: 7.42 7.35 7.06 9/266 88897
/proc/meminfo: memFree=129322060/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105748 memory=31240 CPUtime=3600.01 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 43829 0 0 0 359469 532 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26437 7810 672 633 0 9416 0
[pid=88662/tid=88664] ppid=88659 vsize=105748 memory=31240 CPUtime=1633.13 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) S 88659 88662 88348 0 -1 4194368 6511 0 0 0 163083 230 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 105748 KiB
Current children cumulated memory: 31240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.77 s, system=5.32752 s

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

[startup+1984.9 s]
/proc/loadavg: 7.42 7.35 7.06 9/266 88897
/proc/meminfo: memFree=129322060/131250000 swapFree=33010416/33010684
[pid=88662] ppid=88659 vsize=105748 memory=31240 CPUtime=3600.01 cores=0,2
/proc/88662/stat : 88662 (pb_competition_) R 88659 88662 88348 0 -1 4194304 43829 0 0 0 359469 532 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
/proc/88662/statm: 26437 7810 672 633 0 9416 0
[pid=88662/tid=88664] ppid=88659 vsize=105748 memory=31240 CPUtime=1633.13 cores=0,2
/proc/88662/task/88664/stat : 88664 (pb_competition_) S 88659 88662 88348 0 -1 4194368 6511 0 0 0 163083 230 0 0 20 0 2 0 77957874 108285952 7810 18446744073709551615 4198400 6788177 140721470264624 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 33841152 140721470273879 140721470274006 140721470274006 140721470279610 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 105748 KiB
Current children cumulated memory: 31240 KiB

Child status: 0

Real time (s): 1984.98
CPU time (s): 3600.1
CPU user time (s): 3594.77
CPU system time (s): 5.32752
CPU usage (%): 181.367
Max. virtual memory (cumulated for all children) (KiB): 105748
Max. memory (cumulated for all children) (KiB): 31240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.77
system time used= 5.32752
maximum resident set size= 31240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43984
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= 19476
involuntary context switches= 66888


# summary of solver processes directly reported to runsolver:
#   pid: 88662
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3594.77
#   total CPU system time (s): 5.32752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.88802 second user time and 9.42702 second system time

The end