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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4427066-1720905784/watcher-4427066-1720905784 -o /tmp/evaluation-result-4427066-1720905784/solver-4427066-1720905784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1720905498-731377 --watchdog 3760 HOME/naps-1.02b5.sh HOME/instance-4427066-1720905784.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100848 s]*
/proc/loadavg: 4.17 3.30 2.60 5/265 732316
/proc/meminfo: memFree=101723176/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=8932 memory=7596 CPUtime=0.09 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 1576 0 0 0 9 0 0 0 20 0 1 0 142743712 9146368 1899 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 2233 1899 421 379 0 1767 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18864 KiB
Current children cumulated memory: 10296 KiB

[startup+0.205847 s]*
/proc/loadavg: 4.17 3.30 2.60 5/265 732316
/proc/meminfo: memFree=101719056/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=13284 memory=11224 CPUtime=0.19 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 2021 0 0 0 19 0 0 0 20 0 1 0 142743712 13602816 2806 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 2 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 3321 2806 421 379 0 2855 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 23216 KiB
Current children cumulated memory: 13924 KiB

[startup+0.305867 s]*
/proc/loadavg: 4.17 3.30 2.60 5/265 732316
/proc/meminfo: memFree=101717712/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=13284 memory=12544 CPUtime=0.28 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 2300 0 0 0 28 0 0 0 20 0 1 0 142743712 13602816 3136 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 3321 3136 421 379 0 2855 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 23216 KiB
Current children cumulated memory: 15244 KiB

[startup+0.700239 s]
/proc/loadavg: 4.17 3.30 2.60 5/265 732318
/proc/meminfo: memFree=101712664/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=16004 memory=15364 CPUtime=0.66 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 2666 0 0 0 66 0 0 0 20 0 1 0 142743712 16388096 3841 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 4001 3841 421 379 0 3535 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 25936 KiB
Current children cumulated memory: 18064 KiB

[startup+1.50025 s]
/proc/loadavg: 4.17 3.30 2.60 5/265 732318
/proc/meminfo: memFree=101706408/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=22260 memory=21508 CPUtime=1.47 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 2695 0 0 0 146 1 0 0 20 0 1 0 142743712 22794240 5377 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 5565 5377 421 379 0 5099 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 32192 KiB
Current children cumulated memory: 24208 KiB

[startup+3.10559 s]
/proc/loadavg: 4.17 3.30 2.60 5/265 732318
/proc/meminfo: memFree=101685524/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=26680 memory=25964 CPUtime=3.07 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 3788 0 0 0 306 1 0 0 20 0 1 0 142743712 27320320 6491 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 6670 6491 421 379 0 6204 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 36612 KiB
Current children cumulated memory: 28664 KiB

[startup+6.30025 s]
/proc/loadavg: 4.15 3.31 2.61 5/265 732318
/proc/meminfo: memFree=101654392/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=40924 memory=33560 CPUtime=6.25 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 4977 0 0 0 624 1 0 0 20 0 1 0 142743712 41906176 8390 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 10231 8390 421 379 0 9765 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 50856 KiB
Current children cumulated memory: 36260 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 3.33 2.61 5/263 732319
/proc/meminfo: memFree=100426920/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=48108 memory=42804 CPUtime=12.62 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 5738 0 0 0 1261 1 0 0 20 0 1 0 142743712 49262592 10701 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 12027 10701 421 379 0 11561 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 58040 KiB
Current children cumulated memory: 45504 KiB

[startup+25.5003 s]
/proc/loadavg: 4.11 3.36 2.64 5/263 732321
/proc/meminfo: memFree=102002664/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=48108 memory=46900 CPUtime=25.38 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 5777 0 0 0 2537 1 0 0 20 0 1 0 142743712 49262592 11725 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 12027 11725 421 379 0 11561 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 58040 KiB
Current children cumulated memory: 49600 KiB

[startup+51.1056 s]
/proc/loadavg: 4.07 3.41 2.67 5/263 732326
/proc/meminfo: memFree=101890240/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=83180 memory=72380 CPUtime=50.91 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 8255 0 0 0 5088 3 0 0 20 0 1 0 142743712 85176320 18095 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 20795 18095 421 379 0 20329 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 93112 KiB
Current children cumulated memory: 75080 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 3.52 2.75 5/262 732335
/proc/meminfo: memFree=101854072/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=83180 memory=82192 CPUtime=101.94 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 8662 0 0 0 10191 3 0 0 20 0 1 0 142743712 85176320 20548 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 20795 20548 421 379 0 20329 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 93112 KiB
Current children cumulated memory: 84892 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 3.64 2.84 5/261 732732
/proc/meminfo: memFree=101862028/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=83180 memory=82572 CPUtime=161.74 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 10830 0 0 0 16168 6 0 0 20 0 1 0 142743712 85176320 20643 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 20795 20643 421 379 0 20329 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 93112 KiB
Current children cumulated memory: 85272 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.72 2.92 5/261 732742
/proc/meminfo: memFree=101818876/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=102520 memory=101912 CPUtime=221.55 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 15139 0 0 0 22143 12 0 0 20 0 1 0 142743712 104980480 25478 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 25630 25478 421 379 0 25164 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 112452 KiB

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

/proc/loadavg: 4.67 4.27 4.10 5/264 734951
/proc/meminfo: memFree=90472472/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=225252 memory=208024 CPUtime=3031.64 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 121470 0 0 0 302996 168 0 0 20 0 1 0 142743712 230658048 52006 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56313 52006 421 379 0 55847 0
Current children cumulated CPU time: 3031.64 s
Current children cumulated vsize: 235184 KiB
Current children cumulated memory: 210724 KiB

[startup+3102.3 s]
/proc/loadavg: 4.31 4.25 4.10 5/264 735013
/proc/meminfo: memFree=115969128/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=225252 memory=214328 CPUtime=3091.41 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 122943 0 0 0 308971 170 0 0 20 0 1 0 142743712 230658048 53582 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56313 53582 421 379 0 55847 0
Current children cumulated CPU time: 3091.41 s
Current children cumulated vsize: 235184 KiB
Current children cumulated memory: 217028 KiB

[startup+3162.3 s]
/proc/loadavg: 4.23 4.23 4.10 5/260 735023
/proc/meminfo: memFree=106927848/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=225624 memory=210604 CPUtime=3151.18 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 124505 0 0 0 314946 172 0 0 20 0 1 0 142743712 231038976 52651 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56406 52651 421 379 0 55940 0
Current children cumulated CPU time: 3151.18 s
Current children cumulated vsize: 235556 KiB
Current children cumulated memory: 213304 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.20 4.10 5/259 735033
/proc/meminfo: memFree=107567172/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=225876 memory=204508 CPUtime=3210.96 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 126057 0 0 0 320922 174 0 0 20 0 1 0 142743712 231297024 51127 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56469 51127 421 379 0 56003 0
Current children cumulated CPU time: 3210.96 s
Current children cumulated vsize: 235808 KiB
Current children cumulated memory: 207208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.18 4.09 5/259 735044
/proc/meminfo: memFree=102586876/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=226128 memory=204760 CPUtime=3270.74 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 127610 0 0 0 326898 176 0 0 20 0 1 0 142743712 231555072 51190 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56532 51190 421 379 0 56066 0
Current children cumulated CPU time: 3270.74 s
Current children cumulated vsize: 236060 KiB
Current children cumulated memory: 207460 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.09 5/259 735054
/proc/meminfo: memFree=99280636/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=226128 memory=209028 CPUtime=3330.52 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 129112 0 0 0 332873 179 0 0 20 0 1 0 142743712 231555072 52257 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56532 52257 421 379 0 56066 0
Current children cumulated CPU time: 3330.52 s
Current children cumulated vsize: 236060 KiB
Current children cumulated memory: 211728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.09 5/259 735066
/proc/meminfo: memFree=94862564/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=226128 memory=223524 CPUtime=3390.29 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 130594 0 0 0 338848 181 0 0 20 0 1 0 142743712 231555072 55881 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 56532 55881 421 379 0 56066 0
Current children cumulated CPU time: 3390.29 s
Current children cumulated vsize: 236060 KiB
Current children cumulated memory: 226224 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/262 735082
/proc/meminfo: memFree=93392840/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=277420 memory=231900 CPUtime=3450.07 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 132648 0 0 0 344823 184 0 0 20 0 1 0 142743712 284078080 57975 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 69355 57975 421 379 0 68889 0
Current children cumulated CPU time: 3450.07 s
Current children cumulated vsize: 287352 KiB
Current children cumulated memory: 234600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.35 4.21 4.11 5/262 735092
/proc/meminfo: memFree=91122232/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=197480 memory=182292 CPUtime=3509.85 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 134876 0 0 0 350798 187 0 0 20 0 1 0 142743712 202219520 45573 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 49370 45573 421 379 0 48904 0
Current children cumulated CPU time: 3509.85 s
Current children cumulated vsize: 207412 KiB
Current children cumulated memory: 184992 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.18 4.11 5/263 735203
/proc/meminfo: memFree=115970984/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=197480 memory=180244 CPUtime=3569.62 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 136352 0 0 0 356773 189 0 0 20 0 1 0 142743712 202219520 45061 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 49370 45061 421 379 0 48904 0
Current children cumulated CPU time: 3569.62 s
Current children cumulated vsize: 207412 KiB
Current children cumulated memory: 182944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 3.59 4.05 4.07 3/247 735771
/proc/meminfo: memFree=116693028/131524600 swapFree=131071996/131071996
[pid=732311] ppid=732308 vsize=9932 memory=2700 CPUtime=0 cores=0,2
/proc/732311/stat : 732311 (naps-1.02b5.sh) S 732308 732311 728743 0 -1 4194304 219 245 0 0 0 0 0 0 20 0 1 0 142743712 10170368 675 134679101440 94233588752384 94233589831704 140730422260240 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 94233591930160 94233591977348 94233607979008 140730422268844 140730422268971 140730422268971 140730422276038 0
/proc/732311/statm: 2483 675 597 264 0 134 0
[pid=732316] ppid=732311 vsize=228300 memory=213076 CPUtime=3600.01 cores=0,2
/proc/732316/stat : 732316 (naps-1.02b5) R 732311 732311 728743 0 -1 4194304 136946 0 0 0 359811 190 0 0 20 0 1 0 142743712 233779200 53269 134679101440 4194304 5746509 140724080965536 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 6059216 6091920 23834624 140724080972731 140724080972845 140724080972845 140724080979913 0
/proc/732316/statm: 57075 53269 421 379 0 56609 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 238232 KiB
Current children cumulated memory: 215776 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.12 s, system=1.90551 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): 3612.8
CPU time (s): 3600.02
CPU user time (s): 3598.12
CPU system time (s): 1.90551
CPU usage (%): 99.6463
Max. virtual memory (cumulated for all children) (KiB): 288320
Max. memory (cumulated for all children) (KiB): 238696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.12
system time used= 1.90551
maximum resident set size= 265424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137425
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= 28
involuntary context switches= 24685


# summary of solver processes directly reported to runsolver:
#   pid: 732311
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.12
#   total CPU system time (s): 1.90551

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.19641 second user time and 17.4668 second system time

The end