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: 63968 MiB (56476 MiB free)
  memory of node 1: 64473 MiB (61958 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435166-1721108964/watcher-4435166-1721108964 -o /tmp/evaluation-result-4435166-1721108964/solver-4435166-1721108964 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721105363-836178 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4435166-1721108964.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=838885, runsolver pid=838882

[startup+0.100095 s]*
/proc/loadavg: 4.18 4.15 4.10 5/261 838890
/proc/meminfo: memFree=121272212/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=6184 memory=5188 CPUtime=0.1 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 1056 0 0 0 10 0 0 0 20 0 1 0 163063062 6332416 1297 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 1546 1297 405 379 0 1080 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16116 KiB
Current children cumulated memory: 7960 KiB

[startup+0.205894 s]*
/proc/loadavg: 4.18 4.15 4.10 5/261 838890
/proc/meminfo: memFree=121253692/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=6184 memory=5188 CPUtime=0.2 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 1057 0 0 0 20 0 0 0 20 0 1 0 163063062 6332416 1297 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 1546 1297 405 379 0 1080 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 16116 KiB
Current children cumulated memory: 7960 KiB

[startup+0.305942 s]*
/proc/loadavg: 4.18 4.15 4.10 5/261 838890
/proc/meminfo: memFree=121280480/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=6184 memory=5188 CPUtime=0.3 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 1057 0 0 0 30 0 0 0 20 0 1 0 163063062 6332416 1297 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 1546 1297 405 379 0 1080 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 16116 KiB
Current children cumulated memory: 7960 KiB

[startup+0.700273 s]
/proc/loadavg: 4.16 4.14 4.10 5/261 838890
/proc/meminfo: memFree=121280312/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=6184 memory=5188 CPUtime=0.69 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 1057 0 0 0 69 0 0 0 20 0 1 0 163063062 6332416 1297 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 1546 1297 405 379 0 1080 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 16116 KiB
Current children cumulated memory: 7960 KiB

[startup+1.50027 s]
/proc/loadavg: 4.16 4.14 4.10 5/261 838890
/proc/meminfo: memFree=121250572/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=229524 memory=215376 CPUtime=1.48 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 34104 0 0 0 141 7 0 0 20 0 1 0 163063062 235032576 53844 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 57381 53844 421 379 0 56915 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 239456 KiB
Current children cumulated memory: 218148 KiB

[startup+3.10582 s]
/proc/loadavg: 4.16 4.14 4.10 5/261 838890
/proc/meminfo: memFree=120715468/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=658804 memory=580512 CPUtime=3.08 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 66601 0 0 0 290 18 0 0 20 0 1 0 163063062 674615296 145128 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 164701 145128 421 379 0 164235 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 668736 KiB
Current children cumulated memory: 583284 KiB

[startup+6.30027 s]
/proc/loadavg: 4.15 4.14 4.09 5/261 838892
/proc/meminfo: memFree=120657348/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=742272 memory=659416 CPUtime=6.27 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 72326 0 0 0 604 23 0 0 20 0 1 0 163063062 760086528 164854 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 185568 164854 421 379 0 185102 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 752204 KiB
Current children cumulated memory: 662188 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.14 4.09 5/261 838892
/proc/meminfo: memFree=120667424/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=664940 memory=608712 CPUtime=12.64 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 72991 0 0 0 1241 23 0 0 20 0 1 0 163063062 680898560 152178 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 166235 152178 421 379 0 165769 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 674872 KiB
Current children cumulated memory: 611484 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 4.14 4.09 5/262 838898
/proc/meminfo: memFree=120666972/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=664940 memory=610760 CPUtime=25.4 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 73170 0 0 0 2516 24 0 0 20 0 1 0 163063062 680898560 152690 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 166235 152690 421 379 0 165769 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 674872 KiB
Current children cumulated memory: 613532 KiB

[startup+51.1059 s]
/proc/loadavg: 4.22 4.15 4.10 5/262 838901
/proc/meminfo: memFree=120626672/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=664940 memory=616904 CPUtime=50.92 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 73325 0 0 0 5067 25 0 0 20 0 1 0 163063062 680898560 154226 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 166235 154226 421 379 0 165769 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 674872 KiB
Current children cumulated memory: 619676 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/262 838910
/proc/meminfo: memFree=120588676/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=665072 memory=611428 CPUtime=101.93 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 74668 0 0 0 10165 28 0 0 20 0 1 0 163063062 681033728 152857 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 166268 152857 421 379 0 165802 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 675004 KiB
Current children cumulated memory: 614200 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/262 838920
/proc/meminfo: memFree=120591356/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=699344 memory=622784 CPUtime=161.71 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 76134 0 0 0 16141 30 0 0 20 0 1 0 163063062 716128256 155696 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 174836 155696 421 379 0 174370 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 709276 KiB
Current children cumulated memory: 625556 KiB

[startup+222.3 s]
/proc/loadavg: 4.26 4.18 4.11 5/260 838931
/proc/meminfo: memFree=120582524/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=668524 memory=620676 CPUtime=221.5 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 76654 0 0 0 22118 32 0 0 20 0 1 0 163063062 684568576 155169 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 167131 155169 421 379 0 166665 0
Current children cumulated CPU time: 221.5 s

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

/proc/838890/statm: 192260 170453 421 379 0 191794 0
Current children cumulated CPU time: 3031.24 s
Current children cumulated vsize: 778972 KiB
Current children cumulated memory: 684584 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/261 840928
/proc/meminfo: memFree=124495600/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=719440 memory=652384 CPUtime=3091.02 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 113102 0 0 0 309003 99 0 0 20 0 1 0 163063062 736706560 163096 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 179860 163096 421 379 0 179394 0
Current children cumulated CPU time: 3091.02 s
Current children cumulated vsize: 729372 KiB
Current children cumulated memory: 655156 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/261 840938
/proc/meminfo: memFree=124422968/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=719580 memory=656484 CPUtime=3150.8 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 113318 0 0 0 314980 100 0 0 20 0 1 0 163063062 736849920 164121 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 179895 164121 421 379 0 179429 0
Current children cumulated CPU time: 3150.8 s
Current children cumulated vsize: 729512 KiB
Current children cumulated memory: 659256 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/261 840949
/proc/meminfo: memFree=124437824/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=719884 memory=667172 CPUtime=3210.59 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 113588 0 0 0 320958 101 0 0 20 0 1 0 163063062 737161216 166793 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 179971 166793 421 379 0 179505 0
Current children cumulated CPU time: 3210.59 s
Current children cumulated vsize: 729816 KiB
Current children cumulated memory: 669944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/261 840960
/proc/meminfo: memFree=124385916/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=720192 memory=677644 CPUtime=3270.37 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 113854 0 0 0 326936 101 0 0 20 0 1 0 163063062 737476608 169411 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 180048 169411 421 379 0 179582 0
Current children cumulated CPU time: 3270.37 s
Current children cumulated vsize: 730124 KiB
Current children cumulated memory: 680416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.12 4.10 5/260 840970
/proc/meminfo: memFree=124498656/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=722012 memory=649148 CPUtime=3330.16 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 115374 0 0 0 332912 104 0 0 20 0 1 0 163063062 739340288 162287 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 180503 162287 421 379 0 180037 0
Current children cumulated CPU time: 3330.16 s
Current children cumulated vsize: 731944 KiB
Current children cumulated memory: 651920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.11 5/258 840980
/proc/meminfo: memFree=124418540/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=722012 memory=668736 CPUtime=3389.94 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 115845 0 0 0 338889 105 0 0 20 0 1 0 163063062 739340288 167184 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 180503 167184 421 379 0 180037 0
Current children cumulated CPU time: 3389.94 s
Current children cumulated vsize: 731944 KiB
Current children cumulated memory: 671508 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/258 840990
/proc/meminfo: memFree=124398536/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=772100 memory=688372 CPUtime=3449.72 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 116316 0 0 0 344866 106 0 0 20 0 1 0 163063062 790630400 172093 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 193025 172093 421 379 0 192559 0
Current children cumulated CPU time: 3449.72 s
Current children cumulated vsize: 782032 KiB
Current children cumulated memory: 691144 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/258 841001
/proc/meminfo: memFree=124321644/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=776316 memory=706996 CPUtime=3509.51 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 117066 0 0 0 350845 106 0 0 20 0 1 0 163063062 794947584 176749 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 194079 176749 421 379 0 193613 0
Current children cumulated CPU time: 3509.51 s
Current children cumulated vsize: 786248 KiB
Current children cumulated memory: 709768 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 841011
/proc/meminfo: memFree=124475884/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=726228 memory=662844 CPUtime=3569.3 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 118271 0 0 0 356821 109 0 0 20 0 1 0 163063062 743657472 165711 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 181557 165711 421 379 0 181091 0
Current children cumulated CPU time: 3569.3 s
Current children cumulated vsize: 736160 KiB
Current children cumulated memory: 665616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.2 s]
/proc/loadavg: 4.15 4.14 4.10 5/258 841066
/proc/meminfo: memFree=125050704/131524600 swapFree=131071996/131071996
[pid=838885] ppid=838882 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/838885/stat : 838885 (naps-1.02b5.sh) S 838882 838885 836168 0 -1 4194304 221 244 0 0 0 0 0 0 20 0 1 0 163063062 10170368 693 134679101440 94572475592704 94572476672024 140724913899584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94572478770480 94572478817668 94572487868416 140724913906656 140724913906783 140724913906783 140724913913798 0
/proc/838885/statm: 2483 693 618 264 0 134 0
[pid=838890] ppid=838885 vsize=726228 memory=671036 CPUtime=3600.09 cores=0,2
/proc/838890/stat : 838890 (naps-1.02b5) R 838885 838885 836168 0 -1 4194304 118280 0 0 0 359900 109 0 0 20 0 1 0 163063062 743657472 167759 134679101440 4194304 5746509 140735284824320 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 14147584 140735284831215 140735284831329 140735284831329 140735284838345 0
/proc/838890/statm: 181557 167759 421 379 0 181091 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 736160 KiB
Current children cumulated memory: 673808 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000844 s, system=0.00203 s

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.10135 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): 3613.21
CPU time (s): 3600.11
CPU user time (s): 3599.01
CPU system time (s): 1.10135
CPU usage (%): 99.6375
Max. virtual memory (cumulated for all children) (KiB): 835568
Max. memory (cumulated for all children) (KiB): 750216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.10135
maximum resident set size= 757684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118745
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= 110
involuntary context switches= 25358


# summary of solver processes directly reported to runsolver:
#   pid: 838885,838890
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.10135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45387 second user time and 19.583 second system time

The end