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: 64096 MiB (58961 MiB free)
  memory of node 1: 64473 MiB (61168 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459553-1721900766/watcher-4459553-1721900766 -o /tmp/evaluation-result-4459553-1721900766/solver-4459553-1721900766 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721900692-214729 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4459553-1721900766.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=215014, runsolver pid=215011

[startup+0.100095 s]*
/proc/loadavg: 3.82 4.03 4.21 6/244 215019
/proc/meminfo: memFree=123007088/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=12080 memory=7108 CPUtime=0.1 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 1449 0 0 0 10 0 0 0 20 0 1 0 26066085 12369920 1777 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 3020 1777 421 379 0 2554 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22012 KiB
Current children cumulated memory: 9792 KiB

[startup+0.211565 s]*
/proc/loadavg: 3.82 4.03 4.21 5/244 215019
/proc/meminfo: memFree=123002544/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=16784 memory=11860 CPUtime=0.2 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 2645 0 0 0 20 0 0 0 20 0 1 0 26066085 17186816 2965 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 4196 2965 421 379 0 3730 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 26716 KiB
Current children cumulated memory: 14544 KiB

[startup+0.312219 s]*
/proc/loadavg: 3.82 4.03 4.21 5/244 215019
/proc/meminfo: memFree=122998716/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=20584 memory=15768 CPUtime=0.3 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 3634 0 0 0 30 0 0 0 20 0 1 0 26066085 21078016 3942 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 5146 3942 421 379 0 4680 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30516 KiB
Current children cumulated memory: 18452 KiB

[startup+0.700412 s]
/proc/loadavg: 3.82 4.03 4.21 5/244 215019
/proc/meminfo: memFree=122990512/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=30156 memory=25196 CPUtime=0.68 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 6098 0 0 0 67 1 0 0 20 0 1 0 26066085 30879744 6299 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 7539 6299 421 379 0 7073 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 40088 KiB
Current children cumulated memory: 27880 KiB

[startup+1.50038 s]
/proc/loadavg: 3.82 4.03 4.21 5/244 215019
/proc/meminfo: memFree=122981336/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=143240 memory=129732 CPUtime=1.48 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 28548 0 0 0 142 6 0 0 20 0 1 0 26066085 146677760 32433 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 35810 32433 421 379 0 35344 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 153172 KiB
Current children cumulated memory: 132416 KiB

[startup+3.11296 s]
/proc/loadavg: 3.83 4.03 4.21 5/244 215020
/proc/meminfo: memFree=122824236/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=209156 memory=188844 CPUtime=3.09 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 37609 0 0 0 299 10 0 0 20 0 1 0 26066085 214175744 47211 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 52289 47211 421 379 0 51823 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 219088 KiB
Current children cumulated memory: 191528 KiB

[startup+6.30041 s]
/proc/loadavg: 3.83 4.03 4.21 5/244 215020
/proc/meminfo: memFree=122760324/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=240104 memory=215384 CPUtime=6.27 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 38656 0 0 0 617 10 0 0 20 0 1 0 26066085 245866496 53846 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 60026 53846 421 379 0 59560 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 250036 KiB
Current children cumulated memory: 218068 KiB

[startup+12.7004 s]
/proc/loadavg: 3.86 4.03 4.21 5/244 215020
/proc/meminfo: memFree=122289188/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=258780 memory=243664 CPUtime=12.65 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 39107 0 0 0 1254 11 0 0 20 0 1 0 26066085 264990720 60916 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 64695 60916 421 379 0 64229 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 268712 KiB
Current children cumulated memory: 246348 KiB

[startup+25.5004 s]
/proc/loadavg: 3.95 4.05 4.21 5/243 215023
/proc/meminfo: memFree=121294748/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=308100 memory=286036 CPUtime=25.42 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 39515 0 0 0 2530 12 0 0 20 0 1 0 26066085 315494400 71509 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 77025 71509 421 379 0 76559 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 318032 KiB
Current children cumulated memory: 288720 KiB

[startup+51.1129 s]
/proc/loadavg: 3.97 4.04 4.20 5/243 215026
/proc/meminfo: memFree=121257584/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=258780 memory=244172 CPUtime=50.97 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 40385 0 0 0 5083 14 0 0 20 0 1 0 26066085 264990720 61043 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 64695 61043 421 379 0 64229 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 268712 KiB
Current children cumulated memory: 246856 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.05 4.19 6/243 215035
/proc/meminfo: memFree=121151464/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=338920 memory=306564 CPUtime=102.02 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 42099 0 0 0 10185 17 0 0 20 0 1 0 26066085 347054080 76641 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 84730 76641 421 379 0 84264 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 348852 KiB
Current children cumulated memory: 309248 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.08 4.19 5/243 215046
/proc/meminfo: memFree=121081732/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=308100 memory=279772 CPUtime=161.87 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 43263 0 0 0 16168 19 0 0 20 0 1 0 26066085 315494400 69943 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 77025 69943 421 379 0 76559 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 318032 KiB
Current children cumulated memory: 282456 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.08 4.18 5/244 215057
/proc/meminfo: memFree=120331448/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=338920 memory=304516 CPUtime=221.73 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 44733 0 0 0 22151 22 0 0 20 0 1 0 26066085 347054080 76129 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 84730 76129 421 379 0 84264 0

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

/proc/loadavg: 4.12 4.17 4.19 5/243 216748
/proc/meminfo: memFree=117349472/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=624680 memory=546528 CPUtime=3034.77 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 82408 0 0 0 303368 109 0 0 20 0 1 0 26066085 639672320 136632 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 156170 136632 421 379 0 155704 0
Current children cumulated CPU time: 3034.77 s
Current children cumulated vsize: 634612 KiB
Current children cumulated memory: 549212 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.15 4.18 5/243 216758
/proc/meminfo: memFree=117558688/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=411032 memory=369500 CPUtime=3094.63 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 83735 0 0 0 309352 111 0 0 20 0 1 0 26066085 420896768 92375 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 102758 92375 421 379 0 102292 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 420964 KiB
Current children cumulated memory: 372184 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.19 4.19 5/242 216769
/proc/meminfo: memFree=117428280/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=492900 memory=423704 CPUtime=3154.48 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 84643 0 0 0 315336 112 0 0 20 0 1 0 26066085 504729600 105926 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 123225 105926 421 379 0 122759 0
Current children cumulated CPU time: 3154.48 s
Current children cumulated vsize: 502832 KiB
Current children cumulated memory: 426388 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/243 216780
/proc/meminfo: memFree=117501864/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=493728 memory=463460 CPUtime=3214.34 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 84956 0 0 0 321321 113 0 0 20 0 1 0 26066085 505577472 115865 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 123432 115865 421 379 0 122966 0
Current children cumulated CPU time: 3214.34 s
Current children cumulated vsize: 503660 KiB
Current children cumulated memory: 466144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.16 4.18 5/245 216795
/proc/meminfo: memFree=117492444/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=626592 memory=504848 CPUtime=3274.18 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 85725 0 0 0 327304 114 0 0 20 0 1 0 26066085 641630208 126212 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 156648 126212 421 379 0 156182 0
Current children cumulated CPU time: 3274.18 s
Current children cumulated vsize: 636524 KiB
Current children cumulated memory: 507532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.14 4.17 5/245 216808
/proc/meminfo: memFree=116030280/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=627760 memory=540612 CPUtime=3334.03 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 86139 0 0 0 333288 115 0 0 20 0 1 0 26066085 642826240 135153 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 156940 135153 421 379 0 156474 0
Current children cumulated CPU time: 3334.03 s
Current children cumulated vsize: 637692 KiB
Current children cumulated memory: 543296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/245 216818
/proc/meminfo: memFree=116131324/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=414576 memory=367256 CPUtime=3393.88 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 87264 0 0 0 339270 118 0 0 20 0 1 0 26066085 424525824 91814 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 103644 91814 421 379 0 103178 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 424508 KiB
Current children cumulated memory: 369940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/245 216828
/proc/meminfo: memFree=116063328/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=497608 memory=444276 CPUtime=3453.72 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 88312 0 0 0 345253 119 0 0 20 0 1 0 26066085 509550592 111069 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 124402 111069 421 379 0 123936 0
Current children cumulated CPU time: 3453.72 s
Current children cumulated vsize: 507540 KiB
Current children cumulated memory: 446960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/244 216838
/proc/meminfo: memFree=115971044/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=632120 memory=499400 CPUtime=3513.57 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 89502 0 0 0 351237 120 0 0 20 0 1 0 26066085 647290880 124850 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 158030 124850 421 379 0 157564 0
Current children cumulated CPU time: 3513.57 s
Current children cumulated vsize: 642052 KiB
Current children cumulated memory: 502084 KiB

[startup+3582.3 s]
/proc/loadavg: 2.49 3.68 4.00 2/219 216942
/proc/meminfo: memFree=124215556/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=633620 memory=541768 CPUtime=3573.41 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 89949 0 0 0 357220 121 0 0 20 0 1 0 26066085 648826880 135442 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 158405 135442 421 379 0 157939 0
Current children cumulated CPU time: 3573.41 s
Current children cumulated vsize: 643552 KiB
Current children cumulated memory: 544452 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 1.98 3.46 3.92 2/219 216948
/proc/meminfo: memFree=124198504/131655788 swapFree=131060916/131071996
[pid=215014] ppid=215011 vsize=9932 memory=2684 CPUtime=0 cores=4,6
/proc/215014/stat : 215014 (naps-1.02b5.sh) S 215011 215014 214718 0 -1 4194304 223 246 0 0 0 0 0 0 20 0 1 0 26066084 10170368 671 134679101440 94540893761536 94540894840856 140722883645664 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94540896939312 94540896986500 94540922724352 140722883650532 140722883650659 140722883650659 140722883657670 0
/proc/215014/statm: 2483 671 593 264 0 134 0
[pid=215019] ppid=215014 vsize=634440 memory=558732 CPUtime=3600.05 cores=4,6
/proc/215019/stat : 215019 (naps-1.02b5) R 215014 215014 214718 0 -1 4194304 90211 0 0 0 359883 122 0 0 20 0 1 0 26066085 649666560 139683 134679101440 4194304 5746509 140735595827520 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 36970496 140735595836403 140735595836517 140735595836517 140735595843529 0
/proc/215019/statm: 158610 139683 421 379 0 158144 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 644372 KiB
Current children cumulated memory: 561416 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.02 s]
# the end of solver process 215014 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3598.84 s, system=1.22732 s

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

Child status: 10

Real time (s): 3609.02
CPU time (s): 3600.07
CPU user time (s): 3598.84
CPU system time (s): 1.22732
CPU usage (%): 99.7521
Max. virtual memory (cumulated for all children) (KiB): 718296
Max. memory (cumulated for all children) (KiB): 597360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.84
system time used= 1.22732
maximum resident set size= 611768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90695
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= 101
involuntary context switches= 4101


# summary of solver processes directly reported to runsolver:
#   pid: 215014
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.84
#   total CPU system time (s): 1.22732

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.845 second user time and 35.8447 second system time

The end