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 (62650 MiB free)
  memory of node 1: 64507 MiB (63900 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4496822-1751382437/watcher-4496822-1751382437 -o /tmp/evaluation-result-4496822-1751382437/solver-4496822-1751382437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751382437-58274 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1248567117 HOME/instance-4496822-1751382437.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=58334, runsolver pid=58316
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 1.33 2.10 2.96 9/269 58337
/proc/meminfo: memFree=129498828/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=105316 memory=32844 CPUtime=0.13 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 7334 0 0 0 12 1 0 0 20 0 2 0 53923957 107843584 8211 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26329 8211 672 633 0 9686 0
[pid=58334/tid=58337] ppid=58316 vsize=105316 memory=4026531960 CPUtime=0.03 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 529 0 0 0 3 0 0 0 20 0 2 0 53923958 107843584 8211 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 105316 KiB
Current children cumulated memory: 32844 KiB

[startup+0.205708 s]*
/proc/loadavg: 1.33 2.10 2.96 8/269 58337
/proc/meminfo: memFree=129491520/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=106752 memory=34252 CPUtime=0.3 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 7681 0 0 0 29 1 0 0 20 0 2 0 53923957 109314048 8563 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26688 8563 672 633 0 10045 0
[pid=58334/tid=58337] ppid=58316 vsize=106752 memory=5983648042466672924 CPUtime=0.09 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 529 0 0 0 9 0 0 0 20 0 2 0 53923958 109314048 8563 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 106752 KiB
Current children cumulated memory: 34252 KiB

[startup+0.305941 s]*
/proc/loadavg: 1.33 2.10 2.96 7/269 58337
/proc/meminfo: memFree=129459264/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=106752 memory=34252 CPUtime=0.41 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 7681 0 0 0 40 1 0 0 20 0 2 0 53923957 109314048 8563 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26688 8563 672 633 0 10045 0
[pid=58334/tid=58337] ppid=58316 vsize=106752 memory=7971232266223959149 CPUtime=0.11 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 529 0 0 0 11 0 0 0 20 0 2 0 53923958 109314048 8563 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 106752 KiB
Current children cumulated memory: 34252 KiB

[startup+0.700179 s]
/proc/loadavg: 1.33 2.10 2.96 7/269 58337
/proc/meminfo: memFree=129411208/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=106752 memory=34252 CPUtime=0.8 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 7696 0 0 0 79 1 0 0 20 0 2 0 53923957 109314048 8563 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26688 8563 672 633 0 10045 0
[pid=58334/tid=58337] ppid=58316 vsize=106752 memory=13952 CPUtime=0.12 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 529 0 0 0 12 0 0 0 20 0 2 0 53923958 109314048 8563 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 106752 KiB
Current children cumulated memory: 34252 KiB

[startup+1.50015 s]
/proc/loadavg: 1.33 2.10 2.96 7/269 58337
/proc/meminfo: memFree=129403144/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=106884 memory=34380 CPUtime=2.11 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 12155 0 0 0 209 2 0 0 20 0 2 0 53923957 109449216 8595 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26721 8595 672 633 0 10078 0
[pid=58334/tid=58337] ppid=58316 vsize=106884 memory=13952 CPUtime=0.62 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 629 0 0 0 62 0 0 0 20 0 2 0 53923958 109449216 8595 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 106884 KiB
Current children cumulated memory: 34380 KiB

[startup+3.10563 s]
/proc/loadavg: 1.33 2.10 2.96 9/269 58337
/proc/meminfo: memFree=129395704/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=106884 memory=34508 CPUtime=4.81 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 12365 0 0 0 478 3 0 0 20 0 2 0 53923957 109449216 8627 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26721 8627 672 633 0 10078 0
[pid=58334/tid=58337] ppid=58316 vsize=106884 memory=14720 CPUtime=1.73 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 643 0 0 0 173 0 0 0 20 0 2 0 53923958 109449216 8627 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 106884 KiB
Current children cumulated memory: 34508 KiB

[startup+6.30014 s]
/proc/loadavg: 1.70 2.16 2.97 8/269 58337
/proc/meminfo: memFree=129396188/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=107016 memory=34508 CPUtime=9.71 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 22319 0 0 0 964 7 0 0 20 0 2 0 53923957 109584384 8627 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26754 8627 672 633 0 10111 0
[pid=58334/tid=58337] ppid=58316 vsize=107016 memory=34508 CPUtime=3.45 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 1729 0 0 0 344 1 0 0 20 0 2 0 53923958 109584384 8627 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 9.71 s
Current children cumulated vsize: 107016 KiB
Current children cumulated memory: 34508 KiB

[startup+12.7002 s]
/proc/loadavg: 2.05 2.22 2.99 7/269 58337
/proc/meminfo: memFree=129396264/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=107624 memory=35020 CPUtime=19.78 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 32073 0 0 0 1965 13 0 0 20 0 2 0 53923957 110206976 8755 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26906 8755 672 633 0 10263 0
[pid=58334/tid=58337] ppid=58316 vsize=107624 memory=35020 CPUtime=7.17 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 2694 0 0 0 715 2 0 0 20 0 2 0 53923958 110206976 8755 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 19.78 s
Current children cumulated vsize: 107624 KiB
Current children cumulated memory: 35020 KiB

[startup+25.5002 s]
/proc/loadavg: 3.00 2.43 3.04 8/269 58337
/proc/meminfo: memFree=129396216/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=107624 memory=35020 CPUtime=40.94 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 41718 0 0 0 4061 33 0 0 20 0 2 0 53923957 110206976 8755 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26906 8755 672 633 0 10263 0
[pid=58334/tid=58337] ppid=58316 vsize=107624 memory=35020 CPUtime=15.62 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 3875 0 0 0 1554 8 0 0 20 0 2 0 53923958 110206976 8755 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 40.94 s
Current children cumulated vsize: 107624 KiB
Current children cumulated memory: 35020 KiB

[startup+51.1057 s]
/proc/loadavg: 3.94 2.70 3.12 8/269 58338
/proc/meminfo: memFree=129399572/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=107900 memory=35404 CPUtime=83.01 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 51620 0 0 0 8236 65 0 0 20 0 2 0 53923957 110489600 8851 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 26975 8851 672 633 0 10332 0
[pid=58334/tid=58337] ppid=58316 vsize=107900 memory=34508 CPUtime=32.29 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 5106 0 0 0 3212 17 0 0 20 0 2 0 53923958 110489600 8851 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 83.01 s
Current children cumulated vsize: 107900 KiB
Current children cumulated memory: 35404 KiB

[startup+102.3 s]
/proc/loadavg: 5.31 3.27 3.29 8/269 58339
/proc/meminfo: memFree=129401312/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=108544 memory=35788 CPUtime=166.99 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 56775 0 0 0 16575 124 0 0 20 0 2 0 53923957 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27136 8947 672 633 0 10493 0
[pid=58334/tid=58337] ppid=58316 vsize=108544 memory=14720 CPUtime=65.42 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 5946 0 0 0 6508 34 0 0 20 0 2 0 53923958 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 166.99 s
Current children cumulated vsize: 108544 KiB
Current children cumulated memory: 35788 KiB

[startup+162.3 s]
/proc/loadavg: 6.11 3.88 3.50 9/269 58341
/proc/meminfo: memFree=129365152/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=108544 memory=35788 CPUtime=265.97 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 67581 0 0 0 26401 196 0 0 20 0 2 0 53923957 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27136 8947 672 633 0 10493 0
[pid=58334/tid=58337] ppid=58316 vsize=108544 memory=35788 CPUtime=104.85 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 7177 0 0 0 10430 55 0 0 20 0 2 0 53923958 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 265.97 s
Current children cumulated vsize: 108544 KiB
Current children cumulated memory: 35788 KiB

[startup+222.3 s]
/proc/loadavg: 6.23 4.32 3.68 7/268 58345
/proc/meminfo: memFree=129332232/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=108544 memory=35788 CPUtime=364.87 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 77530 0 0 0 36226 261 0 0 20 0 2 0 53923957 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27136 8947 672 633 0 10493 0
[pid=58334/tid=58337] ppid=58316 vsize=108544 memory=14720 CPUtime=144.19 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 8437 0 0 0 14344 75 0 0 20 0 2 0 53923958 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 364.87 s
Current children cumulated vsize: 108544 KiB
Current children cumulated memory: 35788 KiB

[startup+282.3 s]
/proc/loadavg: 6.44 4.71 3.86 9/268 58347
/proc/meminfo: memFree=129321584/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=108544 memory=35788 CPUtime=463.44 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 82692 0 0 0 46019 325 0 0 20 0 2 0 53923957 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27136 8947 672 633 0 10493 0
[pid=58334/tid=58337] ppid=58316 vsize=108544 memory=35788 CPUtime=183.19 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 9484 0 0 0 18224 95 0 0 20 0 2 0 53923958 111149056 8947 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 463.44 s
Current children cumulated vsize: 108544 KiB
Current children cumulated memory: 35788 KiB

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

/proc/meminfo: memFree=129377260/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38024 CPUtime=2646.3 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 95088 0 0 0 263138 1492 0 0 20 0 2 0 53923957 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9506 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=38024 CPUtime=1054.91 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 11525 0 0 0 105041 450 0 0 20 0 2 0 53923958 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 2646.3 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38024 KiB

[startup+1662.3 s]
/proc/loadavg: 6.75 6.81 6.20 9/267 58414
/proc/meminfo: memFree=129377188/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38024 CPUtime=2745.74 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 95639 0 0 0 273034 1540 0 0 20 0 2 0 53923957 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9506 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=38024 CPUtime=1094.76 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 11674 0 0 0 109013 463 0 0 20 0 2 0 53923958 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 2745.74 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38024 KiB

[startup+1722.3 s]
/proc/loadavg: 6.59 6.77 6.22 9/267 58416
/proc/meminfo: memFree=129377868/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38024 CPUtime=2845.07 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 95652 0 0 0 282918 1589 0 0 20 0 2 0 53923957 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9506 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=38024 CPUtime=1134.5 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 11674 0 0 0 112973 477 0 0 20 0 2 0 53923958 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 2845.07 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38024 KiB

[startup+1782.3 s]
/proc/loadavg: 6.97 6.84 6.28 9/267 58418
/proc/meminfo: memFree=129377212/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38024 CPUtime=2944.15 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 95656 0 0 0 292776 1639 0 0 20 0 2 0 53923957 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9506 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=38024 CPUtime=1173.97 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 11674 0 0 0 116905 492 0 0 20 0 2 0 53923958 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 2944.15 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38024 KiB

[startup+1842.3 s]
/proc/loadavg: 6.84 6.83 6.31 9/267 58420
/proc/meminfo: memFree=129377432/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38024 CPUtime=3043.48 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 96222 0 0 0 302655 1693 0 0 20 0 2 0 53923957 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9506 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=14720 CPUtime=1213.69 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 11675 0 0 0 120861 508 0 0 20 0 2 0 53923958 113270784 9506 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3043.48 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38024 KiB

[startup+1902.3 s]
/proc/loadavg: 6.94 6.86 6.36 9/267 58422
/proc/meminfo: memFree=129376340/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38152 CPUtime=3142.63 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 96796 0 0 0 312522 1741 0 0 20 0 2 0 53923957 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9538 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=14720 CPUtime=1253.24 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 11830 0 0 0 124802 522 0 0 20 0 2 0 53923958 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3142.63 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38152 KiB

[startup+1962.3 s]
/proc/loadavg: 6.29 6.71 6.34 6/266 58516
/proc/meminfo: memFree=127676404/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38152 CPUtime=3241.2 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 97369 0 0 0 322328 1792 0 0 20 0 2 0 53923957 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9538 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=38152 CPUtime=1292.21 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 11974 0 0 0 128685 536 0 0 20 0 2 0 53923958 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3241.2 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38152 KiB

[startup+2022.3 s]
/proc/loadavg: 6.19 6.63 6.33 7/267 58521
/proc/meminfo: memFree=127604456/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38152 CPUtime=3338.57 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 97370 0 0 0 332013 1844 0 0 20 0 2 0 53923957 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9538 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=13952 CPUtime=1329.99 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 11974 0 0 0 132449 550 0 0 20 0 2 0 53923958 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3338.57 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38152 KiB

[startup+2082.3 s]
/proc/loadavg: 6.16 6.53 6.32 8/267 58523
/proc/meminfo: memFree=127571068/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=110616 memory=38152 CPUtime=3435.91 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 97946 0 0 0 341701 1890 0 0 20 0 2 0 53923957 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27654 9538 672 633 0 11011 0
[pid=58334/tid=58337] ppid=58316 vsize=110616 memory=38152 CPUtime=1367.71 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 12133 0 0 0 136207 564 0 0 20 0 2 0 53923958 113270784 9538 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3435.91 s
Current children cumulated vsize: 110616 KiB
Current children cumulated memory: 38152 KiB

[startup+2142.3 s]
/proc/loadavg: 6.20 6.49 6.32 7/267 58525
/proc/meminfo: memFree=127566332/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=111896 memory=38332 CPUtime=3532.98 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 98269 0 0 0 351363 1935 0 0 20 0 2 0 53923957 114581504 9583 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27974 9583 672 633 0 11331 0
[pid=58334/tid=58337] ppid=58316 vsize=111896 memory=38332 CPUtime=1405.2 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) S 58316 58334 58262 0 -1 4194368 12133 0 0 0 139942 578 0 0 20 0 2 0 53923958 114581504 9583 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 1 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3532.98 s
Current children cumulated vsize: 111896 KiB
Current children cumulated memory: 38332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2183.7 s]
/proc/loadavg: 6.12 6.44 6.31 7/267 58526
/proc/meminfo: memFree=127560880/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=111896 memory=38332 CPUtime=3600.11 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 98724 0 0 0 358041 1970 0 0 20 0 2 0 53923957 114581504 9583 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27974 9583 672 633 0 11331 0
[pid=58334/tid=58337] ppid=58316 vsize=111896 memory=38332 CPUtime=1431.22 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 12295 0 0 0 142534 588 0 0 20 0 2 0 53923958 114581504 9583 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 111896 KiB
Current children cumulated memory: 38332 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.44 s, system=19.7055 s

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

[startup+2183.7 s]
/proc/loadavg: 6.12 6.44 6.31 7/267 58526
/proc/meminfo: memFree=127560880/131250000 swapFree=33010684/33010684
[pid=58334] ppid=58316 vsize=111896 memory=38332 CPUtime=3600.11 cores=1,3
/proc/58334/stat : 58334 (pb_competition_) R 58316 58334 58262 0 -1 4194304 98724 0 0 0 358041 1970 0 0 20 0 2 0 53923957 114581504 9583 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
/proc/58334/statm: 27974 9583 672 633 0 11331 0
[pid=58334/tid=58337] ppid=58316 vsize=111896 memory=38332 CPUtime=1431.22 cores=1,3
/proc/58334/task/58337/stat : 58337 (pb_competition_) R 58316 58334 58262 0 -1 4194368 12295 0 0 0 142534 588 0 0 20 0 2 0 53923958 114581504 9583 18446744073709551615 4198400 6788177 140727753185648 0 0 0 0 0 8404994 0 0 0 -1 3 0 0 0 0 0 7336896 7391280 14516224 140727753193817 140727753193944 140727753193944 140727753199546 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 111896 KiB
Current children cumulated memory: 38332 KiB

Child status: 0

Real time (s): 2183.72
CPU time (s): 3600.15
CPU user time (s): 3580.44
CPU system time (s): 19.7055
CPU usage (%): 164.863
Max. virtual memory (cumulated for all children) (KiB): 111896
Max. memory (cumulated for all children) (KiB): 38332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.44
system time used= 19.7055
maximum resident set size= 39432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98884
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= 409300
involuntary context switches= 52679


# summary of solver processes directly reported to runsolver:
#   pid: 58334
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3580.44
#   total CPU system time (s): 19.7055

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.99746 second user time and 9.68133 second system time

The end