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: 63837 MiB (62792 MiB free)
  memory of node 1: 64465 MiB (46690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526330-1751630251/watcher-4526330-1751630251 -o /tmp/evaluation-result-4526330-1751630251/solver-4526330-1751630251 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751629980-90271 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4526330-1751630251.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=90423, runsolver pid=90420

[startup+0.100094 s]*
/proc/loadavg: 5.20 3.94 3.91 4/257 90427
/proc/meminfo: memFree=112109192/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=6836 memory=5312 CPUtime=0.08 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 912 0 0 0 8 0 0 0 20 0 1 0 78704471 7000064 1328 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 1709 1328 544 696 0 870 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 11028 KiB
Current children cumulated memory: 8256 KiB

[startup+0.214099 s]*
/proc/loadavg: 5.20 3.94 3.91 5/257 90427
/proc/meminfo: memFree=112105712/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=10124 memory=8364 CPUtime=0.19 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 1774 0 0 0 19 0 0 0 20 0 1 0 78704471 10366976 2091 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 2531 2091 544 696 0 1692 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 14316 KiB
Current children cumulated memory: 11308 KiB

[startup+0.313529 s]*
/proc/loadavg: 5.20 3.94 3.91 4/257 90427
/proc/meminfo: memFree=112101932/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=13928 memory=11892 CPUtime=0.29 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 2865 0 0 0 29 0 0 0 20 0 1 0 78704471 14262272 2973 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 3482 2973 544 696 0 2643 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18120 KiB
Current children cumulated memory: 14836 KiB

[startup+0.700385 s]
/proc/loadavg: 5.20 3.94 3.91 4/257 90427
/proc/meminfo: memFree=112094120/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=36664 memory=34804 CPUtime=0.66 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 8569 0 0 0 64 2 0 0 20 0 1 0 78704471 37543936 8701 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 9166 8701 544 696 0 8327 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 40856 KiB
Current children cumulated memory: 37748 KiB

[startup+1.50044 s]
/proc/loadavg: 5.20 3.94 3.91 5/258 90445
/proc/meminfo: memFree=112075664/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=57188 memory=54460 CPUtime=1.46 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 13997 0 0 0 137 9 0 0 20 0 1 0 78704471 58560512 13615 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 14297 13615 608 696 0 13458 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 61380 KiB
Current children cumulated memory: 57404 KiB

[startup+3.11375 s]
/proc/loadavg: 5.11 3.94 3.91 5/261 90467
/proc/meminfo: memFree=112030032/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=61148 memory=58380 CPUtime=3.07 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 17919 0 0 0 297 10 0 0 20 0 1 0 78704471 62615552 14595 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 15287 14595 640 696 0 14448 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 65340 KiB
Current children cumulated memory: 61324 KiB

[startup+6.3004 s]
/proc/loadavg: 5.11 3.94 3.91 5/261 90467
/proc/meminfo: memFree=111953460/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=62736 memory=59620 CPUtime=6.25 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 21611 0 0 0 615 10 0 0 20 0 1 0 78704471 64241664 14905 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 15684 14905 640 696 0 14845 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 66928 KiB
Current children cumulated memory: 62564 KiB

[startup+12.7004 s]
/proc/loadavg: 5.02 3.94 3.91 5/261 90467
/proc/meminfo: memFree=111907152/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=59596 memory=56608 CPUtime=12.62 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 25967 0 0 0 1251 11 0 0 20 0 1 0 78704471 61026304 14152 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 14899 14152 640 696 0 14060 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 63788 KiB
Current children cumulated memory: 59552 KiB

[startup+25.5004 s]
/proc/loadavg: 4.79 3.94 3.91 5/261 90467
/proc/meminfo: memFree=111798104/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=64976 memory=62148 CPUtime=25.38 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 31599 0 0 0 2525 13 0 0 20 0 1 0 78704471 66535424 15537 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 16244 15537 640 696 0 15405 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 69168 KiB
Current children cumulated memory: 65092 KiB

[startup+51.1138 s]
/proc/loadavg: 4.52 3.95 3.91 5/260 90564
/proc/meminfo: memFree=110568676/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=87588 memory=86104 CPUtime=50.91 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 40231 0 0 0 5075 16 0 0 20 0 1 0 78704471 89690112 21526 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 21897 21526 640 696 0 21058 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 91780 KiB
Current children cumulated memory: 89048 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 3.97 3.92 5/259 90709
/proc/meminfo: memFree=110349144/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=100872 memory=99540 CPUtime=101.94 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 48762 0 0 0 10175 19 0 0 20 0 1 0 78704471 103292928 24885 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 25218 24885 640 696 0 24379 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 105064 KiB
Current children cumulated memory: 102484 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.00 3.93 5/259 90902
/proc/meminfo: memFree=109442836/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=109344 memory=107864 CPUtime=161.75 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 53008 0 0 0 16154 21 0 0 20 0 1 0 78704471 111968256 26966 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 27336 26966 640 696 0 26497 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 113536 KiB
Current children cumulated memory: 110808 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.04 3.96 5/260 91064
/proc/meminfo: memFree=112723212/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=127160 memory=123216 CPUtime=221.55 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 61356 0 0 0 22130 25 0 0 20 0 1 0 78704471 130211840 30804 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 31790 30804 640 696 0 30951 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 131352 KiB

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

/proc/loadavg: 4.06 4.09 4.11 5/253 91194
/proc/meminfo: memFree=114635024/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=328788 memory=302008 CPUtime=3092.2 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 115513 0 0 0 309142 78 0 0 20 0 1 0 78704471 336678912 75502 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 82197 75502 640 696 0 81358 0
Current children cumulated CPU time: 3092.2 s
Current children cumulated vsize: 332980 KiB
Current children cumulated memory: 304952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.10 5/253 91196
/proc/meminfo: memFree=113999280/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=330604 memory=303824 CPUtime=3152.01 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 116436 0 0 0 315122 79 0 0 20 0 1 0 78704471 338538496 75956 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 82651 75956 640 696 0 81812 0
Current children cumulated CPU time: 3152.01 s
Current children cumulated vsize: 334796 KiB
Current children cumulated memory: 306768 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.10 4.10 5/254 91203
/proc/meminfo: memFree=113995272/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=329876 memory=303096 CPUtime=3211.82 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 117179 0 0 0 321102 80 0 0 20 0 1 0 78704471 337793024 75774 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 82469 75774 640 696 0 81630 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 334068 KiB
Current children cumulated memory: 306040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 91207
/proc/meminfo: memFree=113930708/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=337852 memory=323284 CPUtime=3271.63 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 119530 0 0 0 327081 82 0 0 20 0 1 0 78704471 345960448 80821 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 84463 80821 640 696 0 83624 0
Current children cumulated CPU time: 3271.63 s
Current children cumulated vsize: 342044 KiB
Current children cumulated memory: 326228 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/249 91217
/proc/meminfo: memFree=127329924/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=340056 memory=325592 CPUtime=3331.43 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 121565 0 0 0 333058 85 0 0 20 0 1 0 78704471 348217344 81398 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 85014 81398 640 696 0 84175 0
Current children cumulated CPU time: 3331.43 s
Current children cumulated vsize: 344248 KiB
Current children cumulated memory: 328536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/254 91306
/proc/meminfo: memFree=118408360/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=339320 memory=325112 CPUtime=3391.2 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 122173 0 0 0 339034 86 0 0 20 0 1 0 78704471 347463680 81278 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 84830 81278 640 696 0 83991 0
Current children cumulated CPU time: 3391.2 s
Current children cumulated vsize: 343512 KiB
Current children cumulated memory: 328056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/254 91308
/proc/meminfo: memFree=117148112/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=340880 memory=326672 CPUtime=3451 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 123490 0 0 0 345013 87 0 0 20 0 1 0 78704471 349061120 81668 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 85220 81668 640 696 0 84381 0
Current children cumulated CPU time: 3451 s
Current children cumulated vsize: 345072 KiB
Current children cumulated memory: 329616 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/253 91310
/proc/meminfo: memFree=116388616/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=340064 memory=325856 CPUtime=3510.84 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 124879 0 0 0 350995 89 0 0 20 0 1 0 78704471 348225536 81464 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 85016 81464 640 696 0 84177 0
Current children cumulated CPU time: 3510.84 s
Current children cumulated vsize: 344256 KiB
Current children cumulated memory: 328800 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 91313
/proc/meminfo: memFree=117007140/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=340616 memory=326408 CPUtime=3570.68 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 126979 0 0 0 356975 93 0 0 20 0 1 0 78704471 348790784 81602 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 85154 81602 640 696 0 84315 0
Current children cumulated CPU time: 3570.68 s
Current children cumulated vsize: 344808 KiB
Current children cumulated memory: 329352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 91315
/proc/meminfo: memFree=116672748/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=340076 memory=325868 CPUtime=3600 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 127684 0 0 0 359906 94 0 0 20 0 1 0 78704471 348237824 81467 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 85019 81467 640 696 0 84180 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 344268 KiB
Current children cumulated memory: 328812 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.07 s, system=0.954749 s

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

[startup+3611.7 s]
/proc/loadavg: 4.13 4.10 4.09 5/254 91315
/proc/meminfo: memFree=116672748/131382112 swapFree=33002444/33010684
[pid=90423] ppid=90420 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/90423/stat : 90423 (naps-1.03a6.sh) S 90420 90423 90260 0 -1 4194304 227 203 0 0 0 0 0 0 20 0 1 0 78704469 4292608 736 18446744073709551615 94686231064576 94686231959109 140734427482960 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94686232198160 94686232245904 94686260547584 140734427486629 140734427486723 140734427486723 140734427492327 0
/proc/90423/statm: 1048 736 672 219 0 110 0
[pid=90427] ppid=90423 vsize=340076 memory=325868 CPUtime=3600 cores=4,6
/proc/90427/stat : 90427 (naps-1.03a6) R 90423 90423 90260 0 -1 4194304 127684 0 0 0 359906 94 0 0 20 0 1 0 78704471 348237824 81467 18446744073709551615 4198400 7047149 140727972768576 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24252416 140727972772210 140727972772324 140727972772324 140727972777929 0
/proc/90427/statm: 85019 81467 640 696 0 84180 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 344268 KiB
Current children cumulated memory: 328812 KiB

Child status: 10

Real time (s): 3611.7
CPU time (s): 3600.03
CPU user time (s): 3599.07
CPU system time (s): 0.954749
CPU usage (%): 99.6767
Max. virtual memory (cumulated for all children) (KiB): 405480
Max. memory (cumulated for all children) (KiB): 379164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.07
system time used= 0.954749
maximum resident set size= 376220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128127
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= 178
involuntary context switches= 18870


# summary of solver processes directly reported to runsolver:
#   pid: 90423
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3599.07
#   total CPU system time (s): 0.954749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0072 second user time and 35.7007 second system time

The end