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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433912-1721060956/watcher-4433912-1721060956 -o /tmp/evaluation-result-4433912-1721060956/solver-4433912-1721060956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721060969-828422 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433912-1721060956.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.x
Current StackSize limit: 8192 KiB

solver pid=828491, runsolver pid=828484

[startup+0.100084 s]*
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=125060628/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=10096 memory=4332 CPUtime=0.1 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 759 0 0 0 10 0 0 0 20 0 1 0 158263035 10338304 1083 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 2524 1083 436 659 0 1728 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 20028 KiB
Current children cumulated memory: 7040 KiB

[startup+0.205809 s]*
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=125052940/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=11916 memory=8236 CPUtime=0.2 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 1269 0 0 0 20 0 0 0 20 0 1 0 158263035 12201984 2059 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 2979 2059 436 659 0 2183 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 21848 KiB
Current children cumulated memory: 10944 KiB

[startup+0.305011 s]*
/proc/loadavg: 1.07 1.11 1.78 5/264 828501
/proc/meminfo: memFree=125032792/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=13576 memory=9848 CPUtime=0.3 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 1728 0 0 0 30 0 0 0 20 0 1 0 158263035 13901824 2462 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 3394 2462 436 659 0 2598 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 23508 KiB
Current children cumulated memory: 12556 KiB

[startup+0.700253 s]
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=124976108/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=47588 memory=43528 CPUtime=0.68 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 9988 0 0 0 67 1 0 0 20 0 1 0 158263035 48730112 10882 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 11897 10882 468 659 0 11101 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57520 KiB
Current children cumulated memory: 46236 KiB

[startup+1.50026 s]
/proc/loadavg: 1.07 1.11 1.78 6/264 828501
/proc/meminfo: memFree=124960292/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=48772 memory=42260 CPUtime=1.49 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 10896 0 0 0 147 2 0 0 20 0 1 0 158263035 49942528 10565 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 12193 10565 468 659 0 11397 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 58704 KiB
Current children cumulated memory: 44968 KiB

[startup+3.10594 s]
/proc/loadavg: 1.30 1.16 1.79 6/264 828551
/proc/meminfo: memFree=124916000/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=67568 memory=58708 CPUtime=3.08 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 14294 0 0 0 306 2 0 0 20 0 1 0 158263035 69189632 14677 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 16892 14677 468 659 0 16096 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 77500 KiB
Current children cumulated memory: 61416 KiB

[startup+6.30024 s]
/proc/loadavg: 1.30 1.16 1.79 6/264 828553
/proc/meminfo: memFree=124880976/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=79496 memory=69180 CPUtime=6.27 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 15503 0 0 0 624 3 0 0 20 0 1 0 158263035 81403904 17295 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 19874 17295 468 659 0 19078 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 89428 KiB
Current children cumulated memory: 71888 KiB

[startup+12.7002 s]
/proc/loadavg: 1.72 1.26 1.82 6/264 828603
/proc/meminfo: memFree=124828984/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=117024 memory=89832 CPUtime=12.64 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 16563 0 0 0 1260 4 0 0 20 0 1 0 158263035 119832576 22458 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 29256 22458 468 659 0 28460 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 126956 KiB
Current children cumulated memory: 92540 KiB

[startup+25.5003 s]
/proc/loadavg: 2.07 1.35 1.84 6/264 828656
/proc/meminfo: memFree=124752112/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=117024 memory=93640 CPUtime=25.41 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 17281 0 0 0 2535 6 0 0 20 0 1 0 158263035 119832576 23410 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 29256 23410 468 659 0 28460 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 126956 KiB
Current children cumulated memory: 96348 KiB

[startup+51.106 s]
/proc/loadavg: 2.79 1.58 1.91 6/267 828718
/proc/meminfo: memFree=124687932/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=166344 memory=133008 CPUtime=50.94 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 17717 0 0 0 5085 9 0 0 20 0 1 0 158263035 170336256 33252 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 41586 33252 468 659 0 40790 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 176276 KiB
Current children cumulated memory: 135716 KiB

[startup+102.3 s]
/proc/loadavg: 3.57 2.00 2.03 6/264 828726
/proc/meminfo: memFree=124538744/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=210488 memory=177556 CPUtime=101.97 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 20279 0 0 0 10184 13 0 0 20 0 1 0 158263035 215539712 44389 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 52622 44389 468 659 0 51826 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 220420 KiB
Current children cumulated memory: 180264 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.38 2.16 6/264 828736
/proc/meminfo: memFree=124565152/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=130348 memory=123620 CPUtime=161.79 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 21798 0 0 0 16162 17 0 0 20 0 1 0 158263035 133476352 30905 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 32587 30905 468 659 0 31791 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 140280 KiB
Current children cumulated memory: 126328 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.71 2.29 6/264 828798
/proc/meminfo: memFree=124527620/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=210488 memory=198036 CPUtime=221.6 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 23254 0 0 0 22140 20 0 0 20 0 1 0 158263035 215539712 49509 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 52622 49509 468 659 0 51826 0
Current children cumulated CPU time: 221.6 s

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

/proc/loadavg: 4.13 4.13 4.05 6/260 829927
/proc/meminfo: memFree=124058932/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=347028 memory=274248 CPUtime=3034.01 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 68021 0 0 0 303300 101 0 0 20 0 1 0 158263035 355356672 68562 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 86757 68562 468 659 0 85961 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 356960 KiB
Current children cumulated memory: 276956 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.05 6/260 829938
/proc/meminfo: memFree=124013800/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=347028 memory=302980 CPUtime=3093.84 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 68118 0 0 0 309283 101 0 0 20 0 1 0 158263035 355356672 75745 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 86757 75745 468 659 0 85961 0
Current children cumulated CPU time: 3093.84 s
Current children cumulated vsize: 356960 KiB
Current children cumulated memory: 305688 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.05 6/261 829949
/proc/meminfo: memFree=124055408/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=215552 memory=190292 CPUtime=3153.69 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 68690 0 0 0 315266 103 0 0 20 0 1 0 158263035 220725248 47573 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 53888 47573 468 659 0 53092 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 225484 KiB
Current children cumulated memory: 193000 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.05 6/261 829960
/proc/meminfo: memFree=124088116/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=265640 memory=231440 CPUtime=3213.53 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 69308 0 0 0 321249 104 0 0 20 0 1 0 158263035 272015360 57860 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 66410 57860 468 659 0 65614 0
Current children cumulated CPU time: 3213.53 s
Current children cumulated vsize: 275572 KiB
Current children cumulated memory: 234148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.05 6/261 829971
/proc/meminfo: memFree=124014928/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=347028 memory=270380 CPUtime=3273.38 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 70051 0 0 0 327232 106 0 0 20 0 1 0 158263035 355356672 67595 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 86757 67595 468 659 0 85961 0
Current children cumulated CPU time: 3273.38 s
Current children cumulated vsize: 356960 KiB
Current children cumulated memory: 273088 KiB

[startup+3342.3 s]
/proc/loadavg: 4.06 4.09 4.05 6/261 829981
/proc/meminfo: memFree=123928420/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=347028 memory=299052 CPUtime=3333.21 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 70070 0 0 0 333215 106 0 0 20 0 1 0 158263035 355356672 74763 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 86757 74763 468 659 0 85961 0
Current children cumulated CPU time: 3333.21 s
Current children cumulated vsize: 356960 KiB
Current children cumulated memory: 301760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.05 6/261 830375
/proc/meminfo: memFree=124045468/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=215552 memory=182984 CPUtime=3393.03 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 70917 0 0 0 339196 107 0 0 20 0 1 0 158263035 220725248 45746 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 53888 45746 468 659 0 53092 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 225484 KiB
Current children cumulated memory: 185692 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.05 6/260 830385
/proc/meminfo: memFree=124191012/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=265640 memory=221060 CPUtime=3452.85 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 71807 0 0 0 345176 109 0 0 20 0 1 0 158263035 272015360 55265 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 66410 55265 468 659 0 65614 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 275572 KiB
Current children cumulated memory: 223768 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.12 4.07 6/262 830566
/proc/meminfo: memFree=123976096/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=265640 memory=255876 CPUtime=3512.65 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 71893 0 0 0 351156 109 0 0 20 0 1 0 158263035 272015360 63969 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 66410 63969 468 659 0 65614 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 275572 KiB
Current children cumulated memory: 258584 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.11 4.07 6/262 830576
/proc/meminfo: memFree=123917456/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=347028 memory=284548 CPUtime=3572.46 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 72500 0 0 0 357136 110 0 0 20 0 1 0 158263035 355356672 71137 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 86757 71137 468 659 0 85961 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 356960 KiB
Current children cumulated memory: 287256 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.16 4.12 4.07 6/263 830582
/proc/meminfo: memFree=123842356/131524600 swapFree=131071996/131071996
[pid=828491] ppid=828484 vsize=9932 memory=2708 CPUtime=0 cores=4,6
/proc/828491/stat : 828491 (naps-1.03.sh) S 828484 828491 828411 0 -1 4194304 221 242 0 0 0 0 0 0 20 0 1 0 158263035 10170368 677 134679101440 94489516462080 94489517541400 140726686224048 0 0 0 65536 4 65538 0 0 0 17 6 0 0 0 0 0 94489519639856 94489519687044 94489523163136 140726686225376 140726686225505 140726686225505 140726686232520 0
/proc/828491/statm: 2483 677 598 264 0 134 0
[pid=828501] ppid=828491 vsize=347028 memory=296836 CPUtime=3600.07 cores=4,6
/proc/828501/stat : 828501 (naps-1.03) R 828491 828491 828411 0 -1 4194304 72506 0 0 0 359897 110 0 0 20 0 1 0 158263035 355356672 74209 134679101440 4194304 6891213 140735483426640 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7398840 7447120 25026560 140735483433969 140735483434085 140735483434085 140735483441099 0
/proc/828501/statm: 86757 74209 468 659 0 85961 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 356960 KiB
Current children cumulated memory: 299544 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.98 s, system=1.11348 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): 3610.01
CPU time (s): 3600.09
CPU user time (s): 3598.98
CPU system time (s): 1.11348
CPU usage (%): 99.7253
Max. virtual memory (cumulated for all children) (KiB): 406280
Max. memory (cumulated for all children) (KiB): 371692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.98
system time used= 1.11349
maximum resident set size= 368984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72983
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= 131
involuntary context switches= 3687


# summary of solver processes directly reported to runsolver:
#   pid: 828491
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3598.98
#   total CPU system time (s): 1.11348

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.88261 second user time and 17.6831 second system time

The end