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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=205265, runsolver pid=205262

[startup+0.100316 s]*
/proc/loadavg: 0.12 0.10 0.09 5/262 205270
/proc/meminfo: memFree=110810352/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=9008 memory=2668 CPUtime=0.1 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 338 0 0 0 10 0 0 0 20 0 1 0 23035920 9224192 667 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 2252 667 436 659 0 1456 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18940 KiB
Current children cumulated memory: 5400 KiB

[startup+0.205302 s]*
/proc/loadavg: 0.12 0.10 0.09 5/262 205270
/proc/meminfo: memFree=110797696/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=9008 memory=2668 CPUtime=0.2 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 338 0 0 0 20 0 0 0 20 0 1 0 23035920 9224192 667 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 2252 667 436 659 0 1456 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 18940 KiB
Current children cumulated memory: 5400 KiB

[startup+0.304389 s]*
/proc/loadavg: 0.12 0.10 0.09 5/262 205270
/proc/meminfo: memFree=110783968/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=9008 memory=2668 CPUtime=0.3 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 338 0 0 0 30 0 0 0 20 0 1 0 23035920 9224192 667 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 2252 667 436 659 0 1456 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18940 KiB
Current children cumulated memory: 5400 KiB

[startup+0.700281 s]
/proc/loadavg: 0.12 0.10 0.09 5/262 205270
/proc/meminfo: memFree=110671372/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=105396 memory=98692 CPUtime=0.69 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 18206 0 0 0 66 3 0 0 20 0 1 0 23035920 107925504 24673 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 26349 24673 468 659 0 25553 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 115328 KiB
Current children cumulated memory: 101424 KiB

[startup+1.5003 s]
/proc/loadavg: 0.12 0.10 0.09 5/262 205270
/proc/meminfo: memFree=110247256/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=304100 memory=276508 CPUtime=1.48 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 39164 0 0 0 140 8 0 0 20 0 1 0 23035920 311398400 69127 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 76025 69127 468 659 0 75229 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 314032 KiB
Current children cumulated memory: 279240 KiB

[startup+3.10561 s]
/proc/loadavg: 0.43 0.16 0.11 5/262 205270
/proc/meminfo: memFree=109695008/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=356768 memory=313240 CPUtime=3.09 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 44630 0 0 0 298 11 0 0 20 0 1 0 23035920 365330432 78310 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 89192 78310 468 659 0 88396 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 366700 KiB
Current children cumulated memory: 315972 KiB

[startup+6.30027 s]
/proc/loadavg: 0.43 0.16 0.11 5/262 205273
/proc/meminfo: memFree=107768788/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=697840 memory=586660 CPUtime=6.27 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 82850 0 0 0 606 21 0 0 20 0 1 0 23035920 714588160 146665 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 174460 146665 468 659 0 173664 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 707772 KiB
Current children cumulated memory: 589392 KiB

[startup+12.7003 s]
/proc/loadavg: 0.98 0.29 0.15 5/262 205273
/proc/meminfo: memFree=104987548/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=625940 memory=572744 CPUtime=12.65 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 85140 0 0 0 1242 23 0 0 20 0 1 0 23035920 640962560 143186 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 156485 143186 468 659 0 155689 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 635872 KiB
Current children cumulated memory: 575476 KiB

[startup+25.5003 s]
/proc/loadavg: 1.45 0.41 0.20 5/262 205276
/proc/meminfo: memFree=102626480/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=628284 memory=576860 CPUtime=25.42 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 85761 0 0 0 2518 24 0 0 20 0 1 0 23035920 643362816 144215 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 157071 144215 468 659 0 156275 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 638216 KiB
Current children cumulated memory: 579592 KiB

[startup+51.1056 s]
/proc/loadavg: 2.39 0.72 0.30 5/262 205279
/proc/meminfo: memFree=99732356/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=661712 memory=585880 CPUtime=50.96 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 87071 0 0 0 5071 25 0 0 20 0 1 0 23035920 677593088 146470 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 165428 146470 468 659 0 164632 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 671644 KiB
Current children cumulated memory: 588612 KiB

[startup+102.3 s]
/proc/loadavg: 3.42 1.29 0.52 5/262 205287
/proc/meminfo: memFree=94586064/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=665912 memory=605072 CPUtime=102.01 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 87874 0 0 0 10175 26 0 0 20 0 1 0 23035920 681893888 151268 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 166478 151268 468 659 0 165682 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 675844 KiB
Current children cumulated memory: 607804 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.80 0.75 5/262 205297
/proc/meminfo: memFree=93769204/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=665912 memory=592984 CPUtime=161.84 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 88851 0 0 0 16156 28 0 0 20 0 1 0 23035920 681893888 148246 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 166478 148246 468 659 0 165682 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 675844 KiB
Current children cumulated memory: 595716 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.23 0.97 5/263 205693
/proc/meminfo: memFree=93716012/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=665912 memory=611644 CPUtime=221.66 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 88915 0 0 0 22138 28 0 0 20 0 1 0 23035920 681893888 152911 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 166478 152911 468 659 0 165682 0
Current children cumulated CPU time: 221.66 s

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

/proc/205270/statm: 316821 265899 468 659 0 316025 0
Current children cumulated CPU time: 3092.28 s
Current children cumulated vsize: 1277216 KiB
Current children cumulated memory: 1066328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.24 4.10 5/261 207029
/proc/meminfo: memFree=92477760/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1267284 memory=1077932 CPUtime=3152.09 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 139948 0 0 0 315125 84 0 0 20 0 1 0 23035920 1297698816 269483 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 316821 269483 468 659 0 316025 0
Current children cumulated CPU time: 3152.09 s
Current children cumulated vsize: 1277216 KiB
Current children cumulated memory: 1080664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.23 4.10 5/259 207041
/proc/meminfo: memFree=92475428/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1267284 memory=1090220 CPUtime=3211.89 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 140064 0 0 0 321104 85 0 0 20 0 1 0 23035920 1297698816 272555 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 316821 272555 468 659 0 316025 0
Current children cumulated CPU time: 3211.89 s
Current children cumulated vsize: 1277216 KiB
Current children cumulated memory: 1092952 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.09 5/259 207051
/proc/meminfo: memFree=92433400/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1267284 memory=1102508 CPUtime=3271.69 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 140257 0 0 0 327084 85 0 0 20 0 1 0 23035920 1297698816 275627 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 316821 275627 468 659 0 316025 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 1277216 KiB
Current children cumulated memory: 1105240 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.18 4.09 5/259 207063
/proc/meminfo: memFree=92634308/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1267284 memory=1114796 CPUtime=3331.49 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 140381 0 0 0 333063 86 0 0 20 0 1 0 23035920 1297698816 278699 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 316821 278699 468 659 0 316025 0
Current children cumulated CPU time: 3331.49 s
Current children cumulated vsize: 1277216 KiB
Current children cumulated memory: 1117528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.16 4.09 5/259 207074
/proc/meminfo: memFree=92804500/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1003548 memory=911092 CPUtime=3391.29 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 141040 0 0 0 339040 89 0 0 20 0 1 0 23035920 1027633152 227773 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 250887 227773 468 659 0 250091 0
Current children cumulated CPU time: 3391.29 s
Current children cumulated vsize: 1013480 KiB
Current children cumulated memory: 913824 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/259 207084
/proc/meminfo: memFree=92847568/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1053636 memory=925796 CPUtime=3451.1 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 141241 0 0 0 345020 90 0 0 20 0 1 0 23035920 1078923264 231449 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 263409 231449 468 659 0 262613 0
Current children cumulated CPU time: 3451.1 s
Current children cumulated vsize: 1063568 KiB
Current children cumulated memory: 928528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/259 207098
/proc/meminfo: memFree=92800004/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1058580 memory=942824 CPUtime=3510.89 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 141994 0 0 0 350999 90 0 0 20 0 1 0 23035920 1083985920 235706 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 264645 235706 468 659 0 263849 0
Current children cumulated CPU time: 3510.89 s
Current children cumulated vsize: 1068512 KiB
Current children cumulated memory: 945556 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/259 207108
/proc/meminfo: memFree=92761512/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1058580 memory=955200 CPUtime=3570.7 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 142078 0 0 0 356979 91 0 0 20 0 1 0 23035920 1083985920 238800 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 264645 238800 468 659 0 263849 0
Current children cumulated CPU time: 3570.7 s
Current children cumulated vsize: 1068512 KiB
Current children cumulated memory: 957932 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.7 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 207215
/proc/meminfo: memFree=109235776/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1058580 memory=961344 CPUtime=3600 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 142117 0 0 0 359909 91 0 0 20 0 1 0 23035920 1083985920 240336 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 264645 240336 468 659 0 263849 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1068512 KiB
Current children cumulated memory: 964076 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.7 s]
# the end of solver process 205265 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000812 s, system=0.001946 s

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

# cumulated CPU time of all completed processes:  user=3599.1 s, system=0.950996 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.7 s]
/proc/loadavg: 4.08 4.13 4.09 5/259 207215
/proc/meminfo: memFree=109235776/131524600 swapFree=131054736/131071996
[pid=205265] ppid=205262 vsize=9932 memory=2732 CPUtime=0 cores=5,7
/proc/205265/stat : 205265 (naps-1.03.sh) S 205262 205265 205129 0 -1 4194304 225 245 0 0 0 0 0 0 20 0 1 0 23035920 10170368 683 134679101440 94462414290944 94462415370264 140737105048528 0 0 0 65536 4 65538 0 0 0 17 5 0 0 0 0 0 94462417468720 94462417515908 94462433816576 140737105056736 140737105056865 140737105056865 140737105063880 0
/proc/205265/statm: 2483 683 605 264 0 134 0
[pid=205270] ppid=205265 vsize=1058580 memory=961344 CPUtime=3600 cores=5,7
/proc/205270/stat : 205270 (naps-1.03) R 205265 205265 205129 0 -1 4194304 142117 0 0 0 359909 91 0 0 20 0 1 0 23035920 1083985920 240336 134679101440 4194304 6891213 140733841468960 0 0 0 0 0 17922 0 0 0 17 5 0 0 0 0 0 7398840 7447120 34430976 140733841470449 140733841470565 140733841470565 140733841477579 0
/proc/205270/statm: 264645 240336 468 659 0 263849 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1068512 KiB
Current children cumulated memory: 964076 KiB

Child status: 10

Real time (s): 3611.73
CPU time (s): 3600.05
CPU user time (s): 3599.1
CPU system time (s): 0.950996
CPU usage (%): 99.6765
Max. virtual memory (cumulated for all children) (KiB): 1357356
Max. memory (cumulated for all children) (KiB): 1187040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.1
system time used= 0.950996
maximum resident set size= 1186356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 142587
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= 12
involuntary context switches= 2247


# summary of solver processes directly reported to runsolver:
#   pid: 205265,205270
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.1
#   total CPU system time (s): 0.950996

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40408 second user time and 18.8645 second system time

The end