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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4461636-1722075855/watcher-4461636-1722075855 -o /tmp/evaluation-result-4461636-1722075855/solver-4461636-1722075855 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1722075775-321392 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4461636-1722075855.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=321680, runsolver pid=321677

[startup+0.100892 s]*
/proc/loadavg: 3.32 1.87 2.02 5/250 321685
/proc/meminfo: memFree=122563664/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=17000 memory=15020 CPUtime=0.09 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 3763 0 0 0 9 0 0 0 20 0 1 0 43574552 17408000 3755 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 4250 3755 612 659 0 3454 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26932 KiB
Current children cumulated memory: 17728 KiB

[startup+0.213946 s]*
/proc/loadavg: 3.32 1.87 2.02 5/250 321685
/proc/meminfo: memFree=122549720/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=40588 memory=38332 CPUtime=0.2 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 9731 0 0 0 19 1 0 0 20 0 1 0 43574552 41562112 9583 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 10147 9583 612 659 0 9351 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50520 KiB
Current children cumulated memory: 41040 KiB

[startup+0.313999 s]*
/proc/loadavg: 3.32 1.87 2.02 5/250 321685
/proc/meminfo: memFree=122526536/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=62016 memory=59088 CPUtime=0.3 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 14914 0 0 0 28 2 0 0 20 0 1 0 43574552 63504384 14772 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 15504 14772 644 659 0 14708 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71948 KiB
Current children cumulated memory: 61796 KiB

[startup+0.70043 s]
/proc/loadavg: 3.32 1.87 2.02 5/250 321685
/proc/meminfo: memFree=122511940/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=71768 memory=68104 CPUtime=0.67 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 19698 0 0 0 64 3 0 0 20 0 1 0 43574552 73490432 17026 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 17942 17026 644 659 0 17146 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81700 KiB
Current children cumulated memory: 70812 KiB

[startup+1.50041 s]
/proc/loadavg: 3.32 1.87 2.02 5/250 321685
/proc/meminfo: memFree=122498260/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=81140 memory=78540 CPUtime=1.47 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 23789 0 0 0 143 4 0 0 20 0 1 0 43574552 83087360 19635 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 20285 19635 660 659 0 19489 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 91072 KiB
Current children cumulated memory: 81248 KiB

[startup+3.11361 s]
/proc/loadavg: 3.37 1.91 2.03 5/250 321685
/proc/meminfo: memFree=122490928/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=90732 memory=86424 CPUtime=3.08 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 23999 0 0 0 303 5 0 0 20 0 1 0 43574552 92909568 21606 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 22683 21606 660 659 0 21887 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 89132 KiB

[startup+6.30037 s]
/proc/loadavg: 3.37 1.91 2.03 5/250 321685
/proc/meminfo: memFree=122489836/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=90732 memory=86424 CPUtime=6.26 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 24002 0 0 0 621 5 0 0 20 0 1 0 43574552 92909568 21606 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 22683 21606 660 659 0 21887 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 89132 KiB

[startup+12.7004 s]
/proc/loadavg: 3.47 1.98 2.05 5/250 321687
/proc/meminfo: memFree=122491544/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=90732 memory=86424 CPUtime=12.64 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 24008 0 0 0 1259 5 0 0 20 0 1 0 43574552 92909568 21606 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 22683 21606 660 659 0 21887 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 89132 KiB

[startup+25.5004 s]
/proc/loadavg: 3.55 2.04 2.07 5/250 321688
/proc/meminfo: memFree=122486488/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=90732 memory=86424 CPUtime=25.39 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 24019 0 0 0 2534 5 0 0 20 0 1 0 43574552 92909568 21606 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 22683 21606 660 659 0 21887 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 100664 KiB
Current children cumulated memory: 89132 KiB

[startup+51.1139 s]
/proc/loadavg: 3.78 2.22 2.13 5/252 322077
/proc/meminfo: memFree=122467144/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=96736 memory=93136 CPUtime=50.92 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 27076 0 0 0 5085 7 0 0 20 0 1 0 43574552 99057664 23284 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 24184 23284 660 659 0 23388 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 106668 KiB
Current children cumulated memory: 95844 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 2.52 2.24 5/249 322086
/proc/meminfo: memFree=122453452/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=114712 memory=111292 CPUtime=101.93 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 28020 0 0 0 10186 7 0 0 20 0 1 0 43574552 117465088 27823 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 28678 27823 660 659 0 27882 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 124644 KiB
Current children cumulated memory: 114000 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 2.81 2.36 5/249 322096
/proc/meminfo: memFree=122437684/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=127684 memory=124544 CPUtime=161.73 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 28299 0 0 0 16165 8 0 0 20 0 1 0 43574552 130748416 31136 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 31921 31136 660 659 0 31125 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 137616 KiB
Current children cumulated memory: 127252 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 3.07 2.48 5/249 322106
/proc/meminfo: memFree=122417268/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=132684 memory=129608 CPUtime=221.52 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 29083 0 0 0 22144 8 0 0 20 0 1 0 43574552 135868416 32402 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 33171 32402 660 659 0 32375 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 142616 KiB

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

/proc/loadavg: 4.11 4.28 4.19 5/249 323410
/proc/meminfo: memFree=91687096/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=310500 memory=308584 CPUtime=3031.12 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 216975 0 0 0 302871 241 0 0 20 0 1 0 43574552 317952000 77146 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 77625 77146 660 659 0 76829 0
Current children cumulated CPU time: 3031.12 s
Current children cumulated vsize: 320432 KiB
Current children cumulated memory: 311292 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.26 4.19 5/248 323422
/proc/meminfo: memFree=95753232/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=311944 memory=309776 CPUtime=3090.89 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 220158 0 0 0 308841 248 0 0 20 0 1 0 43574552 319430656 77444 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 77986 77444 660 659 0 77190 0
Current children cumulated CPU time: 3090.89 s
Current children cumulated vsize: 321876 KiB
Current children cumulated memory: 312484 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.23 4.18 5/245 323432
/proc/meminfo: memFree=95308280/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=443180 memory=441400 CPUtime=3150.65 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 227370 0 0 0 314809 256 0 0 20 0 1 0 43574552 453816320 110350 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 110795 110350 660 659 0 109999 0
Current children cumulated CPU time: 3150.65 s
Current children cumulated vsize: 453112 KiB
Current children cumulated memory: 444108 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.23 4.18 5/245 323442
/proc/meminfo: memFree=95579640/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=424008 memory=422708 CPUtime=3210.4 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 229172 0 0 0 320777 263 0 0 20 0 1 0 43574552 434184192 105677 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 106002 105677 660 659 0 105206 0
Current children cumulated CPU time: 3210.4 s
Current children cumulated vsize: 433940 KiB
Current children cumulated memory: 425416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/245 323453
/proc/meminfo: memFree=93575344/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=340552 memory=339252 CPUtime=3270.17 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 232209 0 0 0 326749 268 0 0 20 0 1 0 43574552 348725248 84813 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 85138 84813 660 659 0 84342 0
Current children cumulated CPU time: 3270.17 s
Current children cumulated vsize: 350484 KiB
Current children cumulated memory: 341960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.41 4.27 4.20 5/249 323524
/proc/meminfo: memFree=120088760/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=367488 memory=366188 CPUtime=3329.93 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 234751 0 0 0 332719 274 0 0 20 0 1 0 43574552 376307712 91547 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 91872 91547 660 659 0 91076 0
Current children cumulated CPU time: 3329.93 s
Current children cumulated vsize: 377420 KiB
Current children cumulated memory: 368896 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.23 4.19 5/251 323538
/proc/meminfo: memFree=120075676/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=323720 memory=322812 CPUtime=3389.69 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 238282 0 0 0 338689 280 0 0 20 0 1 0 43574552 331489280 80703 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 80930 80703 660 659 0 80134 0
Current children cumulated CPU time: 3389.69 s
Current children cumulated vsize: 333652 KiB
Current children cumulated memory: 325520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.18 5/251 323550
/proc/meminfo: memFree=120093716/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=304956 memory=304176 CPUtime=3449.46 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 240821 0 0 0 344660 286 0 0 20 0 1 0 43574552 312274944 76044 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 76239 76044 660 659 0 75443 0
Current children cumulated CPU time: 3449.46 s
Current children cumulated vsize: 314888 KiB
Current children cumulated memory: 306884 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.18 4.17 5/251 323560
/proc/meminfo: memFree=120149156/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=249192 memory=248412 CPUtime=3509.24 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 244985 0 0 0 350628 296 0 0 20 0 1 0 43574552 255172608 62103 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 62298 62103 660 659 0 61502 0
Current children cumulated CPU time: 3509.24 s
Current children cumulated vsize: 259124 KiB
Current children cumulated memory: 251120 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/251 323669
/proc/meminfo: memFree=123021052/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=263540 memory=262760 CPUtime=3569.05 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 247729 0 0 0 356604 301 0 0 20 0 1 0 43574552 269864960 65690 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 65885 65690 660 659 0 65089 0
Current children cumulated CPU time: 3569.05 s
Current children cumulated vsize: 273472 KiB
Current children cumulated memory: 265468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.4 s]
/proc/loadavg: 4.45 4.24 4.19 5/251 323673
/proc/meminfo: memFree=113639672/131655788 swapFree=131057508/131071996
[pid=321680] ppid=321677 vsize=9932 memory=2708 CPUtime=0 cores=0,2
/proc/321680/stat : 321680 (naps-1.03.sh) S 321677 321680 321382 0 -1 4194304 222 243 0 0 0 0 0 0 20 0 1 0 43574552 10170368 677 134679101440 93975448698880 93975449778200 140736254625024 0 0 0 65536 4 65538 0 0 0 17 0 0 0 0 0 0 93975451876656 93975451923844 93975474012160 140736254632929 140736254633054 140736254633054 140736254640072 0
/proc/321680/statm: 2483 677 600 264 0 134 0
[pid=321685] ppid=321680 vsize=303568 memory=302788 CPUtime=3600.04 cores=0,2
/proc/321685/stat : 321685 (naps-1.03) R 321680 321680 321382 0 -1 4194304 248981 0 0 0 359701 303 0 0 20 0 1 0 43574552 310853632 75697 134679101440 4194304 6891597 140736916642368 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 29966336 140736916648946 140736916649058 140736916649058 140736916656075 0
/proc/321685/statm: 75892 75697 660 659 0 75096 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 313500 KiB
Current children cumulated memory: 305496 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.02 s, system=3.04179 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): 3613.4
CPU time (s): 3600.06
CPU user time (s): 3597.02
CPU system time (s): 3.04179
CPU usage (%): 99.6309
Max. virtual memory (cumulated for all children) (KiB): 607392
Max. memory (cumulated for all children) (KiB): 588340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.02
system time used= 3.04179
maximum resident set size= 595556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249460
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= 55
involuntary context switches= 25190


# summary of solver processes directly reported to runsolver:
#   pid: 321680
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3597.02
#   total CPU system time (s): 3.04179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9869 second user time and 39.2881 second system time

The end