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

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

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=44766, runsolver pid=44763

[startup+0.100104 s]*
/proc/loadavg: 4.14 4.13 4.15 5/254 44770
/proc/meminfo: memFree=107297360/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=5596 memory=4096 CPUtime=0.09 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 550 0 0 0 9 0 0 0 20 0 1 0 46910350 5730304 1024 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 1399 1024 544 696 0 560 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9788 KiB
Current children cumulated memory: 7168 KiB

[startup+0.213401 s]*
/proc/loadavg: 4.14 4.13 4.15 5/254 44770
/proc/meminfo: memFree=107297360/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=7024 memory=5504 CPUtime=0.2 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 921 0 0 0 20 0 0 0 20 0 1 0 46910350 7192576 1376 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 1756 1376 544 696 0 917 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 11216 KiB
Current children cumulated memory: 8576 KiB

[startup+0.313305 s]*
/proc/loadavg: 4.14 4.13 4.15 5/254 44770
/proc/meminfo: memFree=107297344/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=10268 memory=8704 CPUtime=0.29 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 1720 0 0 0 29 0 0 0 20 0 1 0 46910350 10514432 2176 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 2567 2176 544 696 0 1728 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14460 KiB
Current children cumulated memory: 11776 KiB

[startup+0.700389 s]
/proc/loadavg: 4.21 4.15 4.15 5/254 44770
/proc/meminfo: memFree=107293248/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=22412 memory=20772 CPUtime=0.67 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 5007 0 0 0 65 2 0 0 20 0 1 0 46910350 22949888 5193 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 5603 5193 576 696 0 4764 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 26604 KiB
Current children cumulated memory: 23844 KiB

[startup+1.50042 s]
/proc/loadavg: 4.21 4.15 4.15 5/254 44770
/proc/meminfo: memFree=107219020/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=77348 memory=71720 CPUtime=1.47 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 17716 0 0 0 140 7 0 0 20 0 1 0 46910350 79204352 17930 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 19337 17930 608 696 0 18498 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 81540 KiB
Current children cumulated memory: 74792 KiB

[startup+3.11308 s]
/proc/loadavg: 4.21 4.15 4.15 5/254 44770
/proc/meminfo: memFree=107237100/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=84664 memory=81360 CPUtime=3.08 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 21521 0 0 0 300 8 0 0 20 0 1 0 46910350 86695936 20340 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 21166 20340 640 696 0 20327 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 88856 KiB
Current children cumulated memory: 84432 KiB

[startup+6.30041 s]
/proc/loadavg: 4.19 4.14 4.15 5/254 44770
/proc/meminfo: memFree=107788492/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=84664 memory=81488 CPUtime=6.25 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 21552 0 0 0 617 8 0 0 20 0 1 0 46910350 86695936 20372 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 21166 20372 640 696 0 20327 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 88856 KiB
Current children cumulated memory: 84560 KiB

[startup+12.7004 s]
/proc/loadavg: 4.18 4.14 4.15 5/254 44770
/proc/meminfo: memFree=107509472/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=82628 memory=77164 CPUtime=12.63 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 23089 0 0 0 1255 8 0 0 20 0 1 0 46910350 84611072 19291 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 20657 19291 640 696 0 19818 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 86820 KiB
Current children cumulated memory: 80236 KiB

[startup+25.5005 s]
/proc/loadavg: 4.23 4.15 4.16 5/253 44771
/proc/meminfo: memFree=106534380/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=87884 memory=82540 CPUtime=25.38 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 23896 0 0 0 2530 8 0 0 20 0 1 0 46910350 89993216 20635 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 21971 20635 640 696 0 21132 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 92076 KiB
Current children cumulated memory: 85612 KiB

[startup+51.1131 s]
/proc/loadavg: 4.14 4.14 4.15 5/253 44771
/proc/meminfo: memFree=107297056/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=87748 memory=82284 CPUtime=50.91 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 27972 0 0 0 5082 9 0 0 20 0 1 0 46910350 89853952 20571 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 21937 20571 640 696 0 21098 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 91940 KiB
Current children cumulated memory: 85356 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.15 4.15 5/256 44780
/proc/meminfo: memFree=107664412/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=96312 memory=90860 CPUtime=101.94 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 29604 0 0 0 10184 10 0 0 20 0 1 0 46910350 98623488 22715 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 24078 22715 640 696 0 23239 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 100504 KiB
Current children cumulated memory: 93932 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.15 5/256 44782
/proc/meminfo: memFree=107367340/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=106764 memory=101356 CPUtime=161.74 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 31766 0 0 0 16164 10 0 0 20 0 1 0 46910350 109326336 25339 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 26691 25339 640 696 0 25852 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 110956 KiB
Current children cumulated memory: 104428 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.14 4.15 5/256 44784
/proc/meminfo: memFree=107513024/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=89620 memory=84404 CPUtime=221.54 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 32913 0 0 0 22143 11 0 0 20 0 1 0 46910350 91770880 21101 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 22405 21101 640 696 0 21566 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 93812 KiB

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

/proc/loadavg: 4.43 4.19 4.17 5/254 45021
/proc/meminfo: memFree=120857792/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=197640 memory=194284 CPUtime=3032.47 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 69765 0 0 0 303205 42 0 0 20 0 1 0 46910350 202383360 48571 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 49410 48571 640 696 0 48571 0
Current children cumulated CPU time: 3032.47 s
Current children cumulated vsize: 201832 KiB
Current children cumulated memory: 197356 KiB

[startup+3102.3 s]
/proc/loadavg: 4.61 4.30 4.21 5/254 45027
/proc/meminfo: memFree=120821724/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=221924 memory=218604 CPUtime=3092.26 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 70217 0 0 0 309184 42 0 0 20 0 1 0 46910350 227250176 54651 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 55481 54651 640 696 0 54642 0
Current children cumulated CPU time: 3092.26 s
Current children cumulated vsize: 226116 KiB
Current children cumulated memory: 221676 KiB

[startup+3162.3 s]
/proc/loadavg: 4.27 4.26 4.20 5/254 45029
/proc/meminfo: memFree=121030384/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=221924 memory=218604 CPUtime=3152.06 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 70260 0 0 0 315164 42 0 0 20 0 1 0 46910350 227250176 54651 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 55481 54651 640 696 0 54642 0
Current children cumulated CPU time: 3152.06 s
Current children cumulated vsize: 226116 KiB
Current children cumulated memory: 221676 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.22 4.18 5/254 45031
/proc/meminfo: memFree=121027608/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=173616 memory=170448 CPUtime=3211.86 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 71825 0 0 0 321142 44 0 0 20 0 1 0 46910350 177782784 42612 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 43404 42612 640 696 0 42565 0
Current children cumulated CPU time: 3211.86 s
Current children cumulated vsize: 177808 KiB
Current children cumulated memory: 173520 KiB

[startup+3282.3 s]
/proc/loadavg: 3.81 4.13 4.15 4/247 45064
/proc/meminfo: memFree=126272072/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=172500 memory=169332 CPUtime=3271.66 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 72605 0 0 0 327120 46 0 0 20 0 1 0 46910350 176640000 42333 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 43125 42333 640 696 0 42286 0
Current children cumulated CPU time: 3271.66 s
Current children cumulated vsize: 176692 KiB
Current children cumulated memory: 172404 KiB

[startup+3342.3 s]
/proc/loadavg: 3.29 3.92 4.08 4/247 45065
/proc/meminfo: memFree=126309136/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=192496 memory=190828 CPUtime=3331.47 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 72713 0 0 0 333100 47 0 0 20 0 1 0 46910350 197115904 47707 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 48124 47707 640 696 0 47285 0
Current children cumulated CPU time: 3331.47 s
Current children cumulated vsize: 196688 KiB
Current children cumulated memory: 193900 KiB

[startup+3402.3 s]
/proc/loadavg: 3.22 3.78 4.02 4/247 45067
/proc/meminfo: memFree=126250348/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=236596 memory=235156 CPUtime=3391.32 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 73197 0 0 0 339083 49 0 0 20 0 1 0 46910350 242274304 58789 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 59149 58789 640 696 0 58310 0
Current children cumulated CPU time: 3391.32 s
Current children cumulated vsize: 240788 KiB
Current children cumulated memory: 238228 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.65 3.96 4/247 45069
/proc/meminfo: memFree=126277892/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=237344 memory=235904 CPUtime=3451.16 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 73681 0 0 0 345066 50 0 0 20 0 1 0 46910350 243040256 58976 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 59336 58976 640 696 0 58497 0
Current children cumulated CPU time: 3451.16 s
Current children cumulated vsize: 241536 KiB
Current children cumulated memory: 238976 KiB

[startup+3522.3 s]
/proc/loadavg: 3.09 3.55 3.90 4/247 45071
/proc/meminfo: memFree=126217360/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=225216 memory=223776 CPUtime=3511 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 74263 0 0 0 351049 51 0 0 20 0 1 0 46910350 230621184 55944 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 56304 55944 640 696 0 55465 0
Current children cumulated CPU time: 3511 s
Current children cumulated vsize: 229408 KiB
Current children cumulated memory: 226848 KiB

[startup+3582.3 s]
/proc/loadavg: 3.09 3.46 3.85 4/247 45073
/proc/meminfo: memFree=126246364/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=192496 memory=191120 CPUtime=3570.84 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 74276 0 0 0 357033 51 0 0 20 0 1 0 46910350 197115904 47780 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 48124 47780 640 696 0 47285 0
Current children cumulated CPU time: 3570.84 s
Current children cumulated vsize: 196688 KiB
Current children cumulated memory: 194192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 3.06 3.42 3.82 4/247 45074
/proc/meminfo: memFree=126281704/131382112 swapFree=33010684/33010684
[pid=44766] ppid=44763 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/44766/stat : 44766 (naps-1.03a6.sh) S 44763 44766 43422 0 -1 4194304 229 207 0 0 0 0 0 0 20 0 1 0 46910348 4292608 768 18446744073709551615 93879416770560 93879417665093 140728393994736 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93879417904144 93879417951888 93879421550592 140728393996711 140728393996805 140728393996805 140728394002407 0
/proc/44766/statm: 1048 768 704 219 0 110 0
[pid=44770] ppid=44766 vsize=192496 memory=191120 CPUtime=3600.06 cores=0,2
/proc/44770/stat : 44770 (naps-1.03a6) R 44766 44766 43422 0 -1 4194304 74276 0 0 0 359955 51 0 0 20 0 1 0 46910350 197115904 47780 18446744073709551615 4198400 7047149 140721024039136 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7573272 7623312 29282304 140721024043380 140721024043494 140721024043494 140721024049097 0
/proc/44770/statm: 48124 47780 640 696 0 47285 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 196688 KiB
Current children cumulated memory: 194192 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.56 s, system=0.518985 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): 3611.6
CPU time (s): 3600.08
CPU user time (s): 3599.56
CPU system time (s): 0.518985
CPU usage (%): 99.681
Max. virtual memory (cumulated for all children) (KiB): 264040
Max. memory (cumulated for all children) (KiB): 259560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.56
system time used= 0.518985
maximum resident set size= 256488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74724
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= 162
involuntary context switches= 8787


# summary of solver processes directly reported to runsolver:
#   pid: 44766
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.56
#   total CPU system time (s): 0.518985

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6663 second user time and 39.931 second system time

The end