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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512430-1751524587/watcher-4512430-1751524587 -o /tmp/evaluation-result-4512430-1751524587/solver-4512430-1751524587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751519462-75019 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2040834969 HOME/instance-4512430-1751524587.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=75698, runsolver pid=75695

[startup+0.100067 s]*
/proc/loadavg: 6.96 6.68 6.30 7/267 75700
/proc/meminfo: memFree=129060716/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=111512 memory=40324 CPUtime=0.11 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 8828 0 0 0 10 1 0 0 20 0 2 0 68136215 114188288 10081 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 27878 10081 672 633 0 11562 0
[pid=75698/tid=75700] ppid=75695 vsize=111512 memory=4026531960 CPUtime=0.02 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 856 0 0 0 2 0 0 0 20 0 2 0 68136216 114188288 10081 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 111512 KiB
Current children cumulated memory: 40324 KiB

[startup+0.205595 s]*
/proc/loadavg: 6.96 6.68 6.30 7/267 75700
/proc/meminfo: memFree=129056936/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=113952 memory=42756 CPUtime=0.22 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) S 75695 75698 75009 0 -1 4194304 9438 0 0 0 21 1 0 0 20 0 2 0 68136215 116686848 10689 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28488 10689 672 633 0 12172 0
[pid=75698/tid=75700] ppid=75695 vsize=113952 memory=664958721904869660 CPUtime=0.03 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 856 0 0 0 3 0 0 0 20 0 2 0 68136216 116686848 10689 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 113952 KiB
Current children cumulated memory: 42756 KiB

[startup+0.30562 s]*
/proc/loadavg: 6.96 6.68 6.30 6/267 75700
/proc/meminfo: memFree=129056936/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=113952 memory=42884 CPUtime=0.37 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) S 75695 75698 75009 0 -1 4194304 9445 0 0 0 36 1 0 0 20 0 2 0 68136215 116686848 10721 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28488 10721 672 633 0 12172 0
[pid=75698/tid=75700] ppid=75695 vsize=113952 memory=-7022934536899891047 CPUtime=0.08 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 856 0 0 0 8 0 0 0 20 0 2 0 68136216 116686848 10721 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 113952 KiB
Current children cumulated memory: 42884 KiB

[startup+0.700201 s]
/proc/loadavg: 6.96 6.68 6.30 7/267 75700
/proc/meminfo: memFree=129056936/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=114084 memory=42884 CPUtime=0.86 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 9461 0 0 0 85 1 0 0 20 0 2 0 68136215 116822016 10721 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28521 10721 672 633 0 12205 0
[pid=75698/tid=75700] ppid=75695 vsize=114084 memory=14976 CPUtime=0.19 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 856 0 0 0 19 0 0 0 20 0 2 0 68136216 116822016 10721 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 114084 KiB
Current children cumulated memory: 42884 KiB

[startup+1.50021 s]
/proc/loadavg: 6.96 6.68 6.30 7/267 75700
/proc/meminfo: memFree=129056936/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=114216 memory=43012 CPUtime=1.94 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 15216 0 0 0 192 2 0 0 20 0 2 0 68136215 116957184 10753 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28554 10753 672 633 0 12238 0
[pid=75698/tid=75700] ppid=75695 vsize=114216 memory=14976 CPUtime=0.46 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 859 0 0 0 46 0 0 0 20 0 2 0 68136216 116957184 10753 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 114216 KiB
Current children cumulated memory: 43012 KiB

[startup+3.10536 s]
/proc/loadavg: 6.96 6.68 6.30 8/267 75700
/proc/meminfo: memFree=129056936/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=114348 memory=43268 CPUtime=4.38 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 16105 0 0 0 435 3 0 0 20 0 2 0 68136215 117092352 10817 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28587 10817 672 633 0 12271 0
[pid=75698/tid=75700] ppid=75695 vsize=114348 memory=43140 CPUtime=1.3 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 1027 0 0 0 130 0 0 0 20 0 2 0 68136216 117092352 10817 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 114348 KiB
Current children cumulated memory: 43268 KiB

[startup+6.3002 s]
/proc/loadavg: 6.88 6.66 6.30 8/267 75700
/proc/meminfo: memFree=129056944/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=114628 memory=43396 CPUtime=8.77 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 22885 0 0 0 872 5 0 0 20 0 2 0 68136215 117379072 10849 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28657 10849 672 633 0 12341 0
[pid=75698/tid=75700] ppid=75695 vsize=114628 memory=14976 CPUtime=2.53 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 1466 0 0 0 252 1 0 0 20 0 2 0 68136216 117379072 10849 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 8.77 s
Current children cumulated vsize: 114628 KiB
Current children cumulated memory: 43396 KiB

[startup+12.7002 s]
/proc/loadavg: 6.81 6.65 6.30 8/267 75700
/proc/meminfo: memFree=129044680/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=114892 memory=43652 CPUtime=18.07 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 35075 0 0 0 1799 8 0 0 20 0 2 0 68136215 117649408 10913 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28723 10913 672 633 0 12407 0
[pid=75698/tid=75700] ppid=75695 vsize=114892 memory=43652 CPUtime=5.47 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 2034 0 0 0 545 2 0 0 20 0 2 0 68136216 117649408 10913 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 18.07 s
Current children cumulated vsize: 114892 KiB
Current children cumulated memory: 43652 KiB

[startup+25.5002 s]
/proc/loadavg: 6.77 6.65 6.30 7/268 75702
/proc/meminfo: memFree=129031952/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=115684 memory=44548 CPUtime=37.49 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 47307 0 0 0 3733 16 0 0 20 0 2 0 68136215 118460416 11137 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 28921 11137 672 633 0 12605 0
[pid=75698/tid=75700] ppid=75695 vsize=115684 memory=44036 CPUtime=12.19 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 3352 0 0 0 1215 4 0 0 20 0 2 0 68136216 118460416 11137 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 37.49 s
Current children cumulated vsize: 115684 KiB
Current children cumulated memory: 44548 KiB

[startup+51.1054 s]
/proc/loadavg: 6.83 6.68 6.32 8/268 75702
/proc/meminfo: memFree=129027040/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=119188 memory=48132 CPUtime=75.57 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 51408 0 0 0 7526 31 0 0 20 0 2 0 68136215 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 29797 12033 672 633 0 13481 0
[pid=75698/tid=75700] ppid=75695 vsize=119188 memory=14976 CPUtime=24.84 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 3420 0 0 0 2475 9 0 0 20 0 2 0 68136216 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 75.57 s
Current children cumulated vsize: 119188 KiB
Current children cumulated memory: 48132 KiB

[startup+102.3 s]
/proc/loadavg: 6.69 6.66 6.33 8/269 75705
/proc/meminfo: memFree=129028424/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=119188 memory=48132 CPUtime=144.91 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 55086 0 0 0 14429 62 0 0 20 0 2 0 68136215 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 29797 12033 672 633 0 13481 0
[pid=75698/tid=75700] ppid=75695 vsize=119188 memory=14976 CPUtime=43.25 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 3426 0 0 0 4308 17 0 0 20 0 2 0 68136216 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 144.91 s
Current children cumulated vsize: 119188 KiB
Current children cumulated memory: 48132 KiB

[startup+162.3 s]
/proc/loadavg: 6.42 6.58 6.33 7/269 75887
/proc/meminfo: memFree=129025824/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=119188 memory=48132 CPUtime=237.35 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 55430 0 0 0 23622 113 0 0 20 0 2 0 68136215 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 29797 12033 672 633 0 13481 0
[pid=75698/tid=75700] ppid=75695 vsize=119188 memory=48132 CPUtime=76.07 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 3485 0 0 0 7570 37 0 0 20 0 2 0 68136216 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 237.35 s
Current children cumulated vsize: 119188 KiB
Current children cumulated memory: 48132 KiB

[startup+222.3 s]
/proc/loadavg: 6.67 6.63 6.36 7/269 75889
/proc/meminfo: memFree=129015220/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=119188 memory=48132 CPUtime=326.55 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 55566 0 0 0 32500 155 0 0 20 0 2 0 68136215 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 29797 12033 672 633 0 13481 0
[pid=75698/tid=75700] ppid=75695 vsize=119188 memory=14848 CPUtime=105.63 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 3487 0 0 0 10514 49 0 0 20 0 2 0 68136216 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 326.55 s
Current children cumulated vsize: 119188 KiB
Current children cumulated memory: 48132 KiB

[startup+282.3 s]
/proc/loadavg: 6.57 6.61 6.37 8/269 75891
/proc/meminfo: memFree=129029884/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=119188 memory=48132 CPUtime=418.83 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 55833 0 0 0 41689 194 0 0 20 0 2 0 68136215 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 29797 12033 672 633 0 13481 0
[pid=75698/tid=75700] ppid=75695 vsize=119188 memory=48132 CPUtime=138.27 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 3493 0 0 0 13766 61 0 0 20 0 2 0 68136216 122048512 12033 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 418.83 s
Current children cumulated vsize: 119188 KiB
Current children cumulated memory: 48132 KiB

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

/proc/meminfo: memFree=128639412/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120348 memory=49156 CPUtime=2848.03 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 83961 0 0 0 283827 976 0 0 20 0 2 0 68136215 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30087 12289 672 633 0 13771 0
[pid=75698/tid=75700] ppid=75695 vsize=120348 memory=49156 CPUtime=778.79 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4370 0 0 0 77525 354 0 0 20 0 2 0 68136216 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 2848.03 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 49156 KiB

[startup+2142.3 s]
/proc/loadavg: 7.14 7.02 6.75 9/267 76265
/proc/meminfo: memFree=128639612/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120348 memory=49156 CPUtime=2929.62 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 85104 0 0 0 291960 1002 0 0 20 0 2 0 68136215 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30087 12289 672 633 0 13771 0
[pid=75698/tid=75700] ppid=75695 vsize=120348 memory=49156 CPUtime=800.81 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4397 0 0 0 79716 365 0 0 20 0 2 0 68136216 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 2929.62 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 49156 KiB

[startup+2202.3 s]
/proc/loadavg: 7.34 7.08 6.79 9/267 76267
/proc/meminfo: memFree=128643092/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120348 memory=49156 CPUtime=3011.56 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 86237 0 0 0 300126 1030 0 0 20 0 2 0 68136215 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30087 12289 672 633 0 13771 0
[pid=75698/tid=75700] ppid=75695 vsize=120348 memory=49156 CPUtime=823.19 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4403 0 0 0 81942 377 0 0 20 0 2 0 68136216 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3011.56 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 49156 KiB

[startup+2262.3 s]
/proc/loadavg: 7.13 7.07 6.81 7/268 76276
/proc/meminfo: memFree=128643036/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120348 memory=49156 CPUtime=3080.6 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 86268 0 0 0 307016 1044 0 0 20 0 2 0 68136215 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30087 12289 672 633 0 13771 0
[pid=75698/tid=75700] ppid=75695 vsize=120348 memory=14848 CPUtime=832.56 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4403 0 0 0 82874 382 0 0 20 0 2 0 68136216 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3080.6 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 49156 KiB

[startup+2322.3 s]
/proc/loadavg: 7.19 7.09 6.84 7/268 76278
/proc/meminfo: memFree=128639008/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120348 memory=49156 CPUtime=3159.77 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 87421 0 0 0 314907 1070 0 0 20 0 2 0 68136215 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30087 12289 672 633 0 13771 0
[pid=75698/tid=75700] ppid=75695 vsize=120348 memory=3200 CPUtime=852.16 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4404 0 0 0 84823 393 0 0 20 0 2 0 68136216 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3159.77 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 49156 KiB

[startup+2382.3 s]
/proc/loadavg: 7.00 7.06 6.84 9/268 76280
/proc/meminfo: memFree=128613812/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120348 memory=49156 CPUtime=3241.56 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 88610 0 0 0 323062 1094 0 0 20 0 2 0 68136215 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30087 12289 672 633 0 13771 0
[pid=75698/tid=75700] ppid=75695 vsize=120348 memory=49156 CPUtime=874.37 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 4422 0 0 0 87034 403 0 0 20 0 2 0 68136216 123236352 12289 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3241.56 s
Current children cumulated vsize: 120348 KiB
Current children cumulated memory: 49156 KiB

[startup+2442.3 s]
/proc/loadavg: 6.93 7.03 6.85 7/268 76282
/proc/meminfo: memFree=128614460/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120528 memory=49412 CPUtime=3323.52 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 89855 0 0 0 331234 1118 0 0 20 0 2 0 68136215 123420672 12353 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30132 12353 672 633 0 13816 0
[pid=75698/tid=75700] ppid=75695 vsize=120528 memory=49412 CPUtime=896.79 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 4455 0 0 0 89265 414 0 0 20 0 2 0 68136216 123420672 12353 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3323.52 s
Current children cumulated vsize: 120528 KiB
Current children cumulated memory: 49412 KiB

[startup+2502.3 s]
/proc/loadavg: 7.07 7.06 6.87 8/268 76284
/proc/meminfo: memFree=128615356/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=120528 memory=49412 CPUtime=3405.86 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 91102 0 0 0 339439 1147 0 0 20 0 2 0 68136215 123420672 12353 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30132 12353 672 633 0 13816 0
[pid=75698/tid=75700] ppid=75695 vsize=120528 memory=49412 CPUtime=919.55 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) R 75695 75698 75009 0 -1 4194368 4477 0 0 0 91529 426 0 0 20 0 2 0 68136216 123420672 12353 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3405.86 s
Current children cumulated vsize: 120528 KiB
Current children cumulated memory: 49412 KiB

[startup+2562.3 s]
/proc/loadavg: 7.02 7.06 6.89 8/268 76287
/proc/meminfo: memFree=128607752/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=121812 memory=50692 CPUtime=3478.65 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 92480 0 0 0 346700 1165 0 0 20 0 2 0 68136215 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30453 12673 672 633 0 14137 0
[pid=75698/tid=75700] ppid=75695 vsize=121812 memory=50692 CPUtime=932.71 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4478 0 0 0 92838 433 0 0 20 0 2 0 68136216 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3478.65 s
Current children cumulated vsize: 121812 KiB
Current children cumulated memory: 50692 KiB

[startup+2622.3 s]
/proc/loadavg: 7.08 7.07 6.90 9/267 76289
/proc/meminfo: memFree=128609140/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=121812 memory=50692 CPUtime=3557.19 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 93446 0 0 0 354532 1187 0 0 20 0 2 0 68136215 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30453 12673 672 633 0 14137 0
[pid=75698/tid=75700] ppid=75695 vsize=121812 memory=50692 CPUtime=951.67 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4479 0 0 0 94726 441 0 0 20 0 2 0 68136216 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3557.19 s
Current children cumulated vsize: 121812 KiB
Current children cumulated memory: 50692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2653.7 s]
/proc/loadavg: 7.05 7.06 6.91 8/268 76290
/proc/meminfo: memFree=128610172/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=121812 memory=50692 CPUtime=3600.02 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 94412 0 0 0 358801 1201 0 0 20 0 2 0 68136215 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30453 12673 672 633 0 14137 0
[pid=75698/tid=75700] ppid=75695 vsize=121812 memory=50692 CPUtime=963.31 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4505 0 0 0 95883 448 0 0 20 0 2 0 68136216 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 121812 KiB
Current children cumulated memory: 50692 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.04 s, system=12.022 s

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

[startup+2653.7 s]
/proc/loadavg: 7.05 7.06 6.91 8/268 76290
/proc/meminfo: memFree=128610172/131249996 swapFree=33006296/33010684
[pid=75698] ppid=75695 vsize=121812 memory=50692 CPUtime=3600.02 cores=0,2
/proc/75698/stat : 75698 (pb_competition_) R 75695 75698 75009 0 -1 4194304 94412 0 0 0 358801 1201 0 0 20 0 2 0 68136215 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
/proc/75698/statm: 30453 12673 672 633 0 14137 0
[pid=75698/tid=75700] ppid=75695 vsize=121812 memory=50692 CPUtime=963.31 cores=0,2
/proc/75698/task/75700/stat : 75700 (pb_competition_) S 75695 75698 75009 0 -1 4194368 4505 0 0 0 95883 448 0 0 20 0 2 0 68136216 124735488 12673 18446744073709551615 4198400 6788177 140720603414608 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 18092032 140720603416921 140720603417048 140720603417048 140720603422650 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 121812 KiB
Current children cumulated memory: 50692 KiB

Child status: 0

Real time (s): 2653.73
CPU time (s): 3600.06
CPU user time (s): 3588.04
CPU system time (s): 12.022
CPU usage (%): 135.66
Max. virtual memory (cumulated for all children) (KiB): 121812
Max. memory (cumulated for all children) (KiB): 50692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.04
system time used= 12.022
maximum resident set size= 50692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94651
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= 523977
involuntary context switches= 100990


# summary of solver processes directly reported to runsolver:
#   pid: 75698
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3588.04
#   total CPU system time (s): 12.022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.30212 second user time and 11.7586 second system time

The end