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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519782-1751563451/watcher-4519782-1751563451 -o /tmp/evaluation-result-4519782-1751563451/solver-4519782-1751563451 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1751563451-82665 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4519782-1751563451.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
solver pid=82714, runsolver pid=82707
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 0.32 1.00 1.71 5/259 82737
/proc/meminfo: memFree=129054588/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=5280 memory=3584 CPUtime=0.03 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 445 0 0 0 3 0 0 0 20 0 1 0 72024332 5406720 896 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 1320 896 544 696 0 481 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 9472 KiB
Current children cumulated memory: 6656 KiB

[startup+0.215317 s]*
/proc/loadavg: 0.32 1.00 1.71 6/259 82737
/proc/meminfo: memFree=129029664/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=21124 memory=18732 CPUtime=0.15 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 4625 0 0 0 13 2 0 0 20 0 1 0 72024332 21630976 4683 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 5281 4683 576 696 0 4442 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 25316 KiB
Current children cumulated memory: 21804 KiB

[startup+0.315176 s]*
/proc/loadavg: 0.32 1.00 1.71 5/259 82737
/proc/meminfo: memFree=128994888/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=42544 memory=38968 CPUtime=0.24 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 9776 0 0 0 20 4 0 0 20 0 1 0 72024332 43565056 9742 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 10636 9742 576 696 0 9797 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 46736 KiB
Current children cumulated memory: 42040 KiB

[startup+0.700448 s]
/proc/loadavg: 0.32 1.00 1.71 5/259 82737
/proc/meminfo: memFree=128950848/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=49136 memory=44728 CPUtime=0.61 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 11196 0 0 0 57 4 0 0 20 0 1 0 72024332 50315264 11182 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 12284 11182 608 696 0 11445 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 53328 KiB
Current children cumulated memory: 47800 KiB

[startup+1.50046 s]
/proc/loadavg: 0.61 1.05 1.73 5/259 82737
/proc/meminfo: memFree=128852940/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=56804 memory=51372 CPUtime=1.41 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 12349 0 0 0 136 5 0 0 20 0 1 0 72024332 58167296 12843 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 14201 12843 608 696 0 13362 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 60996 KiB
Current children cumulated memory: 54444 KiB

[startup+3.114 s]
/proc/loadavg: 0.61 1.05 1.73 5/259 82737
/proc/meminfo: memFree=128806824/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=72832 memory=66932 CPUtime=3.02 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 15977 0 0 0 296 6 0 0 20 0 1 0 72024332 74579968 16733 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 18208 16733 608 696 0 17369 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 77024 KiB
Current children cumulated memory: 70004 KiB

[startup+6.3004 s]
/proc/loadavg: 0.88 1.10 1.74 5/259 82737
/proc/meminfo: memFree=128787376/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=76836 memory=72452 CPUtime=6.19 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 17121 0 0 0 613 6 0 0 20 0 1 0 72024332 78680064 18113 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 19209 18113 608 696 0 18370 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 81028 KiB
Current children cumulated memory: 75524 KiB

[startup+12.7004 s]
/proc/loadavg: 1.13 1.15 1.75 5/259 82737
/proc/meminfo: memFree=128740936/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=74364 memory=70084 CPUtime=12.58 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 19157 0 0 0 1251 7 0 0 20 0 1 0 72024332 76148736 17521 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 18591 17521 608 696 0 17752 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 78556 KiB
Current children cumulated memory: 73156 KiB

[startup+25.5004 s]
/proc/loadavg: 1.58 1.24 1.78 5/259 82737
/proc/meminfo: memFree=128699728/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=80764 memory=76760 CPUtime=25.34 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 24199 0 0 0 2525 9 0 0 20 0 1 0 72024332 82702336 19190 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 20191 19190 608 696 0 19352 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 84956 KiB
Current children cumulated memory: 79832 KiB

[startup+51.114 s]
/proc/loadavg: 2.64 1.54 1.86 5/258 82738
/proc/meminfo: memFree=128684404/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=84900 memory=81112 CPUtime=50.88 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 25298 0 0 0 5079 9 0 0 20 0 1 0 72024332 86937600 20278 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 21225 20278 608 696 0 20386 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 89092 KiB
Current children cumulated memory: 84184 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.93 1.98 5/258 82740
/proc/meminfo: memFree=128659828/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=107000 memory=98676 CPUtime=101.92 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 27567 0 0 0 10181 11 0 0 20 0 1 0 72024332 109568000 24669 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 26750 24669 608 696 0 25911 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 111192 KiB
Current children cumulated memory: 101748 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.34 2.12 5/258 82742
/proc/meminfo: memFree=128578844/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=130476 memory=122064 CPUtime=161.72 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 31113 0 0 0 16159 13 0 0 20 0 1 0 72024332 133607424 30516 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 32619 30516 608 696 0 31780 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 134668 KiB
Current children cumulated memory: 125136 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.66 2.24 5/260 82746
/proc/meminfo: memFree=128461432/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=132896 memory=126532 CPUtime=221.53 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 31739 0 0 0 22139 14 0 0 20 0 1 0 72024332 136085504 31633 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 33224 31633 608 696 0 32385 0
Current children cumulated CPU time: 221.53 s
Current children cumulated vsize: 137088 KiB

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

/proc/loadavg: 4.05 4.09 4.03 5/253 82897
/proc/meminfo: memFree=128036368/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=202356 memory=197288 CPUtime=3094.23 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 100404 0 0 0 309296 127 0 0 20 0 1 0 72024332 207212544 49322 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 50589 49322 608 696 0 49750 0
Current children cumulated CPU time: 3094.23 s
Current children cumulated vsize: 206548 KiB
Current children cumulated memory: 200360 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.10 4.03 5/253 82899
/proc/meminfo: memFree=128024540/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=218444 memory=213376 CPUtime=3154.09 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 101875 0 0 0 315279 130 0 0 20 0 1 0 72024332 223686656 53344 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 54611 53344 608 696 0 53772 0
Current children cumulated CPU time: 3154.09 s
Current children cumulated vsize: 222636 KiB
Current children cumulated memory: 216448 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.03 5/253 82901
/proc/meminfo: memFree=127986832/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=224680 memory=219612 CPUtime=3213.94 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 102397 0 0 0 321262 132 0 0 20 0 1 0 72024332 230072320 54903 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 56170 54903 608 696 0 55331 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 228872 KiB
Current children cumulated memory: 222684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/254 82904
/proc/meminfo: memFree=127988220/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=224168 memory=219100 CPUtime=3273.8 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 103816 0 0 0 327245 135 0 0 20 0 1 0 72024332 229548032 54775 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 56042 54775 608 696 0 55203 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 228360 KiB
Current children cumulated memory: 222172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.12 4.05 5/255 82911
/proc/meminfo: memFree=128019576/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=205496 memory=200432 CPUtime=3333.65 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 104850 0 0 0 333228 137 0 0 20 0 1 0 72024332 210427904 50108 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 51374 50108 608 696 0 50535 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 209688 KiB
Current children cumulated memory: 203504 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/255 82913
/proc/meminfo: memFree=127998136/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=235280 memory=228564 CPUtime=3393.51 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 105566 0 0 0 339211 140 0 0 20 0 1 0 72024332 240926720 57141 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 58820 57141 608 696 0 57981 0
Current children cumulated CPU time: 3393.51 s
Current children cumulated vsize: 239472 KiB
Current children cumulated memory: 231636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.05 5/255 82915
/proc/meminfo: memFree=127958632/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=254092 memory=247764 CPUtime=3453.37 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 106748 0 0 0 345195 142 0 0 20 0 1 0 72024332 260190208 61941 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 63523 61941 608 696 0 62684 0
Current children cumulated CPU time: 3453.37 s
Current children cumulated vsize: 258284 KiB
Current children cumulated memory: 250836 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.05 5/255 82917
/proc/meminfo: memFree=127948236/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=242736 memory=236508 CPUtime=3513.22 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 107721 0 0 0 351177 145 0 0 20 0 1 0 72024332 248561664 59127 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 60684 59127 608 696 0 59845 0
Current children cumulated CPU time: 3513.22 s
Current children cumulated vsize: 246928 KiB
Current children cumulated memory: 239580 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.05 5/254 82919
/proc/meminfo: memFree=127902752/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=225864 memory=219636 CPUtime=3573.07 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 109936 0 0 0 357158 149 0 0 20 0 1 0 72024332 231284736 54909 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 56466 54909 608 696 0 55627 0
Current children cumulated CPU time: 3573.07 s
Current children cumulated vsize: 230056 KiB
Current children cumulated memory: 222708 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/254 82924
/proc/meminfo: memFree=127893284/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=225864 memory=219636 CPUtime=3600 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 109936 0 0 0 359851 149 0 0 20 0 1 0 72024332 231284736 54909 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 56466 54909 608 696 0 55627 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 230056 KiB
Current children cumulated memory: 222708 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.52 s, system=1.51079 s

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

[startup+3609.3 s]
/proc/loadavg: 4.12 4.11 4.06 5/254 82924
/proc/meminfo: memFree=127893284/131382116 swapFree=33009904/33010684
[pid=82714] ppid=82707 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/82714/stat : 82714 (naps-1.03a6.sh) S 82707 82714 82628 0 -1 4194304 230 199 0 1 0 0 0 0 20 0 1 0 72024325 4292608 768 18446744073709551615 94221962727424 94221963621957 140723151305872 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94221963861008 94221963908752 94221991247872 140723151309223 140723151309317 140723151309317 140723151314919 0
/proc/82714/statm: 1048 768 704 219 0 110 0
[pid=82736] ppid=82714 vsize=225864 memory=219636 CPUtime=3600 cores=4,6
/proc/82736/stat : 82736 (naps-1.03a6) R 82714 82714 82628 0 -1 4194304 109936 0 0 0 359851 149 0 0 20 0 1 0 72024332 231284736 54909 18446744073709551615 4198400 7047149 140725055968256 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 24588288 140725055969652 140725055969766 140725055969766 140725055975369 0
/proc/82736/statm: 56466 54909 608 696 0 55627 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 230056 KiB
Current children cumulated memory: 222708 KiB

Child status: 10

Real time (s): 3609.3
CPU time (s): 3600.03
CPU user time (s): 3598.52
CPU system time (s): 1.51079
CPU usage (%): 99.7431
Max. virtual memory (cumulated for all children) (KiB): 338372
Max. memory (cumulated for all children) (KiB): 330952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.52
system time used= 1.51079
maximum resident set size= 327880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110377
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 353
involuntary context switches= 2126


# summary of solver processes directly reported to runsolver:
#   pid: 82714
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3598.52
#   total CPU system time (s): 1.51079

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3089 second user time and 40.1736 second system time

The end