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: 63665 MiB (58016 MiB free)
  memory of node 1: 64507 MiB (45479 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4524629-1751616154/watcher-4524629-1751616154 -o /tmp/evaluation-result-4524629-1751616154/solver-4524629-1751616154 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751616154-86498 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4524629-1751616154.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=86559, runsolver pid=86542
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.53 0.98 1.47 7/269 86566
/proc/meminfo: memFree=105937764/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=24308 memory=22708 CPUtime=0.08 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 5738 0 0 0 7 1 0 0 20 0 1 0 77294292 24891392 5677 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 6077 5677 576 696 0 5238 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 28500 KiB
Current children cumulated memory: 25652 KiB

[startup+0.204704 s]*
/proc/loadavg: 0.53 0.98 1.47 6/269 86566
/proc/meminfo: memFree=105920376/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=39472 memory=36668 CPUtime=0.18 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 9097 0 0 0 17 1 0 0 20 0 1 0 77294292 40419328 9167 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 9868 9167 608 696 0 9029 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 43664 KiB
Current children cumulated memory: 39612 KiB

[startup+0.304902 s]*
/proc/loadavg: 0.53 0.98 1.47 6/269 86566
/proc/meminfo: memFree=105903744/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=43392 memory=40740 CPUtime=0.28 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 9599 0 0 0 27 1 0 0 20 0 1 0 77294292 44433408 10185 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 10848 10185 608 696 0 10009 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 47584 KiB
Current children cumulated memory: 43684 KiB

[startup+0.700162 s]
/proc/loadavg: 0.53 0.98 1.47 6/269 86566
/proc/meminfo: memFree=105887048/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=45104 memory=42788 CPUtime=0.67 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 16069 0 0 0 65 2 0 0 20 0 1 0 77294292 46186496 10697 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 11276 10697 608 696 0 10437 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 49296 KiB
Current children cumulated memory: 45732 KiB

[startup+1.50015 s]
/proc/loadavg: 0.53 0.98 1.47 6/269 86566
/proc/meminfo: memFree=105875272/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=57392 memory=51056 CPUtime=1.47 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 17124 0 0 0 145 2 0 0 20 0 1 0 77294292 58769408 12764 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 14348 12764 608 696 0 13509 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 61584 KiB
Current children cumulated memory: 54000 KiB

[startup+3.10486 s]
/proc/loadavg: 0.81 1.04 1.49 6/269 86566
/proc/meminfo: memFree=105871140/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=57392 memory=51056 CPUtime=3.07 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 17142 0 0 0 305 2 0 0 20 0 1 0 77294292 58769408 12764 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 14348 12764 608 696 0 13509 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 61584 KiB
Current children cumulated memory: 54000 KiB

[startup+6.30013 s]
/proc/loadavg: 0.81 1.04 1.49 6/269 86566
/proc/meminfo: memFree=105869720/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=57392 memory=51056 CPUtime=6.26 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 17142 0 0 0 624 2 0 0 20 0 1 0 77294292 58769408 12764 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 14348 12764 608 696 0 13509 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 61584 KiB
Current children cumulated memory: 54000 KiB

[startup+12.7001 s]
/proc/loadavg: 1.30 1.13 1.52 6/269 86566
/proc/meminfo: memFree=105870224/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=66048 memory=59692 CPUtime=12.65 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 18798 0 0 0 1262 3 0 0 20 0 1 0 77294292 67633152 14923 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 16512 14923 608 696 0 15673 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 70240 KiB
Current children cumulated memory: 62636 KiB

[startup+25.5001 s]
/proc/loadavg: 1.79 1.24 1.55 6/269 86566
/proc/meminfo: memFree=105849212/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=72128 memory=65836 CPUtime=25.41 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 20318 0 0 0 2538 3 0 0 20 0 1 0 77294292 73859072 16459 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 18032 16459 608 696 0 17193 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 76320 KiB
Current children cumulated memory: 68780 KiB

[startup+51.1053 s]
/proc/loadavg: 2.54 1.47 1.61 6/269 86566
/proc/meminfo: memFree=105837052/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=74260 memory=67888 CPUtime=50.95 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 23746 0 0 0 5091 4 0 0 20 0 1 0 77294292 76042240 16972 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 18565 16972 608 696 0 17726 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 78452 KiB
Current children cumulated memory: 70832 KiB

[startup+102.3 s]
/proc/loadavg: 3.46 1.91 1.76 6/269 86568
/proc/meminfo: memFree=105757364/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=144860 memory=131808 CPUtime=102.02 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 29623 0 0 0 10194 8 0 0 20 0 1 0 77294292 148336640 32952 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 36215 32952 608 696 0 35376 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 149052 KiB
Current children cumulated memory: 134752 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.32 1.91 6/269 86570
/proc/meminfo: memFree=105699788/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=149200 memory=143280 CPUtime=161.86 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 31674 0 0 0 16176 10 0 0 20 0 1 0 77294292 152780800 35820 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 37300 35820 608 696 0 36461 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 153392 KiB
Current children cumulated memory: 146224 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.63 2.05 6/269 86572
/proc/meminfo: memFree=105741276/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=124368 memory=118448 CPUtime=221.72 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 33991 0 0 0 22161 11 0 0 20 0 1 0 77294292 127352832 29612 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 31092 29612 608 696 0 30253 0
Current children cumulated CPU time: 221.72 s

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

/proc/loadavg: 4.17 4.13 4.03 6/268 86711
/proc/meminfo: memFree=105260772/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=228140 memory=222264 CPUtime=3034.91 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 132815 0 0 0 303301 190 0 0 20 0 1 0 77294292 233615360 55566 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 57035 55566 608 696 0 56196 0
Current children cumulated CPU time: 3034.91 s
Current children cumulated vsize: 232332 KiB
Current children cumulated memory: 225208 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.03 6/268 86713
/proc/meminfo: memFree=105340836/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=226388 memory=220512 CPUtime=3094.75 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 135772 0 0 0 309278 197 0 0 20 0 1 0 77294292 231821312 55128 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 56597 55128 608 696 0 55758 0
Current children cumulated CPU time: 3094.75 s
Current children cumulated vsize: 230580 KiB
Current children cumulated memory: 223456 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.03 6/269 86716
/proc/meminfo: memFree=105240696/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=219436 memory=213560 CPUtime=3154.61 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 137582 0 0 0 315260 201 0 0 20 0 1 0 77294292 224702464 53390 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 54859 53390 608 696 0 54020 0
Current children cumulated CPU time: 3154.61 s
Current children cumulated vsize: 223628 KiB
Current children cumulated memory: 216504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.04 6/268 86718
/proc/meminfo: memFree=105261332/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=232076 memory=226200 CPUtime=3214.46 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 139271 0 0 0 321240 206 0 0 20 0 1 0 77294292 237645824 56550 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 58019 56550 608 696 0 57180 0
Current children cumulated CPU time: 3214.46 s
Current children cumulated vsize: 236268 KiB
Current children cumulated memory: 229144 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.09 4.03 6/268 86720
/proc/meminfo: memFree=105196616/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=238000 memory=232124 CPUtime=3274.31 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 140641 0 0 0 327223 208 0 0 20 0 1 0 77294292 243712000 58031 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 59500 58031 608 696 0 58661 0
Current children cumulated CPU time: 3274.31 s
Current children cumulated vsize: 242192 KiB
Current children cumulated memory: 235068 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.04 6/268 86722
/proc/meminfo: memFree=105234708/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=231372 memory=225496 CPUtime=3334.17 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 142954 0 0 0 333204 213 0 0 20 0 1 0 77294292 236924928 56374 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 57843 56374 608 696 0 57004 0
Current children cumulated CPU time: 3334.17 s
Current children cumulated vsize: 235564 KiB
Current children cumulated memory: 228440 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.04 6/269 86725
/proc/meminfo: memFree=105269688/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=230520 memory=224644 CPUtime=3394.02 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 144399 0 0 0 339186 216 0 0 20 0 1 0 77294292 236052480 56161 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 57630 56161 608 696 0 56791 0
Current children cumulated CPU time: 3394.02 s
Current children cumulated vsize: 234712 KiB
Current children cumulated memory: 227588 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/268 86727
/proc/meminfo: memFree=105237432/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=225200 memory=219324 CPUtime=3453.87 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 146399 0 0 0 345166 221 0 0 20 0 1 0 77294292 230604800 54831 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 56300 54831 608 696 0 55461 0
Current children cumulated CPU time: 3453.87 s
Current children cumulated vsize: 229392 KiB
Current children cumulated memory: 222268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.04 6/268 86740
/proc/meminfo: memFree=105183792/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=252256 memory=246380 CPUtime=3513.72 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 147869 0 0 0 351146 226 0 0 20 0 1 0 77294292 258310144 61595 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 63064 61595 608 696 0 62225 0
Current children cumulated CPU time: 3513.72 s
Current children cumulated vsize: 256448 KiB
Current children cumulated memory: 249324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/268 86744
/proc/meminfo: memFree=105197144/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=223996 memory=218120 CPUtime=3573.57 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 149638 0 0 0 357126 231 0 0 20 0 1 0 77294292 229371904 54530 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 55999 54530 608 696 0 55160 0
Current children cumulated CPU time: 3573.57 s
Current children cumulated vsize: 228188 KiB
Current children cumulated memory: 221064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.8 s]
/proc/loadavg: 4.11 4.09 4.04 6/267 86744
/proc/meminfo: memFree=105122084/131249988 swapFree=33010160/33010684
[pid=86559] ppid=86542 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/86559/stat : 86559 (naps-1.03a6.sh) S 86542 86559 86480 0 -1 4194304 229 203 0 0 0 0 0 0 20 0 1 0 77294291 4292608 736 18446744073709551615 94196024250368 94196025144901 140723995997984 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94196025383952 94196025431696 94196029980672 140723996006821 140723996006915 140723996006915 140723996012519 0
/proc/86559/statm: 1048 736 672 219 0 110 0
[pid=86566] ppid=86559 vsize=278900 memory=271844 CPUtime=3600.01 cores=5,7
/proc/86566/stat : 86566 (naps-1.03a6) R 86559 86559 86480 0 -1 4194304 150305 0 0 0 359768 233 0 0 20 0 1 0 77294292 285593600 67961 18446744073709551615 4198400 7047149 140735888802784 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7573272 7623312 7696384 140735888804210 140735888804324 140735888804324 140735888809929 0
/proc/86566/statm: 69725 67961 608 696 0 68886 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 283092 KiB
Current children cumulated memory: 274788 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3597.68 s, system=2.33844 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): 3608.8
CPU time (s): 3600.02
CPU user time (s): 3597.68
CPU system time (s): 2.33844
CPU usage (%): 99.7567
Max. virtual memory (cumulated for all children) (KiB): 343692
Max. memory (cumulated for all children) (KiB): 328300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.68
system time used= 2.33844
maximum resident set size= 347748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150749
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= 167
involuntary context switches= 2514


# summary of solver processes directly reported to runsolver:
#   pid: 86559
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3597.68
#   total CPU system time (s): 2.33844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.7353 second user time and 13.9801 second system time

The end