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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4486370-1751314303/watcher-4486370-1751314303 -o /tmp/evaluation-result-4486370-1751314303/solver-4486370-1751314303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751305074-43433 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4486370-1751314303.opb 

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=44973, runsolver pid=44970

[startup+0.100105 s]*
/proc/loadavg: 4.24 4.15 4.15 5/254 44977
/proc/meminfo: memFree=121143716/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=6592 memory=4864 CPUtime=0.08 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 768 0 0 0 8 0 0 0 20 0 1 0 47109687 6750208 1216 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 1648 1216 544 696 0 809 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10784 KiB
Current children cumulated memory: 7808 KiB

[startup+0.213345 s]*
/proc/loadavg: 4.24 4.15 4.15 5/254 44977
/proc/meminfo: memFree=121559952/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=7548 memory=5888 CPUtime=0.2 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 1021 0 0 0 20 0 0 0 20 0 1 0 47109687 7729152 1472 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 1887 1472 544 696 0 1048 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11740 KiB
Current children cumulated memory: 8832 KiB

[startup+0.313303 s]*
/proc/loadavg: 4.24 4.15 4.15 5/254 44977
/proc/meminfo: memFree=121559952/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=8064 memory=6528 CPUtime=0.29 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 1158 0 0 0 29 0 0 0 20 0 1 0 47109687 8257536 1632 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 2016 1632 544 696 0 1177 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 12256 KiB
Current children cumulated memory: 9472 KiB

[startup+0.700402 s]
/proc/loadavg: 4.24 4.15 4.15 5/254 44977
/proc/meminfo: memFree=121367000/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=18704 memory=16896 CPUtime=0.67 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 3809 0 0 0 66 1 0 0 20 0 1 0 47109687 19152896 4224 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 4676 4224 544 696 0 3837 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 22896 KiB
Current children cumulated memory: 19840 KiB

[startup+1.5004 s]
/proc/loadavg: 4.24 4.15 4.15 5/254 44977
/proc/meminfo: memFree=121343816/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=61620 memory=59888 CPUtime=1.46 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 15349 0 0 0 142 4 0 0 20 0 1 0 47109687 63098880 14972 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 15405 14972 576 696 0 14566 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 65812 KiB
Current children cumulated memory: 62832 KiB

[startup+3.11306 s]
/proc/loadavg: 4.30 4.16 4.16 5/254 44977
/proc/meminfo: memFree=121447548/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=171412 memory=165128 CPUtime=3.08 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 38608 0 0 0 296 12 0 0 20 0 1 0 47109687 175525888 41282 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 42853 41282 608 696 0 42014 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 175604 KiB
Current children cumulated memory: 168072 KiB

[startup+6.30039 s]
/proc/loadavg: 4.30 4.16 4.16 5/254 44977
/proc/meminfo: memFree=121108260/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=283668 memory=275280 CPUtime=6.25 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 52838 0 0 0 610 15 0 0 20 0 1 0 47109687 290476032 68820 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 70917 68820 640 696 0 70078 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 287860 KiB
Current children cumulated memory: 278224 KiB

[startup+12.7004 s]
/proc/loadavg: 4.35 4.18 4.16 5/254 44977
/proc/meminfo: memFree=120426120/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=272932 memory=264580 CPUtime=12.63 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 55370 0 0 0 1246 17 0 0 20 0 1 0 47109687 279482368 66145 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 68233 66145 640 696 0 67394 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 277124 KiB
Current children cumulated memory: 267524 KiB

[startup+25.5004 s]
/proc/loadavg: 4.58 4.23 4.18 5/254 44977
/proc/meminfo: memFree=121051104/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=292548 memory=284508 CPUtime=25.39 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 56272 0 0 0 2521 18 0 0 20 0 1 0 47109687 299569152 71127 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 73137 71127 640 696 0 72298 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 296740 KiB
Current children cumulated memory: 287452 KiB

[startup+51.1131 s]
/proc/loadavg: 4.78 4.31 4.21 5/254 44977
/proc/meminfo: memFree=121045468/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=292548 memory=284892 CPUtime=50.92 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 56393 0 0 0 5074 18 0 0 20 0 1 0 47109687 299569152 71223 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 73137 71223 640 696 0 72298 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 296740 KiB
Current children cumulated memory: 287836 KiB

[startup+102.3 s]
/proc/loadavg: 4.47 4.31 4.21 5/254 44979
/proc/meminfo: memFree=121128124/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=301072 memory=293480 CPUtime=101.93 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 58451 0 0 0 10173 20 0 0 20 0 1 0 47109687 308297728 73370 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 75268 73370 640 696 0 74429 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 305264 KiB
Current children cumulated memory: 296424 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.28 4.21 5/254 44981
/proc/meminfo: memFree=121191300/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=310820 memory=303144 CPUtime=161.73 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 59402 0 0 0 16153 20 0 0 20 0 1 0 47109687 318279680 75786 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 77705 75786 640 696 0 76866 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 315012 KiB
Current children cumulated memory: 306088 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.24 4.20 5/254 44983
/proc/meminfo: memFree=120832692/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=312284 memory=304680 CPUtime=221.54 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 59800 0 0 0 22134 20 0 0 20 0 1 0 47109687 319778816 76170 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 78071 76170 640 696 0 77232 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 316476 KiB

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

/proc/loadavg: 1.22 1.56 2.19 2/233 45216
/proc/meminfo: memFree=126856384/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=404052 memory=400804 CPUtime=3033.21 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 100728 0 0 0 303209 112 0 0 20 0 1 0 47109687 413749248 100201 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101013 100201 640 696 0 100174 0
Current children cumulated CPU time: 3033.21 s
Current children cumulated vsize: 408244 KiB
Current children cumulated memory: 403748 KiB

[startup+3102.3 s]
/proc/loadavg: 1.17 1.49 2.13 2/233 45218
/proc/meminfo: memFree=126855112/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=405324 memory=402076 CPUtime=3093.05 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 101586 0 0 0 309191 114 0 0 20 0 1 0 47109687 415051776 100519 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101331 100519 640 696 0 100492 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 409516 KiB
Current children cumulated memory: 405020 KiB

[startup+3162.3 s]
/proc/loadavg: 1.10 1.41 2.06 2/233 45220
/proc/meminfo: memFree=126855188/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=405260 memory=402012 CPUtime=3152.9 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 102286 0 0 0 315175 115 0 0 20 0 1 0 47109687 414986240 100503 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101315 100503 640 696 0 100476 0
Current children cumulated CPU time: 3152.9 s
Current children cumulated vsize: 409452 KiB
Current children cumulated memory: 404956 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.36 2.00 2/233 45222
/proc/meminfo: memFree=126862152/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=404840 memory=401592 CPUtime=3212.75 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 102963 0 0 0 321159 116 0 0 20 0 1 0 47109687 414556160 100398 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101210 100398 640 696 0 100371 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 409032 KiB
Current children cumulated memory: 404536 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.31 1.94 2/233 45224
/proc/meminfo: memFree=126880332/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=405304 memory=402052 CPUtime=3272.59 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 103174 0 0 0 327142 117 0 0 20 0 1 0 47109687 415031296 100513 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101326 100513 640 696 0 100487 0
Current children cumulated CPU time: 3272.59 s
Current children cumulated vsize: 409496 KiB
Current children cumulated memory: 404996 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.28 1.89 2/233 45226
/proc/meminfo: memFree=126859696/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=406356 memory=403108 CPUtime=3332.44 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 104215 0 0 0 333126 118 0 0 20 0 1 0 47109687 416108544 100777 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101589 100777 640 696 0 100750 0
Current children cumulated CPU time: 3332.44 s
Current children cumulated vsize: 410548 KiB
Current children cumulated memory: 406052 KiB

[startup+3402.3 s]
/proc/loadavg: 1.12 1.25 1.84 2/233 45228
/proc/meminfo: memFree=126858404/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=407260 memory=404012 CPUtime=3392.28 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 104399 0 0 0 339109 119 0 0 20 0 1 0 47109687 417034240 101003 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101815 101003 640 696 0 100976 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 411452 KiB
Current children cumulated memory: 406956 KiB

[startup+3462.3 s]
/proc/loadavg: 1.09 1.21 1.79 2/233 45230
/proc/meminfo: memFree=126858908/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=407280 memory=404032 CPUtime=3452.14 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 105193 0 0 0 345092 122 0 0 20 0 1 0 47109687 417054720 101008 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101820 101008 640 696 0 100981 0
Current children cumulated CPU time: 3452.14 s
Current children cumulated vsize: 411472 KiB
Current children cumulated memory: 406976 KiB

[startup+3522.3 s]
/proc/loadavg: 1.14 1.20 1.75 2/232 45234
/proc/meminfo: memFree=126857616/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=406928 memory=403732 CPUtime=3511.98 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 105907 0 0 0 351075 123 0 0 20 0 1 0 47109687 416694272 100933 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101732 100933 640 696 0 100893 0
Current children cumulated CPU time: 3511.98 s
Current children cumulated vsize: 411120 KiB
Current children cumulated memory: 406676 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.18 1.70 2/233 45241
/proc/meminfo: memFree=126860596/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=407816 memory=404568 CPUtime=3571.83 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 106217 0 0 0 357059 124 0 0 20 0 1 0 47109687 417603584 101142 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101954 101142 640 696 0 101115 0
Current children cumulated CPU time: 3571.83 s
Current children cumulated vsize: 412008 KiB
Current children cumulated memory: 407512 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 1.13 1.18 1.69 2/235 45244
/proc/meminfo: memFree=126835868/131382112 swapFree=33010684/33010684
[pid=44973] ppid=44970 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/44973/stat : 44973 (naps-1.03a6.sh) S 44970 44973 43422 0 -1 4194304 230 203 0 0 0 0 0 0 20 0 1 0 47109685 4292608 736 18446744073709551615 94240095694848 94240096589381 140721378890560 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94240096828432 94240096876176 94240098041856 140721378892199 140721378892293 140721378892293 140721378897895 0
/proc/44973/statm: 1048 736 672 219 0 110 0
[pid=44977] ppid=44973 vsize=407848 memory=404600 CPUtime=3600.05 cores=4,6
/proc/44977/stat : 44977 (naps-1.03a6) R 44973 44973 43422 0 -1 4194304 106534 0 0 0 359880 125 0 0 20 0 1 0 47109687 417636352 101150 18446744073709551615 4198400 7047149 140723036081728 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 23965696 140723036088692 140723036088806 140723036088806 140723036094409 0
/proc/44977/statm: 101962 101150 640 696 0 101123 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 412040 KiB
Current children cumulated memory: 407544 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.81 s, system=1.26607 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): 3610.6
CPU time (s): 3600.08
CPU user time (s): 3598.81
CPU system time (s): 1.26607
CPU usage (%): 99.7085
Max. virtual memory (cumulated for all children) (KiB): 514824
Max. memory (cumulated for all children) (KiB): 507056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.81
system time used= 1.26607
maximum resident set size= 504112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106980
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= 196
involuntary context switches= 18851


# summary of solver processes directly reported to runsolver:
#   pid: 44973
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.81
#   total CPU system time (s): 1.26607

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8536 second user time and 35.72 second system time

The end