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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426513-1720905665/watcher-4426513-1720905665 -o /tmp/evaluation-result-4426513-1720905665/solver-4426513-1720905665 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1720905500-722852 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426513-1720905665.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
Current StackSize limit: 8192 KiB

solver pid=723358, runsolver pid=723355

[startup+0.100087 s]*
/proc/loadavg: 3.91 2.45 1.69 5/261 723363
/proc/meminfo: memFree=119627168/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=33168 memory=30800 CPUtime=0.09 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 7610 0 0 0 8 1 0 0 20 0 1 0 142731465 33964032 7700 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 8292 7700 628 659 0 7496 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43100 KiB
Current children cumulated memory: 33484 KiB

[startup+0.205568 s]*
/proc/loadavg: 3.91 2.45 1.69 5/261 723363
/proc/meminfo: memFree=119621792/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=37736 memory=35612 CPUtime=0.19 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 8848 0 0 0 18 1 0 0 20 0 1 0 142731465 38641664 8903 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 9434 8903 644 659 0 8638 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 47668 KiB
Current children cumulated memory: 38296 KiB

[startup+0.305432 s]*
/proc/loadavg: 3.91 2.45 1.69 5/261 723363
/proc/meminfo: memFree=119617760/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=41800 memory=39836 CPUtime=0.3 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 9869 0 0 0 28 2 0 0 20 0 1 0 142731465 42803200 9959 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 10450 9959 644 659 0 9654 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 51732 KiB
Current children cumulated memory: 42520 KiB

[startup+0.700252 s]
/proc/loadavg: 3.91 2.45 1.69 5/261 723363
/proc/meminfo: memFree=119620996/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=55872 memory=54232 CPUtime=0.69 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 16144 0 0 0 66 3 0 0 20 0 1 0 142731465 57212928 13558 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 13968 13558 660 659 0 13172 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 65804 KiB
Current children cumulated memory: 56916 KiB

[startup+1.50025 s]
/proc/loadavg: 4.00 2.49 1.71 5/261 723363
/proc/meminfo: memFree=119613908/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=55496 memory=51396 CPUtime=1.48 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 16516 0 0 0 145 3 0 0 20 0 1 0 142731465 56827904 12849 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 13874 12849 660 659 0 13078 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 65428 KiB
Current children cumulated memory: 54080 KiB

[startup+3.10536 s]
/proc/loadavg: 4.00 2.49 1.71 5/261 723363
/proc/meminfo: memFree=119614128/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=55496 memory=51396 CPUtime=3.08 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 16517 0 0 0 305 3 0 0 20 0 1 0 142731465 56827904 12849 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 13874 12849 660 659 0 13078 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65428 KiB
Current children cumulated memory: 54080 KiB

[startup+6.30018 s]
/proc/loadavg: 4.00 2.52 1.72 5/261 723365
/proc/meminfo: memFree=119614260/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=44564 memory=42520 CPUtime=6.26 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 17009 0 0 0 623 3 0 0 20 0 1 0 142731465 45633536 10630 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 11141 10630 660 659 0 10345 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 54496 KiB
Current children cumulated memory: 45204 KiB

[startup+12.7002 s]
/proc/loadavg: 4.00 2.54 1.73 5/261 723365
/proc/meminfo: memFree=120790408/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=49896 memory=47736 CPUtime=12.65 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 19355 0 0 0 1261 4 0 0 20 0 1 0 142731465 51093504 11934 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 12474 11934 660 659 0 11678 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59828 KiB
Current children cumulated memory: 50420 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 2.59 1.76 5/261 723366
/proc/meminfo: memFree=119984244/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=49020 memory=47160 CPUtime=25.41 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 26205 0 0 0 2535 6 0 0 20 0 1 0 142731465 50196480 11790 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 12255 11790 660 659 0 11459 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 58952 KiB
Current children cumulated memory: 49844 KiB

[startup+51.1053 s]
/proc/loadavg: 4.07 2.74 1.84 5/261 723371
/proc/meminfo: memFree=118683920/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=70772 memory=68752 CPUtime=50.92 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 33741 0 0 0 5084 8 0 0 20 0 1 0 142731465 72470528 17188 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 17693 17188 660 659 0 16897 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 80704 KiB
Current children cumulated memory: 71436 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 2.96 1.96 5/261 723379
/proc/meminfo: memFree=112381988/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=79868 memory=77728 CPUtime=101.94 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 42912 0 0 0 10180 14 0 0 20 0 1 0 142731465 81784832 19432 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 19967 19432 660 659 0 19171 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 89800 KiB
Current children cumulated memory: 80412 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 3.16 2.09 5/261 723448
/proc/meminfo: memFree=127125288/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=118436 memory=116292 CPUtime=161.74 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 46749 0 0 0 16159 15 0 0 20 0 1 0 142731465 121278464 29073 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 29609 29073 660 659 0 28813 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 128368 KiB
Current children cumulated memory: 118976 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.33 2.22 5/260 723458
/proc/meminfo: memFree=126138628/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=121740 memory=119708 CPUtime=221.51 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 47095 0 0 0 22136 15 0 0 20 0 1 0 142731465 124661760 29927 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 30435 29927 660 659 0 29639 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 131672 KiB

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

/proc/loadavg: 4.19 4.16 4.07 5/261 726382
/proc/meminfo: memFree=126189060/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=252404 memory=247912 CPUtime=3091.9 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 229139 0 0 0 308867 323 0 0 20 0 1 0 142731465 258461696 61978 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 63101 61978 660 659 0 62305 0
Current children cumulated CPU time: 3091.9 s
Current children cumulated vsize: 262336 KiB
Current children cumulated memory: 250596 KiB

[startup+3162.3 s]
/proc/loadavg: 4.20 4.16 4.08 5/260 726394
/proc/meminfo: memFree=126180968/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=251052 memory=246560 CPUtime=3151.69 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 232571 0 0 0 314839 330 0 0 20 0 1 0 142731465 257077248 61640 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 62763 61640 660 659 0 61967 0
Current children cumulated CPU time: 3151.69 s
Current children cumulated vsize: 260984 KiB
Current children cumulated memory: 249244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/260 726404
/proc/meminfo: memFree=126128568/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=267476 memory=262984 CPUtime=3211.49 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 234653 0 0 0 320813 336 0 0 20 0 1 0 142731465 273895424 65746 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 66869 65746 660 659 0 66073 0
Current children cumulated CPU time: 3211.49 s
Current children cumulated vsize: 277408 KiB
Current children cumulated memory: 265668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/258 726414
/proc/meminfo: memFree=126157980/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=255524 memory=251032 CPUtime=3271.29 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 237281 0 0 0 326785 344 0 0 20 0 1 0 142731465 261656576 62758 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 63881 62758 660 659 0 63085 0
Current children cumulated CPU time: 3271.29 s
Current children cumulated vsize: 265456 KiB
Current children cumulated memory: 253716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/259 726425
/proc/meminfo: memFree=126185248/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=255164 memory=250672 CPUtime=3331.09 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 239785 0 0 0 332758 351 0 0 20 0 1 0 142731465 261287936 62668 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 63791 62668 660 659 0 62995 0
Current children cumulated CPU time: 3331.09 s
Current children cumulated vsize: 265096 KiB
Current children cumulated memory: 253356 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 726436
/proc/meminfo: memFree=126177696/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=257992 memory=253500 CPUtime=3390.9 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 242094 0 0 0 338735 355 0 0 20 0 1 0 142731465 264183808 63375 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 64498 63375 660 659 0 63702 0
Current children cumulated CPU time: 3390.9 s
Current children cumulated vsize: 267924 KiB
Current children cumulated memory: 256184 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.16 4.10 5/259 726446
/proc/meminfo: memFree=126184412/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=255540 memory=251048 CPUtime=3450.7 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 245535 0 0 0 344709 361 0 0 20 0 1 0 142731465 261672960 62762 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 63885 62762 660 659 0 63089 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 265472 KiB
Current children cumulated memory: 253732 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/259 726456
/proc/meminfo: memFree=126176972/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=258840 memory=254348 CPUtime=3510.51 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 249189 0 0 0 350680 371 0 0 20 0 1 0 142731465 265052160 63587 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 64710 63587 660 659 0 63914 0
Current children cumulated CPU time: 3510.51 s
Current children cumulated vsize: 268772 KiB
Current children cumulated memory: 257032 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/262 726571
/proc/meminfo: memFree=125001256/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=254224 memory=250784 CPUtime=3570.3 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 250849 0 0 0 356656 374 0 0 20 0 1 0 142731465 260325376 62696 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 63556 62696 660 659 0 62760 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 264156 KiB
Current children cumulated memory: 253468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.09 4.13 4.09 5/262 726576
/proc/meminfo: memFree=115437812/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=259432 memory=256920 CPUtime=3600.01 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 252830 0 0 0 359621 380 0 0 20 0 1 0 142731465 265658368 64230 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 64858 64230 660 659 0 64062 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 269364 KiB
Current children cumulated memory: 259604 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3596.22 s, system=3.80163 s

Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3612.11 s]
/proc/loadavg: 4.09 4.13 4.09 5/262 726576
/proc/meminfo: memFree=115437812/131524600 swapFree=131071996/131071996
[pid=723358] ppid=723355 vsize=9932 memory=2684 CPUtime=0 cores=0,2
/proc/723358/stat : 723358 (naps-1.03.sh) S 723355 723358 720473 0 -1 4194304 219 240 0 0 0 0 0 0 20 0 1 0 142731465 10170368 671 134679101440 94698997743616 94698998822936 140737479937584 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94699000921392 94699000968580 94699007922176 140737479938992 140737479939117 140737479939117 140737479946184 0
/proc/723358/statm: 2483 671 592 264 0 134 0
[pid=723363] ppid=723358 vsize=259432 memory=256920 CPUtime=3600.01 cores=0,2
/proc/723363/stat : 723363 (naps-1.03) R 723358 723358 720473 0 -1 4194304 252830 0 0 0 359621 380 0 0 20 0 1 0 142731465 265658368 64230 134679101440 4194304 6891213 140722830550880 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 30441472 140722830554049 140722830554161 140722830554161 140722830561227 0
/proc/723363/statm: 64858 64230 660 659 0 64062 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 269364 KiB
Current children cumulated memory: 259604 KiB

Child status: 10

Real time (s): 3612.11
CPU time (s): 3600.02
CPU user time (s): 3596.22
CPU system time (s): 3.80163
CPU usage (%): 99.6654
Max. virtual memory (cumulated for all children) (KiB): 416108
Max. memory (cumulated for all children) (KiB): 402844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.22
system time used= 3.80163
maximum resident set size= 400424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 253305
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= 41
involuntary context switches= 24658


# summary of solver processes directly reported to runsolver:
#   pid: 723358
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3596.22
#   total CPU system time (s): 3.80163

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.45148 second user time and 15.9008 second system time

The end