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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458500-1721883986/watcher-4458500-1721883986 -o /tmp/evaluation-result-4458500-1721883986/solver-4458500-1721883986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1721876760-226295 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4458500-1721883986.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
Starting watchdog thread
solver pid=230516, runsolver pid=230513
Current StackSize limit: 8192 KiB


[startup+0.1003 s]*
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115346728/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=28516 memory=25652 CPUtime=0.08 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 5679 0 0 0 8 0 0 0 20 0 1 0 24922220 29200384 6413 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 7129 6413 421 379 0 6663 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 38448 KiB
Current children cumulated memory: 28452 KiB

[startup+0.206298 s]*
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115344356/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=30164 memory=28028 CPUtime=0.19 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 6222 0 0 0 18 1 0 0 20 0 1 0 24922220 30887936 7007 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 7541 7007 421 379 0 7075 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 40096 KiB
Current children cumulated memory: 30828 KiB

[startup+0.305546 s]*
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115341640/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=32844 memory=30076 CPUtime=0.29 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 6268 0 0 0 28 1 0 0 20 0 1 0 24922220 33632256 7519 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 8211 7519 421 379 0 7745 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 32876 KiB

[startup+0.700222 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115338276/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=32844 memory=30076 CPUtime=0.68 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 6269 0 0 0 67 1 0 0 20 0 1 0 24922220 33632256 7519 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 8211 7519 421 379 0 7745 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42776 KiB
Current children cumulated memory: 32876 KiB

[startup+1.5002 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115332804/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=35548 memory=32976 CPUtime=1.48 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 7011 0 0 0 147 1 0 0 20 0 1 0 24922220 36401152 8244 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 8887 8244 421 379 0 8421 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45480 KiB
Current children cumulated memory: 35776 KiB

[startup+3.10547 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115309384/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=38268 memory=35872 CPUtime=3.08 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 7730 0 0 0 307 1 0 0 20 0 1 0 24922220 39186432 8968 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 9567 8968 421 379 0 9101 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48200 KiB
Current children cumulated memory: 38672 KiB

[startup+6.30021 s]
/proc/loadavg: 4.07 4.13 4.10 5/260 230521
/proc/meminfo: memFree=115302956/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=40012 memory=37780 CPUtime=6.26 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 8002 0 0 0 625 1 0 0 20 0 1 0 24922220 40972288 9445 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 10003 9445 421 379 0 9537 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 49944 KiB
Current children cumulated memory: 40580 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.12 4.10 5/260 230522
/proc/meminfo: memFree=115347516/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=51492 memory=48588 CPUtime=12.65 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 10070 0 0 0 1263 2 0 0 20 0 1 0 24922220 52727808 12147 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 12873 12147 421 379 0 12407 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61424 KiB
Current children cumulated memory: 51388 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.13 4.10 5/260 230524
/proc/meminfo: memFree=115315292/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=63352 memory=61336 CPUtime=25.42 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 11039 0 0 0 2539 3 0 0 20 0 1 0 24922220 64872448 15334 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 15838 15334 421 379 0 15372 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 73284 KiB
Current children cumulated memory: 64136 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.15 4.11 5/260 230528
/proc/meminfo: memFree=115232268/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=93700 memory=66052 CPUtime=50.95 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 11256 0 0 0 5092 3 0 0 20 0 1 0 24922220 95948800 16513 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 23425 16513 421 379 0 22959 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 103632 KiB
Current children cumulated memory: 68852 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/260 230537
/proc/meminfo: memFree=115163656/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=101576 memory=99272 CPUtime=102.01 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 13047 0 0 0 10197 4 0 0 20 0 1 0 24922220 104013824 24818 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 25394 24818 421 379 0 24928 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 111508 KiB
Current children cumulated memory: 102072 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/260 230549
/proc/meminfo: memFree=115098992/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=102508 memory=99560 CPUtime=161.85 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 14715 0 0 0 16178 7 0 0 20 0 1 0 24922220 104968192 24890 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 25627 24890 421 379 0 25161 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 112440 KiB
Current children cumulated memory: 102360 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/261 230564
/proc/meminfo: memFree=115091388/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=102508 memory=100492 CPUtime=221.69 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 16598 0 0 0 22159 10 0 0 20 0 1 0 24922220 104968192 25123 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 25627 25123 421 379 0 25161 0
Current children cumulated CPU time: 221.69 s

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

/proc/loadavg: 3.18 3.45 3.81 4/253 232261
/proc/meminfo: memFree=115025484/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=347616 memory=269460 CPUtime=3034.37 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 60115 0 0 0 303333 104 0 0 20 0 1 0 24922220 355958784 67365 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 86904 67365 421 379 0 86438 0
Current children cumulated CPU time: 3034.37 s
Current children cumulated vsize: 357548 KiB
Current children cumulated memory: 272260 KiB

[startup+3102.3 s]
/proc/loadavg: 3.12 3.38 3.76 4/255 232441
/proc/meminfo: memFree=114887324/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=267624 memory=229928 CPUtime=3094.21 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 62008 0 0 0 309315 106 0 0 20 0 1 0 24922220 274046976 57482 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 66906 57482 421 379 0 66440 0
Current children cumulated CPU time: 3094.21 s
Current children cumulated vsize: 277556 KiB
Current children cumulated memory: 232728 KiB

[startup+3162.3 s]
/proc/loadavg: 3.08 3.32 3.72 4/255 232452
/proc/meminfo: memFree=114840420/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=349640 memory=279668 CPUtime=3154.03 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 62817 0 0 0 315295 108 0 0 20 0 1 0 24922220 358031360 69917 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 87410 69917 421 379 0 86944 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 359572 KiB
Current children cumulated memory: 282468 KiB

[startup+3222.3 s]
/proc/loadavg: 3.13 3.29 3.68 5/254 232465
/proc/meminfo: memFree=114871128/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=269176 memory=227092 CPUtime=3213.83 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 63990 0 0 0 321273 110 0 0 20 0 1 0 24922220 275636224 56773 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 67294 56773 421 379 0 66828 0
Current children cumulated CPU time: 3213.83 s
Current children cumulated vsize: 279108 KiB
Current children cumulated memory: 229892 KiB

[startup+3282.3 s]
/proc/loadavg: 3.05 3.24 3.64 5/253 232486
/proc/meminfo: memFree=114804632/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=269716 memory=267748 CPUtime=3273.65 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 64497 0 0 0 327254 111 0 0 20 0 1 0 24922220 276189184 66937 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 67429 66937 421 379 0 66963 0
Current children cumulated CPU time: 3273.65 s
Current children cumulated vsize: 279648 KiB
Current children cumulated memory: 270548 KiB

[startup+3342.3 s]
/proc/loadavg: 3.29 3.25 3.62 5/253 232498
/proc/meminfo: memFree=114992456/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=270132 memory=219212 CPUtime=3333.47 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 66078 0 0 0 333233 114 0 0 20 0 1 0 24922220 276615168 54803 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 67533 54803 421 379 0 67067 0
Current children cumulated CPU time: 3333.47 s
Current children cumulated vsize: 280064 KiB
Current children cumulated memory: 222012 KiB

[startup+3402.3 s]
/proc/loadavg: 3.16 3.22 3.58 5/253 232508
/proc/meminfo: memFree=114793048/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=272896 memory=269996 CPUtime=3393.3 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 67045 0 0 0 339215 115 0 0 20 0 1 0 24922220 279445504 67499 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 68224 67499 421 379 0 67758 0
Current children cumulated CPU time: 3393.3 s
Current children cumulated vsize: 282828 KiB
Current children cumulated memory: 272796 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.19 3.55 5/251 232518
/proc/meminfo: memFree=114961488/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=223212 memory=215944 CPUtime=3453.14 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 68408 0 0 0 345196 118 0 0 20 0 1 0 24922220 228569088 53986 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 55803 53986 421 379 0 55337 0
Current children cumulated CPU time: 3453.14 s
Current children cumulated vsize: 233144 KiB
Current children cumulated memory: 218744 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.17 3.52 5/251 232528
/proc/meminfo: memFree=114769936/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=273608 memory=260312 CPUtime=3512.98 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 68850 0 0 0 351179 119 0 0 20 0 1 0 24922220 280174592 65078 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 68402 65078 421 379 0 67936 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 283540 KiB
Current children cumulated memory: 263112 KiB

[startup+3582.3 s]
/proc/loadavg: 3.08 3.15 3.49 5/251 232540
/proc/meminfo: memFree=114836400/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=355412 memory=297608 CPUtime=3572.82 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 69573 0 0 0 357162 120 0 0 20 0 1 0 24922220 363941888 74402 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 88853 74402 421 379 0 88387 0
Current children cumulated CPU time: 3572.82 s
Current children cumulated vsize: 365344 KiB
Current children cumulated memory: 300408 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 3.03 3.14 3.47 4/243 232576
/proc/meminfo: memFree=115230472/131524600 swapFree=131056796/131071996
[pid=230516] ppid=230513 vsize=9932 memory=2800 CPUtime=0 cores=4,6
/proc/230516/stat : 230516 (naps-1.02b5.sh) S 230513 230516 226284 0 -1 4194304 220 247 0 0 0 0 0 0 20 0 1 0 24922220 10170368 700 134679101440 94350236782592 94350237861912 140725416898832 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94350239960368 94350240007556 94350251827200 140725416903648 140725416903775 140725416903775 140725416910790 0
/proc/230516/statm: 2483 700 624 264 0 134 0
[pid=230521] ppid=230516 vsize=355552 memory=314212 CPUtime=3600.04 cores=4,6
/proc/230521/stat : 230521 (naps-1.02b5) R 230516 230516 226284 0 -1 4194304 69623 0 0 0 359884 120 0 0 20 0 1 0 24922220 364085248 78553 134679101440 4194304 5746509 140731115008016 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 6059216 6091920 19460096 140731115013103 140731115013217 140731115013217 140731115020233 0
/proc/230521/statm: 88888 78553 421 379 0 88422 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 365484 KiB
Current children cumulated memory: 317012 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.85 s, system=1.20801 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.6
CPU time (s): 3600.06
CPU user time (s): 3598.85
CPU system time (s): 1.20801
CPU usage (%): 99.7356
Max. virtual memory (cumulated for all children) (KiB): 413940
Max. memory (cumulated for all children) (KiB): 330656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.20801
maximum resident set size= 342192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70105
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= 32
involuntary context switches= 7602


# summary of solver processes directly reported to runsolver:
#   pid: 230516
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.85
#   total CPU system time (s): 1.20801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77531 second user time and 15.8133 second system time

The end