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: 63931 MiB (58648 MiB free)
  memory of node 1: 64510 MiB (43657 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4433824-1721068686/watcher-4433824-1721068686 -o /tmp/evaluation-result-4433824-1721068686/solver-4433824-1721068686 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721060969-828421 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4433824-1721068686.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=833260, runsolver pid=833257

[startup+0.100064 s]*
/proc/loadavg: 4.11 4.13 4.09 5/258 833265
/proc/meminfo: memFree=104754012/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=14328 memory=8316 CPUtime=0.1 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 1704 0 0 0 10 0 0 0 20 0 1 0 159036058 14671872 2079 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 3582 2079 436 659 0 2786 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 24260 KiB
Current children cumulated memory: 11004 KiB

[startup+0.205665 s]*
/proc/loadavg: 4.11 4.13 4.09 5/258 833265
/proc/meminfo: memFree=104743756/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=25124 memory=18996 CPUtime=0.2 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 4514 0 0 0 20 0 0 0 20 0 1 0 159036058 25726976 4749 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 6281 4749 468 659 0 5485 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 35056 KiB
Current children cumulated memory: 21684 KiB

[startup+0.305647 s]*
/proc/loadavg: 4.11 4.13 4.09 5/258 833265
/proc/meminfo: memFree=104740928/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=26424 memory=20412 CPUtime=0.3 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 5029 0 0 0 29 1 0 0 20 0 1 0 159036058 27058176 5103 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 6606 5103 468 659 0 5810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 36356 KiB
Current children cumulated memory: 23100 KiB

[startup+0.700261 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 833265
/proc/meminfo: memFree=104731684/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=76336 memory=70060 CPUtime=0.69 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 17680 0 0 0 66 3 0 0 20 0 1 0 159036058 78168064 17515 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 19084 17515 468 659 0 18288 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 86268 KiB
Current children cumulated memory: 72748 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 833265
/proc/meminfo: memFree=104692440/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=80684 memory=72176 CPUtime=1.48 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 18489 0 0 0 145 3 0 0 20 0 1 0 159036058 82620416 18044 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 20171 18044 468 659 0 19375 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 90616 KiB
Current children cumulated memory: 74864 KiB

[startup+3.10555 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 833265
/proc/meminfo: memFree=104684276/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=80684 memory=76516 CPUtime=3.08 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 18586 0 0 0 305 3 0 0 20 0 1 0 159036058 82620416 19129 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 20171 19129 468 659 0 19375 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 90616 KiB
Current children cumulated memory: 79204 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 833266
/proc/meminfo: memFree=104680428/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=84228 memory=80084 CPUtime=6.27 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 19765 0 0 0 623 4 0 0 20 0 1 0 159036058 86249472 20021 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 21057 20021 468 659 0 20261 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 94160 KiB
Current children cumulated memory: 82772 KiB

[startup+12.7002 s]
/proc/loadavg: 4.25 4.16 4.10 5/258 833266
/proc/meminfo: memFree=104668776/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=95720 memory=91572 CPUtime=12.65 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 20096 0 0 0 1261 4 0 0 20 0 1 0 159036058 98017280 22893 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 23930 22893 468 659 0 23134 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 105652 KiB
Current children cumulated memory: 94260 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.15 4.10 5/258 833269
/proc/meminfo: memFree=104655912/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=102904 memory=98732 CPUtime=25.4 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 20376 0 0 0 2536 4 0 0 20 0 1 0 159036058 105373696 24683 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 25726 24683 468 659 0 24930 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 112836 KiB
Current children cumulated memory: 101420 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.14 4.09 5/258 833272
/proc/meminfo: memFree=104634236/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=115508 memory=108884 CPUtime=50.91 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 20999 0 0 0 5086 5 0 0 20 0 1 0 159036058 118280192 27221 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 28877 27221 468 659 0 28081 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 125440 KiB
Current children cumulated memory: 111572 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/258 833281
/proc/meminfo: memFree=104584208/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=145856 memory=127372 CPUtime=101.92 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 21985 0 0 0 10186 6 0 0 20 0 1 0 159036058 149356544 31843 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 36464 31843 468 659 0 35668 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 130060 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/260 833296
/proc/meminfo: memFree=104590332/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=145856 memory=139556 CPUtime=161.71 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 22513 0 0 0 16164 7 0 0 20 0 1 0 159036058 149356544 34889 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 36464 34889 468 659 0 35668 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 142244 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/260 833306
/proc/meminfo: memFree=104581748/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=145856 memory=141712 CPUtime=221.49 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 22573 0 0 0 22142 7 0 0 20 0 1 0 159036058 149356544 35428 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 36464 35428 468 659 0 35668 0
Current children cumulated CPU time: 221.49 s

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

/proc/loadavg: 4.15 4.17 4.12 5/262 834985
/proc/meminfo: memFree=122176192/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=243736 memory=233096 CPUtime=3030.67 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 49713 0 0 0 302998 69 0 0 20 0 1 0 159036058 249585664 58274 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 60934 58274 468 659 0 60138 0
Current children cumulated CPU time: 3030.67 s
Current children cumulated vsize: 253668 KiB
Current children cumulated memory: 235784 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/262 834995
/proc/meminfo: memFree=122062960/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=274556 memory=262036 CPUtime=3090.43 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 50376 0 0 0 308973 70 0 0 20 0 1 0 159036058 281145344 65509 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 68639 65509 468 659 0 67843 0
Current children cumulated CPU time: 3090.43 s
Current children cumulated vsize: 284488 KiB
Current children cumulated memory: 264724 KiB

[startup+3162.3 s]
/proc/loadavg: 3.01 3.84 4.01 3/249 835126
/proc/meminfo: memFree=123126720/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=194688 memory=191960 CPUtime=3150.19 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 51295 0 0 0 314949 70 0 0 20 0 1 0 159036058 199360512 47990 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 48672 47990 468 659 0 47876 0
Current children cumulated CPU time: 3150.19 s
Current children cumulated vsize: 204620 KiB
Current children cumulated memory: 194648 KiB

[startup+3222.3 s]
/proc/loadavg: 2.42 3.52 3.88 3/248 835136
/proc/meminfo: memFree=123023776/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=274828 memory=258188 CPUtime=3209.96 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 52109 0 0 0 320924 72 0 0 20 0 1 0 159036058 281423872 64547 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 68707 64547 468 659 0 67911 0
Current children cumulated CPU time: 3209.96 s
Current children cumulated vsize: 284760 KiB
Current children cumulated memory: 260876 KiB

[startup+3282.3 s]
/proc/loadavg: 2.32 3.29 3.78 3/247 835146
/proc/meminfo: memFree=123066564/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=245640 memory=239096 CPUtime=3269.75 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 53602 0 0 0 326901 74 0 0 20 0 1 0 159036058 251535360 59774 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 61410 59774 468 659 0 60614 0
Current children cumulated CPU time: 3269.75 s
Current children cumulated vsize: 255572 KiB
Current children cumulated memory: 241784 KiB

[startup+3342.3 s]
/proc/loadavg: 2.23 3.08 3.67 3/245 835157
/proc/meminfo: memFree=123052064/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=276460 memory=270084 CPUtime=3329.56 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 54274 0 0 0 332881 75 0 0 20 0 1 0 159036058 283095040 67521 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 69115 67521 468 659 0 68319 0
Current children cumulated CPU time: 3329.56 s
Current children cumulated vsize: 286392 KiB
Current children cumulated memory: 272772 KiB

[startup+3402.3 s]
/proc/loadavg: 2.13 2.90 3.57 3/246 835169
/proc/meminfo: memFree=123040760/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=276460 memory=243176 CPUtime=3389.37 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 55802 0 0 0 338860 77 0 0 20 0 1 0 159036058 283095040 60794 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 69115 60794 468 659 0 68319 0
Current children cumulated CPU time: 3389.37 s
Current children cumulated vsize: 286392 KiB
Current children cumulated memory: 245864 KiB

[startup+3462.3 s]
/proc/loadavg: 2.15 2.76 3.48 3/243 835179
/proc/meminfo: memFree=123045396/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=326548 memory=274260 CPUtime=3449.16 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 56498 0 0 0 344839 77 0 0 20 0 1 0 159036058 334385152 68565 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 81637 68565 468 659 0 80841 0
Current children cumulated CPU time: 3449.16 s
Current children cumulated vsize: 336480 KiB
Current children cumulated memory: 276948 KiB

[startup+3522.3 s]
/proc/loadavg: 2.10 2.64 3.39 3/243 835189
/proc/meminfo: memFree=123029296/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=276460 memory=249580 CPUtime=3508.93 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 57479 0 0 0 350814 79 0 0 20 0 1 0 159036058 283095040 62395 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 69115 62395 468 659 0 68319 0
Current children cumulated CPU time: 3508.93 s
Current children cumulated vsize: 286392 KiB
Current children cumulated memory: 252268 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 2.53 3.31 3/243 835200
/proc/meminfo: memFree=123039432/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=326548 memory=277364 CPUtime=3568.7 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 58383 0 0 0 356790 80 0 0 20 0 1 0 159036058 334385152 69341 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 81637 69341 468 659 0 80841 0
Current children cumulated CPU time: 3568.7 s
Current children cumulated vsize: 336480 KiB
Current children cumulated memory: 280052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.8 s]
/proc/loadavg: 2.10 2.50 3.27 3/243 835205
/proc/meminfo: memFree=123012140/131524600 swapFree=131071996/131071996
[pid=833260] ppid=833257 vsize=9932 memory=2688 CPUtime=0 cores=0,2
/proc/833260/stat : 833260 (naps-1.03.sh) S 833257 833260 828411 0 -1 4194304 221 240 0 0 0 0 0 0 20 0 1 0 159036058 10170368 672 134679101440 94138861342720 94138862422040 140721600156480 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94138864520496 94138864567684 94138866458624 140721600160736 140721600160865 140721600160865 140721600167880 0
/proc/833260/statm: 2483 672 593 264 0 134 0
[pid=833265] ppid=833260 vsize=326548 memory=289720 CPUtime=3600.07 cores=0,2
/proc/833265/stat : 833265 (naps-1.03) R 833260 833260 828411 0 -1 4194304 58463 0 0 0 359927 80 0 0 20 0 1 0 159036058 334385152 72430 134679101440 4194304 6891213 140728865792800 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 22732800 140728865797105 140728865797221 140728865797221 140728865804235 0
/proc/833265/statm: 81637 72430 468 659 0 80841 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 336480 KiB
Current children cumulated memory: 292408 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.28 s, system=0.805075 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): 3613.8
CPU time (s): 3600.09
CPU user time (s): 3599.28
CPU system time (s): 0.805075
CPU usage (%): 99.6204
Max. virtual memory (cumulated for all children) (KiB): 385800
Max. memory (cumulated for all children) (KiB): 292408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.28
system time used= 0.805075
maximum resident set size= 318568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58939
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= 60
involuntary context switches= 25194


# summary of solver processes directly reported to runsolver:
#   pid: 833260
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.28
#   total CPU system time (s): 0.805075

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11996 second user time and 17.778 second system time

The end