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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524568-1751615950/watcher-4524568-1751615950 -o /tmp/evaluation-result-4524568-1751615950/solver-4524568-1751615950 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751612865-90767 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 430525327 HOME/instance-4524568-1751615950.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=91076, runsolver pid=91073

[startup+0.10007 s]*
/proc/loadavg: 5.42 5.06 4.85 7/268 91078
/proc/meminfo: memFree=120596868/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=79804 memory=5248 CPUtime=0.18 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 813 0 0 0 17 1 0 0 20 0 2 0 77274416 81719296 1312 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 19951 1312 672 633 0 2823 0
[pid=91076/tid=91078] ppid=91073 vsize=79804 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 45 0 0 0 8 0 0 0 20 0 2 0 77274417 81719296 1312 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79804 KiB
Current children cumulated memory: 5248 KiB

[startup+0.205799 s]*
/proc/loadavg: 5.42 5.06 4.85 7/268 91078
/proc/meminfo: memFree=120596868/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=79804 memory=5376 CPUtime=0.37 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 854 0 0 0 36 1 0 0 20 0 2 0 77274416 81719296 1344 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 19951 1344 672 633 0 2823 0
[pid=91076/tid=91078] ppid=91073 vsize=79804 memory=664958721904869660 CPUtime=0.17 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 45 0 0 0 17 0 0 0 20 0 2 0 77274417 81719296 1344 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 79804 KiB
Current children cumulated memory: 5376 KiB

[startup+0.305711 s]*
/proc/loadavg: 5.42 5.06 4.85 7/268 91078
/proc/meminfo: memFree=120596868/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=79804 memory=5376 CPUtime=0.55 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 861 0 0 0 54 1 0 0 20 0 2 0 77274416 81719296 1344 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 19951 1344 672 633 0 2823 0
[pid=91076/tid=91078] ppid=91073 vsize=79804 memory=7970394425361645674 CPUtime=0.25 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 45 0 0 0 25 0 0 0 20 0 2 0 77274417 81719296 1344 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 79804 KiB
Current children cumulated memory: 5376 KiB

[startup+0.700238 s]
/proc/loadavg: 5.46 5.07 4.86 7/268 91078
/proc/meminfo: memFree=120596868/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=80268 memory=5660 CPUtime=1.29 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 1001 0 0 0 127 2 0 0 20 0 2 0 77274416 82194432 1415 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20067 1415 672 633 0 2939 0
[pid=91076/tid=91078] ppid=91073 vsize=80268 memory=19072 CPUtime=0.62 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 45 0 0 0 62 0 0 0 20 0 2 0 77274417 82194432 1415 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 80268 KiB
Current children cumulated memory: 5660 KiB

[startup+1.50024 s]
/proc/loadavg: 5.46 5.07 4.86 7/269 91079
/proc/meminfo: memFree=120596112/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=80408 memory=5916 CPUtime=2.87 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 1735 0 0 0 282 5 0 0 20 0 2 0 77274416 82337792 1479 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20102 1479 672 633 0 2974 0
[pid=91076/tid=91078] ppid=91073 vsize=80408 memory=19072 CPUtime=1.39 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 248 0 0 0 139 0 0 0 20 0 2 0 77274417 82337792 1479 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 80408 KiB
Current children cumulated memory: 5916 KiB

[startup+3.10579 s]
/proc/loadavg: 5.46 5.07 4.86 8/269 91079
/proc/meminfo: memFree=120596380/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=80700 memory=6300 CPUtime=6.03 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 2592 0 0 0 594 9 0 0 20 0 2 0 77274416 82636800 1575 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20175 1575 672 633 0 3047 0
[pid=91076/tid=91078] ppid=91073 vsize=80700 memory=6044 CPUtime=2.96 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 509 0 0 0 295 1 0 0 20 0 2 0 77274417 82636800 1575 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 6.03 s
Current children cumulated vsize: 80700 KiB
Current children cumulated memory: 6300 KiB

[startup+6.3002 s]
/proc/loadavg: 5.43 5.07 4.86 8/269 91080
/proc/meminfo: memFree=120596632/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=81624 memory=6624 CPUtime=12.27 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 3687 0 0 0 1210 17 0 0 20 0 2 0 77274416 83582976 1656 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20406 1656 672 633 0 3278 0
[pid=91076/tid=91078] ppid=91073 vsize=81624 memory=19072 CPUtime=6.03 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 934 0 0 0 599 4 0 0 20 0 2 0 77274417 83582976 1656 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 12.27 s
Current children cumulated vsize: 81624 KiB
Current children cumulated memory: 6624 KiB

[startup+12.7002 s]
/proc/loadavg: 5.63 5.12 4.87 8/269 91080
/proc/meminfo: memFree=120599780/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=81756 memory=7008 CPUtime=24.69 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 3808 0 0 0 2442 27 0 0 20 0 2 0 77274416 83718144 1752 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20439 1752 672 633 0 3311 0
[pid=91076/tid=91078] ppid=91073 vsize=81756 memory=7008 CPUtime=12.09 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 937 0 0 0 1203 6 0 0 20 0 2 0 77274417 83718144 1752 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 24.69 s
Current children cumulated vsize: 81756 KiB
Current children cumulated memory: 7008 KiB

[startup+25.5002 s]
/proc/loadavg: 5.77 5.17 4.89 5/269 91080
/proc/meminfo: memFree=120600040/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=82024 memory=7520 CPUtime=49.33 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 4924 0 0 0 4887 46 0 0 20 0 2 0 77274416 83992576 1880 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20506 1880 672 633 0 3378 0
[pid=91076/tid=91078] ppid=91073 vsize=82024 memory=16432 CPUtime=24.03 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 1331 0 0 0 2391 12 0 0 20 0 2 0 77274417 83992576 1880 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 49.33 s
Current children cumulated vsize: 82024 KiB
Current children cumulated memory: 7520 KiB

[startup+51.1059 s]
/proc/loadavg: 5.91 5.26 4.93 7/270 91081
/proc/meminfo: memFree=120590060/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=82308 memory=7904 CPUtime=98.12 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 7817 0 0 0 9727 85 0 0 20 0 2 0 77274416 84283392 1976 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20577 1976 672 633 0 3449 0
[pid=91076/tid=91078] ppid=91073 vsize=82308 memory=7904 CPUtime=47.37 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 1930 0 0 0 4715 22 0 0 20 0 2 0 77274417 84283392 1976 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 98.12 s
Current children cumulated vsize: 82308 KiB
Current children cumulated memory: 7904 KiB

[startup+102.3 s]
/proc/loadavg: 6.19 5.43 5.01 7/270 91129
/proc/meminfo: memFree=120936092/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=83860 memory=8192 CPUtime=195.13 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 10059 0 0 0 19356 157 0 0 20 0 2 0 77274416 85872640 2048 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 20965 2048 672 633 0 3837 0
[pid=91076/tid=91078] ppid=91073 vsize=83860 memory=8192 CPUtime=93.53 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 2472 0 0 0 9312 41 0 0 20 0 2 0 77274417 85872640 2048 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 195.13 s
Current children cumulated vsize: 83860 KiB
Current children cumulated memory: 8192 KiB

[startup+162.3 s]
/proc/loadavg: 6.64 5.70 5.13 8/270 91142
/proc/meminfo: memFree=120925532/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84004 memory=8320 CPUtime=308.67 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 11770 0 0 0 30638 229 0 0 20 0 2 0 77274416 86020096 2080 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21001 2080 672 633 0 3873 0
[pid=91076/tid=91078] ppid=91073 vsize=84004 memory=8320 CPUtime=147.5 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 2999 0 0 0 14686 64 0 0 20 0 2 0 77274417 86020096 2080 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 308.67 s
Current children cumulated vsize: 84004 KiB
Current children cumulated memory: 8320 KiB

[startup+222.3 s]
/proc/loadavg: 7.07 5.98 5.26 8/269 91189
/proc/meminfo: memFree=121346748/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84004 memory=8448 CPUtime=421.88 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 12647 0 0 0 41886 302 0 0 20 0 2 0 77274416 86020096 2112 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21001 2112 672 633 0 3873 0
[pid=91076/tid=91078] ppid=91073 vsize=84004 memory=8448 CPUtime=201.14 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 3275 0 0 0 20028 86 0 0 20 0 2 0 77274417 86020096 2112 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 421.88 s
Current children cumulated vsize: 84004 KiB
Current children cumulated memory: 8448 KiB

[startup+282.3 s]
/proc/loadavg: 7.42 6.27 5.41 9/270 91196
/proc/meminfo: memFree=121338916/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84004 memory=8576 CPUtime=535.21 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 13535 0 0 0 53146 375 0 0 20 0 2 0 77274416 86020096 2144 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21001 2144 672 633 0 3873 0
[pid=91076/tid=91078] ppid=91073 vsize=84004 memory=16432 CPUtime=254.86 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 3522 0 0 0 25384 102 0 0 20 0 2 0 77274417 86020096 2144 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 535.21 s
Current children cumulated vsize: 84004 KiB
Current children cumulated memory: 8576 KiB

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

/proc/meminfo: memFree=121341116/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84276 memory=8832 CPUtime=2453.69 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 19215 0 0 0 243823 1546 0 0 20 0 2 0 77274416 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21069 2208 672 633 0 3941 0
[pid=91076/tid=91078] ppid=91073 vsize=84276 memory=8832 CPUtime=1160.56 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 4943 0 0 0 115656 400 0 0 20 0 2 0 77274417 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 2453.69 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 8832 KiB

[startup+1362.3 s]
/proc/loadavg: 7.37 7.30 6.76 8/267 91244
/proc/meminfo: memFree=121342304/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84276 memory=8832 CPUtime=2566.17 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 19219 0 0 0 255002 1615 0 0 20 0 2 0 77274416 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21069 2208 672 633 0 3941 0
[pid=91076/tid=91078] ppid=91073 vsize=84276 memory=16432 CPUtime=1213.5 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 4943 0 0 0 120932 418 0 0 20 0 2 0 77274417 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 2566.17 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 8832 KiB

[startup+1422.3 s]
/proc/loadavg: 7.56 7.35 6.82 8/267 91246
/proc/meminfo: memFree=121340916/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84276 memory=8832 CPUtime=2678.58 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 20194 0 0 0 266177 1681 0 0 20 0 2 0 77274416 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21069 2208 672 633 0 3941 0
[pid=91076/tid=91078] ppid=91073 vsize=84276 memory=16432 CPUtime=1266.38 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) S 91073 91076 90346 0 -1 4194368 5273 0 0 0 126204 434 0 0 20 0 2 0 77274417 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 2678.58 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 8832 KiB

[startup+1482.3 s]
/proc/loadavg: 7.25 7.32 6.84 6/268 91253
/proc/meminfo: memFree=121341080/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84276 memory=8832 CPUtime=2790.94 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 20196 0 0 0 277347 1747 0 0 20 0 2 0 77274416 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21069 2208 672 633 0 3941 0
[pid=91076/tid=91078] ppid=91073 vsize=84276 memory=8832 CPUtime=1319.19 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 5273 0 0 0 131468 451 0 0 20 0 2 0 77274417 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 2790.94 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 8832 KiB

[startup+1542.3 s]
/proc/loadavg: 7.77 7.45 6.92 8/267 91255
/proc/meminfo: memFree=121340692/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84276 memory=8832 CPUtime=2903.25 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 21169 0 0 0 288510 1815 0 0 20 0 2 0 77274416 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21069 2208 672 633 0 3941 0
[pid=91076/tid=91078] ppid=91073 vsize=84276 memory=16432 CPUtime=1371.99 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 5554 0 0 0 136732 467 0 0 20 0 2 0 77274417 86298624 2208 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 2903.25 s
Current children cumulated vsize: 84276 KiB
Current children cumulated memory: 8832 KiB

[startup+1602.3 s]
/proc/loadavg: 7.61 7.46 6.95 7/267 91257
/proc/meminfo: memFree=121340564/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=8960 CPUtime=3015.59 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 21190 0 0 0 299673 1886 0 0 20 0 2 0 77274416 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2240 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=8832 CPUtime=1424.77 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 5555 0 0 0 141995 482 0 0 20 0 2 0 77274417 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3015.59 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 8960 KiB

[startup+1662.3 s]
/proc/loadavg: 7.87 7.55 7.02 9/268 91259
/proc/meminfo: memFree=121341124/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=8960 CPUtime=3127.87 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 21191 0 0 0 310831 1956 0 0 20 0 2 0 77274416 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2240 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=8960 CPUtime=1477.52 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 5555 0 0 0 147253 499 0 0 20 0 2 0 77274417 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3127.87 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 8960 KiB

[startup+1722.3 s]
/proc/loadavg: 7.30 7.44 7.01 9/268 91261
/proc/meminfo: memFree=121340492/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=8960 CPUtime=3240.12 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 22181 0 0 0 321986 2026 0 0 20 0 2 0 77274416 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2240 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=8960 CPUtime=1530.26 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 5881 0 0 0 152511 515 0 0 20 0 2 0 77274417 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3240.12 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 8960 KiB

[startup+1782.3 s]
/proc/loadavg: 7.49 7.48 7.06 8/267 91263
/proc/meminfo: memFree=121340676/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=8960 CPUtime=3352.31 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 22184 0 0 0 333136 2095 0 0 20 0 2 0 77274416 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2240 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=8960 CPUtime=1582.93 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 5881 0 0 0 157761 532 0 0 20 0 2 0 77274417 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3352.31 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 8960 KiB

[startup+1842.3 s]
/proc/loadavg: 7.50 7.50 7.09 9/268 91313
/proc/meminfo: memFree=121312752/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=8960 CPUtime=3464.46 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 23165 0 0 0 344277 2169 0 0 20 0 2 0 77274416 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2240 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=8960 CPUtime=1635.6 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 6157 0 0 0 163009 551 0 0 20 0 2 0 77274417 86433792 2240 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3464.46 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 8960 KiB

[startup+1902.3 s]
/proc/loadavg: 7.57 7.52 7.12 9/268 91316
/proc/meminfo: memFree=121321516/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=9088 CPUtime=3576.62 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 23180 0 0 0 355428 2234 0 0 20 0 2 0 77274416 86433792 2272 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2272 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=8960 CPUtime=1688.22 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 6157 0 0 0 168256 566 0 0 20 0 2 0 77274417 86433792 2272 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3576.62 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 9088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1914.8 s]
/proc/loadavg: 7.48 7.50 7.12 9/268 91317
/proc/meminfo: memFree=121321524/131250000 swapFree=33009904/33010684
[pid=91076] ppid=91073 vsize=84408 memory=9088 CPUtime=3600 cores=0,2
/proc/91076/stat : 91076 (pb_competition_) R 91073 91076 90346 0 -1 4194304 23180 0 0 0 357753 2247 0 0 20 0 2 0 77274416 86433792 2272 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
/proc/91076/statm: 21102 2272 672 633 0 3974 0
[pid=91076/tid=91078] ppid=91073 vsize=84408 memory=1792 CPUtime=1699.18 cores=0,2
/proc/91076/task/91078/stat : 91078 (pb_competition_) R 91073 91076 90346 0 -1 4194368 6157 0 0 0 169349 569 0 0 20 0 2 0 77274417 86433792 2272 18446744073709551615 4198400 6788177 140733906711072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 27267072 140733906712920 140733906713046 140733906713046 140733906718650 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 84408 KiB
Current children cumulated memory: 9088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3577.55 s, system=22.4739 s

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

Child status: 0

Real time (s): 1914.81
CPU time (s): 3600.03
CPU user time (s): 3577.55
CPU system time (s): 22.4739
CPU usage (%): 188.009
Max. virtual memory (cumulated for all children) (KiB): 84408
Max. memory (cumulated for all children) (KiB): 9088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.55
system time used= 22.4739
maximum resident set size= 9312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23302
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= 97828
involuntary context switches= 62307


# summary of solver processes directly reported to runsolver:
#   pid: 91076
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3577.55
#   total CPU system time (s): 22.4739

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68967 second user time and 8.33028 second system time

The end