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: 63931 MiB (49210 MiB free)
  memory of node 1: 64510 MiB (51365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456055-1721718393/watcher-4456055-1721718393 -o /tmp/evaluation-result-4456055-1721718393/solver-4456055-1721718393 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721718393-85783 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4456055-1721718393.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Starting watchdog thread
solver pid=85843, runsolver pid=85831
Current StackSize limit: 8192 KiB


[startup+0.100575 s]*
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102893412/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=21072 memory=17780 CPUtime=0.09 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 4815 0 0 0 9 0 0 0 20 0 1 0 8367877 21577728 4445 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 5268 4445 468 659 0 4472 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 31004 KiB
Current children cumulated memory: 20448 KiB

[startup+0.206417 s]*
/proc/loadavg: 1.44 1.89 2.02 6/263 85863
/proc/meminfo: memFree=102843764/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=42528 memory=36976 CPUtime=0.19 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 9063 0 0 0 18 1 0 0 20 0 1 0 8367877 43548672 9244 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 10632 9244 468 659 0 9836 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52460 KiB
Current children cumulated memory: 39644 KiB

[startup+0.307049 s]*
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102818220/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=59520 memory=52932 CPUtime=0.3 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 12551 0 0 0 28 2 0 0 20 0 1 0 8367877 60948480 13233 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 14880 13233 468 659 0 14084 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 69452 KiB
Current children cumulated memory: 55600 KiB

[startup+0.700285 s]
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102761376/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=71112 memory=65008 CPUtime=0.68 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 13925 0 0 0 66 2 0 0 20 0 1 0 8367877 72818688 16252 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 17778 16252 468 659 0 16982 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81044 KiB
Current children cumulated memory: 67676 KiB

[startup+1.50028 s]
/proc/loadavg: 1.44 1.89 2.02 8/263 85863
/proc/meminfo: memFree=102665952/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=71108 memory=65112 CPUtime=1.48 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 14495 0 0 0 146 2 0 0 20 0 1 0 8367877 72814592 16278 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 17777 16278 468 659 0 16981 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81040 KiB
Current children cumulated memory: 67780 KiB

[startup+3.10685 s]
/proc/loadavg: 1.65 1.93 2.03 8/263 85863
/proc/meminfo: memFree=102602188/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=89852 memory=69460 CPUtime=3.09 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 14528 0 0 0 306 3 0 0 20 0 1 0 8367877 92008448 17365 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 22463 17365 468 659 0 21667 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 99784 KiB
Current children cumulated memory: 72128 KiB

[startup+6.30026 s]
/proc/loadavg: 1.65 1.93 2.03 8/263 85863
/proc/meminfo: memFree=102572632/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=108708 memory=73560 CPUtime=6.27 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 14931 0 0 0 623 4 0 0 20 0 1 0 8367877 111316992 18390 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 27177 18390 468 659 0 26381 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118640 KiB
Current children cumulated memory: 76228 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 2.05 8/262 85865
/proc/meminfo: memFree=102473248/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=158028 memory=118964 CPUtime=12.65 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 16097 0 0 0 1260 5 0 0 20 0 1 0 8367877 161820672 29741 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 39507 29741 468 659 0 38711 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 167960 KiB
Current children cumulated memory: 121632 KiB

[startup+25.5003 s]
/proc/loadavg: 2.38 2.08 2.08 8/262 85866
/proc/meminfo: memFree=102389972/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=188848 memory=149888 CPUtime=25.42 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 16829 0 0 0 2535 7 0 0 20 0 1 0 8367877 193380352 37472 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 47212 37472 468 659 0 46416 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 198780 KiB
Current children cumulated memory: 152556 KiB

[startup+51.1069 s]
/proc/loadavg: 2.93 2.24 2.13 8/262 85871
/proc/meminfo: memFree=102254424/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=238936 memory=169480 CPUtime=50.96 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 18520 0 0 0 5085 11 0 0 20 0 1 0 8367877 244670464 42370 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 59734 42370 468 659 0 58938 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 248868 KiB
Current children cumulated memory: 172148 KiB

[startup+102.3 s]
/proc/loadavg: 3.61 2.53 2.24 8/262 85880
/proc/meminfo: memFree=102111704/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=188848 memory=158512 CPUtime=102.02 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 21103 0 0 0 10184 18 0 0 20 0 1 0 8367877 193380352 39628 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 47212 39628 468 659 0 46416 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 198780 KiB
Current children cumulated memory: 161180 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.81 2.36 8/262 85890
/proc/meminfo: memFree=101985196/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=320324 memory=237580 CPUtime=161.86 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 24029 0 0 0 16163 23 0 0 20 0 1 0 8367877 328011776 59395 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 80081 59395 468 659 0 79285 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 330256 KiB
Current children cumulated memory: 240248 KiB

[startup+222.3 s]
/proc/loadavg: 6.15 3.57 2.64 8/262 85902
/proc/meminfo: memFree=101852752/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=320324 memory=254492 CPUtime=221.69 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 25115 0 0 0 22142 27 0 0 20 0 1 0 8367877 328011776 63623 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 80081 63623 468 659 0 79285 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 330256 KiB

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

/proc/85860/statm: 168091 146231 468 659 0 167295 0
Current children cumulated CPU time: 3093.18 s
Current children cumulated vsize: 682296 KiB
Current children cumulated memory: 587592 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.02 8/260 87617
/proc/meminfo: memFree=101218092/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=679328 memory=607712 CPUtime=3153 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 107199 0 0 0 315114 186 0 0 20 0 1 0 8367877 695631872 151928 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 169832 151928 468 659 0 169036 0
Current children cumulated CPU time: 3153 s
Current children cumulated vsize: 689260 KiB
Current children cumulated memory: 610380 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.08 4.02 8/260 87627
/proc/meminfo: memFree=101209756/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=550300 memory=451200 CPUtime=3212.81 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 108600 0 0 0 321091 190 0 0 20 0 1 0 8367877 563507200 112800 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 137575 112800 468 659 0 136779 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 560232 KiB
Current children cumulated memory: 453868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.03 8/261 87653
/proc/meminfo: memFree=101040932/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=550300 memory=483692 CPUtime=3272.63 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 108711 0 0 0 327072 191 0 0 20 0 1 0 8367877 563507200 120923 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 137575 120923 468 659 0 136779 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 560232 KiB
Current children cumulated memory: 486360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.02 8/261 87665
/proc/meminfo: memFree=100857028/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=550300 memory=519192 CPUtime=3332.4 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 108898 0 0 0 333049 191 0 0 20 0 1 0 8367877 563507200 129798 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 137575 129798 468 659 0 136779 0
Current children cumulated CPU time: 3332.4 s
Current children cumulated vsize: 560232 KiB
Current children cumulated memory: 521860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.02 8/261 87675
/proc/meminfo: memFree=100941020/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=682868 memory=551880 CPUtime=3392.21 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 109626 0 0 0 339029 192 0 0 20 0 1 0 8367877 699256832 137970 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 170717 137970 468 659 0 169921 0
Current children cumulated CPU time: 3392.21 s
Current children cumulated vsize: 692800 KiB
Current children cumulated memory: 554548 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.03 8/260 87685
/proc/meminfo: memFree=100775444/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=683936 memory=573172 CPUtime=3452.05 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 110005 0 0 0 345012 193 0 0 20 0 1 0 8367877 700350464 143293 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 170984 143293 468 659 0 170188 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 693868 KiB
Current children cumulated memory: 575840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.03 8/260 87697
/proc/meminfo: memFree=100676428/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=686412 memory=593476 CPUtime=3511.86 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 110791 0 0 0 350993 193 0 0 20 0 1 0 8367877 702885888 148369 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 171603 148369 468 659 0 170807 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 696344 KiB
Current children cumulated memory: 596144 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.03 8/260 87708
/proc/meminfo: memFree=100574000/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=689784 memory=614360 CPUtime=3571.69 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 111685 0 0 0 356975 194 0 0 20 0 1 0 8367877 706338816 153590 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 172446 153590 468 659 0 171650 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 699716 KiB
Current children cumulated memory: 617028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.06 4.08 4.02 7/258 87763
/proc/meminfo: memFree=101733792/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=691680 memory=624132 CPUtime=3600 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 112164 0 0 0 359806 194 0 0 20 0 1 0 8367877 708280320 156033 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 172920 156033 468 659 0 172124 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 701612 KiB
Current children cumulated memory: 626800 KiB

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

[startup+3610.7 s]
# the end of solver process 85843 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000403 s, system=0.002739 s

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

# cumulated CPU time of all completed processes:  user=3598.07 s, system=1.9562 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3610.7 s]
/proc/loadavg: 4.06 4.08 4.02 7/258 87763
/proc/meminfo: memFree=101733792/131524600 swapFree=131071996/131071996
[pid=85843] ppid=85831 vsize=9932 memory=2668 CPUtime=0 cores=5,7
/proc/85843/stat : 85843 (naps-1.03.sh) S 85831 85843 85770 0 -1 4194304 224 248 0 0 0 0 0 0 20 0 1 0 8367876 10170368 667 134679101440 94783649792000 94783650871320 140730684510576 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94783652969776 94783653016964 94783681138688 140730684519391 140730684519520 140730684519520 140730684526536 0
/proc/85843/statm: 2483 667 590 264 0 134 0
[pid=85860] ppid=85843 vsize=691680 memory=624132 CPUtime=3600 cores=5,7
/proc/85860/stat : 85860 (naps-1.03) R 85843 85843 85770 0 -1 4194304 112164 0 0 0 359806 194 0 0 20 0 1 0 8367877 708280320 156033 134679101440 4194304 6891213 140732401763312 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 12771328 140732401767408 140732401767524 140732401767524 140732401774539 0
/proc/85860/statm: 172920 156033 468 659 0 172124 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 701612 KiB
Current children cumulated memory: 626800 KiB

Child status: 10

Real time (s): 3610.71
CPU time (s): 3600.02
CPU user time (s): 3598.07
CPU system time (s): 1.9562
CPU usage (%): 99.7042
Max. virtual memory (cumulated for all children) (KiB): 946196
Max. memory (cumulated for all children) (KiB): 702688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.07
system time used= 1.9562
maximum resident set size= 734836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112636
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= 283
involuntary context switches= 4353


# summary of solver processes directly reported to runsolver:
#   pid: 85843,85860
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.07
#   total CPU system time (s): 1.9562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.1319 second user time and 24.0943 second system time

The end