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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463364-1722352283/watcher-4463364-1722352283 -o /tmp/evaluation-result-4463364-1722352283/solver-4463364-1722352283 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722352283-14556 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4463364-1722352283.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=14628, runsolver pid=14625
Current StackSize limit: 8192 KiB


[startup+0.101042 s]*
/proc/loadavg: 1.10 1.50 2.64 5/259 14633
/proc/meminfo: memFree=129663036/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=31336 memory=29572 CPUtime=0.09 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 7990 0 0 0 8 1 0 0 20 0 1 0 1830223 32088064 7393 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 7834 7393 644 659 0 7038 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41268 KiB
Current children cumulated memory: 32320 KiB

[startup+0.205672 s]*
/proc/loadavg: 1.10 1.50 2.64 5/259 14633
/proc/meminfo: memFree=129652932/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=42028 memory=39392 CPUtime=0.19 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 11302 0 0 0 18 1 0 0 20 0 1 0 1830223 43036672 9848 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 10507 9848 644 659 0 9711 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 51960 KiB
Current children cumulated memory: 42140 KiB

[startup+0.305679 s]*
/proc/loadavg: 1.10 1.50 2.64 5/259 14633
/proc/meminfo: memFree=129640000/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=44160 memory=40436 CPUtime=0.29 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 13233 0 0 0 27 2 0 0 20 0 1 0 1830223 45219840 10109 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 11040 10109 660 659 0 10244 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 54092 KiB
Current children cumulated memory: 43184 KiB

[startup+0.700252 s]
/proc/loadavg: 1.10 1.50 2.64 4/256 14633
/proc/meminfo: memFree=129641932/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=45604 memory=42600 CPUtime=0.68 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 14101 0 0 0 66 2 0 0 20 0 1 0 1830223 46698496 10650 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 11401 10650 660 659 0 10605 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 55536 KiB
Current children cumulated memory: 45348 KiB

[startup+1.50025 s]
/proc/loadavg: 1.10 1.50 2.64 4/246 14702
/proc/meminfo: memFree=129634188/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=43664 memory=40336 CPUtime=1.47 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 14316 0 0 0 145 2 0 0 20 0 1 0 1830223 44711936 10084 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 10916 10084 660 659 0 10120 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 53596 KiB
Current children cumulated memory: 43084 KiB

[startup+3.10547 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14783
/proc/meminfo: memFree=129467968/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=43664 memory=40336 CPUtime=3.07 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 14324 0 0 0 305 2 0 0 20 0 1 0 1830223 44711936 10084 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 10916 10084 660 659 0 10120 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 53596 KiB
Current children cumulated memory: 43084 KiB

[startup+6.30023 s]
/proc/loadavg: 1.33 1.54 2.65 5/259 14785
/proc/meminfo: memFree=129442208/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=43664 memory=40336 CPUtime=6.26 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 14324 0 0 0 624 2 0 0 20 0 1 0 1830223 44711936 10084 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 10916 10084 660 659 0 10120 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 53596 KiB
Current children cumulated memory: 43084 KiB

[startup+12.7002 s]
/proc/loadavg: 1.75 1.62 2.66 5/259 14785
/proc/meminfo: memFree=129432668/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=51760 memory=48160 CPUtime=12.65 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 15808 0 0 0 1262 3 0 0 20 0 1 0 1830223 53002240 12040 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 12940 12040 660 659 0 12144 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 61692 KiB
Current children cumulated memory: 50908 KiB

[startup+25.5003 s]
/proc/loadavg: 2.17 1.72 2.68 5/258 14788
/proc/meminfo: memFree=129416732/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=55648 memory=52064 CPUtime=25.4 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 17526 0 0 0 2537 3 0 0 20 0 1 0 1830223 56983552 13016 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 13912 13016 660 659 0 13116 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 65580 KiB
Current children cumulated memory: 54812 KiB

[startup+51.1054 s]
/proc/loadavg: 2.98 1.95 2.74 5/258 14791
/proc/meminfo: memFree=129359760/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=67344 memory=63664 CPUtime=50.93 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 20798 0 0 0 5089 4 0 0 20 0 1 0 1830223 68960256 15916 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 16836 15916 660 659 0 16040 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 77276 KiB
Current children cumulated memory: 66412 KiB

[startup+102.3 s]
/proc/loadavg: 3.64 2.31 2.82 5/258 14799
/proc/meminfo: memFree=129283012/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=99568 memory=96044 CPUtime=101.97 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 22739 0 0 0 10192 5 0 0 20 0 1 0 1830223 101957632 24011 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 24892 24011 660 659 0 24096 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 109500 KiB
Current children cumulated memory: 98792 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.65 2.90 5/258 14809
/proc/meminfo: memFree=129239200/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=115188 memory=111732 CPUtime=161.78 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 27284 0 0 0 16170 8 0 0 20 0 1 0 1830223 117952512 27933 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 28797 27933 660 659 0 28001 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 125120 KiB
Current children cumulated memory: 114480 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.91 2.98 5/258 14820
/proc/meminfo: memFree=129192100/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=115188 memory=111732 CPUtime=221.6 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 27305 0 0 0 22152 8 0 0 20 0 1 0 1830223 117952512 27933 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 28797 27933 660 659 0 28001 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 125120 KiB

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

/proc/loadavg: 4.32 4.22 4.12 5/261 16511
/proc/meminfo: memFree=128428432/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=411580 memory=408756 CPUtime=3034.18 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 177535 0 0 0 303191 227 0 0 20 0 1 0 1830223 421457920 102189 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 102895 102189 660 659 0 102099 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 421512 KiB
Current children cumulated memory: 411504 KiB

[startup+3102.3 s]
/proc/loadavg: 4.32 4.25 4.14 5/260 16521
/proc/meminfo: memFree=128551260/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=343808 memory=340984 CPUtime=3094.02 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 181605 0 0 0 309168 234 0 0 20 0 1 0 1830223 352059392 85246 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 85952 85246 660 659 0 85156 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 353740 KiB
Current children cumulated memory: 343732 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.22 4.13 5/258 16531
/proc/meminfo: memFree=128587020/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=328824 memory=326000 CPUtime=3153.88 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 184771 0 0 0 315147 241 0 0 20 0 1 0 1830223 336715776 81500 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 82206 81500 660 659 0 81410 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 338756 KiB
Current children cumulated memory: 328748 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.21 4.13 5/259 16543
/proc/meminfo: memFree=128582188/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=338268 memory=335444 CPUtime=3213.72 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 187441 0 0 0 321126 246 0 0 20 0 1 0 1830223 346386432 83861 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 84567 83861 660 659 0 83771 0
Current children cumulated CPU time: 3213.72 s
Current children cumulated vsize: 348200 KiB
Current children cumulated memory: 338192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.13 5/256 16553
/proc/meminfo: memFree=128530404/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=325040 memory=322216 CPUtime=3273.56 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 189546 0 0 0 327106 250 0 0 20 0 1 0 1830223 332840960 80554 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 81260 80554 660 659 0 80464 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 334972 KiB
Current children cumulated memory: 324964 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/256 16563
/proc/meminfo: memFree=128551528/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=325420 memory=322596 CPUtime=3333.41 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 192722 0 0 0 333086 255 0 0 20 0 1 0 1830223 333230080 80649 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 81355 80649 660 659 0 80559 0
Current children cumulated CPU time: 3333.41 s
Current children cumulated vsize: 335352 KiB
Current children cumulated memory: 325344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.17 4.13 5/256 16575
/proc/meminfo: memFree=128490256/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=354844 memory=352020 CPUtime=3393.25 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 194605 0 0 0 339067 258 0 0 20 0 1 0 1830223 363360256 88005 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 88711 88005 660 659 0 87915 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 364776 KiB
Current children cumulated memory: 354768 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/256 16585
/proc/meminfo: memFree=128551588/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=337032 memory=334208 CPUtime=3453.1 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 197751 0 0 0 345045 265 0 0 20 0 1 0 1830223 345120768 83552 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 84258 83552 660 659 0 83462 0
Current children cumulated CPU time: 3453.1 s
Current children cumulated vsize: 346964 KiB
Current children cumulated memory: 336956 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/255 16595
/proc/meminfo: memFree=128543792/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=330312 memory=327488 CPUtime=3512.95 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 202296 0 0 0 351023 272 0 0 20 0 1 0 1830223 338239488 81872 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 82578 81872 660 659 0 81782 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 340244 KiB
Current children cumulated memory: 330236 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.12 5/257 16610
/proc/meminfo: memFree=128545208/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=334040 memory=331216 CPUtime=3572.79 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 207417 0 0 0 357000 279 0 0 20 0 1 0 1830223 342056960 82804 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 83510 82804 660 659 0 82714 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 343972 KiB
Current children cumulated memory: 333964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.12 4.14 4.12 5/257 16616
/proc/meminfo: memFree=128549856/131524600 swapFree=131071996/131071996
[pid=14628] ppid=14625 vsize=9932 memory=2748 CPUtime=0 cores=1,3
/proc/14628/stat : 14628 (naps-1.03.sh) S 14625 14628 14544 0 -1 4194304 222 240 0 0 0 0 0 0 20 0 1 0 1830223 10170368 687 134679101440 94318969802752 94318970882072 140722620201520 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 94318972980528 94318973027716 94318995292160 140722620208103 140722620208228 140722620208228 140722620215240 0
/proc/14628/statm: 2483 687 610 264 0 134 0
[pid=14633] ppid=14628 vsize=332648 memory=329824 CPUtime=3600.03 cores=1,3
/proc/14633/stat : 14633 (naps-1.03a2) R 14628 14628 14544 0 -1 4194304 209942 0 0 0 359719 284 0 0 20 0 1 0 1830223 340631552 82456 134679101440 4194304 6891597 140727527884048 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 30359552 140727527891954 140727527892068 140727527892068 140727527899081 0
/proc/14633/statm: 83162 82456 660 659 0 82366 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 342580 KiB
Current children cumulated memory: 332572 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.2 s, system=2.84259 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.04
CPU user time (s): 3597.2
CPU system time (s): 2.84259
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 606136
Max. memory (cumulated for all children) (KiB): 550408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 2.84259
maximum resident set size= 591508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210419
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= 49
involuntary context switches= 1707


# summary of solver processes directly reported to runsolver:
#   pid: 14628
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3597.2
#   total CPU system time (s): 2.84259

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1801 second user time and 16.7561 second system time

The end