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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435122-1721060063/watcher-4435122-1721060063 -o /tmp/evaluation-result-4435122-1721060063/solver-4435122-1721060063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721056247-813136 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435122-1721060063.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

Current StackSize limit: 8192 KiB

solver pid=815557, runsolver pid=815554

[startup+0.100082 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 815562
/proc/meminfo: memFree=127733676/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=8808 memory=6224 CPUtime=0.09 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 730 0 0 0 9 0 0 0 20 0 1 0 158174565 9019392 1556 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 2202 1556 405 379 0 1736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18740 KiB
Current children cumulated memory: 8928 KiB

[startup+0.205267 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 815562
/proc/meminfo: memFree=127784464/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=10628 memory=7792 CPUtime=0.2 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 1178 0 0 0 20 0 0 0 20 0 1 0 158174565 10883072 1948 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 2657 1948 405 379 0 2191 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20560 KiB
Current children cumulated memory: 10496 KiB

[startup+0.305502 s]*
/proc/loadavg: 4.06 4.09 4.09 5/262 815562
/proc/meminfo: memFree=127782988/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=12288 memory=9396 CPUtime=0.3 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 1621 0 0 0 30 0 0 0 20 0 1 0 158174565 12582912 2349 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 3072 2349 405 379 0 2606 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 22220 KiB
Current children cumulated memory: 12100 KiB

[startup+0.700253 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 815562
/proc/meminfo: memFree=127779124/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=47188 memory=43180 CPUtime=0.69 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 9891 0 0 0 67 2 0 0 20 0 1 0 158174565 48320512 10795 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 11797 10795 421 379 0 11331 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57120 KiB
Current children cumulated memory: 45884 KiB

[startup+1.50026 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 815562
/proc/meminfo: memFree=127732452/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=59220 memory=54056 CPUtime=1.48 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 13257 0 0 0 146 2 0 0 20 0 1 0 158174565 60641280 13514 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 14805 13514 421 379 0 14339 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 69152 KiB
Current children cumulated memory: 56760 KiB

[startup+3.10564 s]
/proc/loadavg: 4.06 4.09 4.09 5/262 815562
/proc/meminfo: memFree=127729712/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=59416 memory=55368 CPUtime=3.08 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 13581 0 0 0 306 2 0 0 20 0 1 0 158174565 60841984 13842 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 14854 13842 421 379 0 14388 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 69348 KiB
Current children cumulated memory: 58072 KiB

[startup+6.30022 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 815563
/proc/meminfo: memFree=127693108/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=83080 memory=78036 CPUtime=6.26 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 17944 0 0 0 623 3 0 0 20 0 1 0 158174565 85073920 19509 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 20770 19509 421 379 0 20304 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 93012 KiB
Current children cumulated memory: 80740 KiB

[startup+12.7002 s]
/proc/loadavg: 4.05 4.09 4.09 5/262 815563
/proc/meminfo: memFree=127687868/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=99284 memory=85280 CPUtime=12.64 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 19053 0 0 0 1260 4 0 0 20 0 1 0 158174565 101666816 21320 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 24821 21320 421 379 0 24355 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 109216 KiB
Current children cumulated memory: 87984 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 4.10 4.09 5/262 815567
/proc/meminfo: memFree=127633228/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=168336 memory=150704 CPUtime=25.38 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 21517 0 0 0 2532 6 0 0 20 0 1 0 158174565 172376064 37676 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 42084 37676 421 379 0 41618 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 178268 KiB
Current children cumulated memory: 153408 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 815570
/proc/meminfo: memFree=127545356/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=168336 memory=153664 CPUtime=50.91 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 23109 0 0 0 5081 10 0 0 20 0 1 0 158174565 172376064 38416 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 42084 38416 421 379 0 41618 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 178268 KiB
Current children cumulated memory: 156368 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/260 815579
/proc/meminfo: memFree=127505756/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=199156 memory=182964 CPUtime=101.93 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 26459 0 0 0 10179 14 0 0 20 0 1 0 158174565 203935744 45741 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 49789 45741 421 379 0 49323 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 209088 KiB
Current children cumulated memory: 185668 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/259 815589
/proc/meminfo: memFree=127582416/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=199156 memory=176820 CPUtime=161.73 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 29528 0 0 0 16153 20 0 0 20 0 1 0 158174565 203935744 44205 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 49789 44205 421 379 0 49323 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 209088 KiB
Current children cumulated memory: 179524 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 815600
/proc/meminfo: memFree=127588192/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=219468 memory=189996 CPUtime=221.53 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 32204 0 0 0 22128 25 0 0 20 0 1 0 158174565 224735232 47499 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 54867 47499 421 379 0 54401 0
Current children cumulated CPU time: 221.53 s

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

/proc/815562/statm: 89072 81073 421 379 0 88606 0
Current children cumulated CPU time: 3031.75 s
Current children cumulated vsize: 366220 KiB
Current children cumulated memory: 326996 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 817317
/proc/meminfo: memFree=127046556/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=488548 memory=371296 CPUtime=3091.55 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 84164 0 0 0 309017 138 0 0 20 0 1 0 158174565 500273152 92824 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 122137 92824 421 379 0 121671 0
Current children cumulated CPU time: 3091.55 s
Current children cumulated vsize: 498480 KiB
Current children cumulated memory: 374000 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 817327
/proc/meminfo: memFree=127187784/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=225736 memory=221828 CPUtime=3151.35 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 85399 0 0 0 314994 141 0 0 20 0 1 0 158174565 231153664 55457 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 56434 55457 421 379 0 55968 0
Current children cumulated CPU time: 3151.35 s
Current children cumulated vsize: 235668 KiB
Current children cumulated memory: 224532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/259 817339
/proc/meminfo: memFree=127184448/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=357212 memory=277952 CPUtime=3211.14 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 86200 0 0 0 320972 142 0 0 20 0 1 0 158174565 365785088 69488 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 89303 69488 421 379 0 88837 0
Current children cumulated CPU time: 3211.14 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 280656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/259 817350
/proc/meminfo: memFree=127217528/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=357212 memory=325164 CPUtime=3270.93 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 86349 0 0 0 326950 143 0 0 20 0 1 0 158174565 365785088 81291 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 89303 81291 421 379 0 88837 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 367144 KiB
Current children cumulated memory: 327868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/262 817365
/proc/meminfo: memFree=127050116/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=490724 memory=373004 CPUtime=3330.72 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 87128 0 0 0 332927 145 0 0 20 0 1 0 158174565 502501376 93251 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 122681 93251 421 379 0 122215 0
Current children cumulated CPU time: 3330.72 s
Current children cumulated vsize: 500656 KiB
Current children cumulated memory: 375708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/262 817528
/proc/meminfo: memFree=127288504/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=492144 memory=406892 CPUtime=3390.5 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 87503 0 0 0 338905 145 0 0 20 0 1 0 158174565 503955456 101723 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 123036 101723 421 379 0 122570 0
Current children cumulated CPU time: 3390.5 s
Current children cumulated vsize: 502076 KiB
Current children cumulated memory: 409596 KiB

[startup+3462.3 s]
/proc/loadavg: 4.48 4.20 4.12 5/262 817538
/proc/meminfo: memFree=121931216/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=278664 memory=261720 CPUtime=3450.3 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 88768 0 0 0 344882 148 0 0 20 0 1 0 158174565 285351936 65430 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 69666 65430 421 379 0 69200 0
Current children cumulated CPU time: 3450.3 s
Current children cumulated vsize: 288596 KiB
Current children cumulated memory: 264424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.24 4.18 4.12 5/262 817549
/proc/meminfo: memFree=116606276/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=360248 memory=330144 CPUtime=3510.08 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 89490 0 0 0 350859 149 0 0 20 0 1 0 158174565 368893952 82536 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 90062 82536 421 379 0 89596 0
Current children cumulated CPU time: 3510.08 s
Current children cumulated vsize: 370180 KiB
Current children cumulated memory: 332848 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/262 817561
/proc/meminfo: memFree=111553908/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=493256 memory=377696 CPUtime=3569.9 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 90231 0 0 0 356839 151 0 0 20 0 1 0 158174565 505094144 94424 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 123314 94424 421 379 0 122848 0
Current children cumulated CPU time: 3569.9 s
Current children cumulated vsize: 503188 KiB
Current children cumulated memory: 380400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.6 s]
/proc/loadavg: 4.14 4.16 4.11 5/262 817565
/proc/meminfo: memFree=109087640/131524600 swapFree=131071996/131071996
[pid=815557] ppid=815554 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/815557/stat : 815557 (naps-1.02b5.sh) S 815554 815557 813126 0 -1 4194304 219 241 0 0 0 0 0 0 20 0 1 0 158174564 10170368 676 134679101440 94681399574528 94681400653848 140720893710672 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94681402752304 94681402799492 94681418944512 140720893719520 140720893719647 140720893719647 140720893726662 0
/proc/815557/statm: 2483 676 596 264 0 134 0
[pid=815562] ppid=815557 vsize=493652 memory=400444 CPUtime=3600.09 cores=0,2
/proc/815562/stat : 815562 (naps-1.02b5) R 815557 815557 813126 0 -1 4194304 90385 0 0 0 359858 151 0 0 20 0 1 0 158174565 505499648 100111 134679101440 4194304 5746509 140721072409824 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 12935168 140721072415727 140721072415841 140721072415841 140721072422857 0
/proc/815562/statm: 123413 100111 421 379 0 122947 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 503584 KiB
Current children cumulated memory: 403148 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000889 s, system=0.001952 s

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

# cumulated CPU time of all completed processes:  user=3598.59 s, system=1.52073 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

Child status: 10

Real time (s): 3612.61
CPU time (s): 3600.11
CPU user time (s): 3598.59
CPU system time (s): 1.52073
CPU usage (%): 99.6541
Max. virtual memory (cumulated for all children) (KiB): 551396
Max. memory (cumulated for all children) (KiB): 413176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 1.52073
maximum resident set size= 453108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90845
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= 166
involuntary context switches= 25207


# summary of solver processes directly reported to runsolver:
#   pid: 815557,815562
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3598.59
#   total CPU system time (s): 1.52073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39048 second user time and 17.5213 second system time

The end