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: 63968 MiB (63284 MiB free)
  memory of node 1: 64473 MiB (63793 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4463877-1722351798/watcher-4463877-1722351798 -o /tmp/evaluation-result-4463877-1722351798/solver-4463877-1722351798 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1722351798-12746 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4463877-1722351798.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=12804, runsolver pid=12800
Current StackSize limit: 8192 KiB


[startup+0.1009 s]*
/proc/loadavg: 2.29 3.14 3.68 5/269 12823
/proc/meminfo: memFree=130028664/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=22332 memory=19680 CPUtime=0.08 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 4961 0 0 0 8 0 0 0 20 0 1 0 1568000 22867968 4920 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 5583 4920 468 659 0 4787 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 32264 KiB
Current children cumulated memory: 22508 KiB

[startup+0.205901 s]*
/proc/loadavg: 2.29 3.14 3.68 6/269 12823
/proc/meminfo: memFree=130005220/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=31712 memory=28012 CPUtime=0.19 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 7025 0 0 0 18 1 0 0 20 0 1 0 1568000 32473088 7003 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 7928 7003 468 659 0 7132 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 41644 KiB
Current children cumulated memory: 30840 KiB

[startup+0.305613 s]*
/proc/loadavg: 2.29 3.14 3.68 5/269 12823
/proc/meminfo: memFree=129991496/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=36064 memory=30584 CPUtime=0.29 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 7139 0 0 0 28 1 0 0 20 0 1 0 1568000 36929536 7646 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 9016 7646 468 659 0 8220 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 33412 KiB

[startup+0.700243 s]
/proc/loadavg: 2.29 3.14 3.68 5/269 12823
/proc/meminfo: memFree=129943208/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=36064 memory=33096 CPUtime=0.67 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 7461 0 0 0 66 1 0 0 20 0 1 0 1568000 36929536 8274 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 9016 8274 468 659 0 8220 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 45996 KiB
Current children cumulated memory: 35924 KiB

[startup+1.50022 s]
/proc/loadavg: 2.29 3.14 3.68 5/269 12823
/proc/meminfo: memFree=129833520/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=38784 memory=35732 CPUtime=1.48 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 8130 0 0 0 146 2 0 0 20 0 1 0 1568000 39714816 8933 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 9696 8933 468 659 0 8900 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48716 KiB
Current children cumulated memory: 38560 KiB

[startup+3.10584 s]
/proc/loadavg: 2.29 3.14 3.68 5/269 12825
/proc/meminfo: memFree=129791384/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=47600 memory=43176 CPUtime=3.08 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 8483 0 0 0 306 2 0 0 20 0 1 0 1568000 48742400 10794 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 11900 10794 468 659 0 11104 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 57532 KiB
Current children cumulated memory: 46004 KiB

[startup+6.30024 s]
/proc/loadavg: 2.51 3.17 3.68 5/269 12825
/proc/meminfo: memFree=129751684/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=52712 memory=49176 CPUtime=6.26 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 9411 0 0 0 624 2 0 0 20 0 1 0 1568000 53977088 12294 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 13178 12294 468 659 0 12382 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 62644 KiB
Current children cumulated memory: 52004 KiB

[startup+12.7002 s]
/proc/loadavg: 2.63 3.19 3.69 5/269 12826
/proc/meminfo: memFree=129679944/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=71388 memory=55308 CPUtime=12.65 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 9982 0 0 0 1262 3 0 0 20 0 1 0 1568000 73101312 13827 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 17847 13827 468 659 0 17051 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 58136 KiB

[startup+25.5003 s]
/proc/loadavg: 2.93 3.23 3.69 5/269 12828
/proc/meminfo: memFree=129583944/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=71388 memory=68372 CPUtime=25.41 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 10492 0 0 0 2538 3 0 0 20 0 1 0 1568000 73101312 17093 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 17847 17093 468 659 0 17051 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 81320 KiB
Current children cumulated memory: 71200 KiB

[startup+51.1061 s]
/proc/loadavg: 3.30 3.29 3.70 5/269 12831
/proc/meminfo: memFree=129427644/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=103424 memory=96444 CPUtime=50.95 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 12479 0 0 0 5090 5 0 0 20 0 1 0 1568000 105906176 24111 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 25856 24111 468 659 0 25060 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 113356 KiB
Current children cumulated memory: 99272 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 3.42 3.73 5/266 12842
/proc/meminfo: memFree=129448492/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=103424 memory=100540 CPUtime=102.01 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 13015 0 0 0 10195 6 0 0 20 0 1 0 1568000 105906176 25135 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 25856 25135 468 659 0 25060 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 113356 KiB
Current children cumulated memory: 103368 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 3.54 3.75 5/264 12853
/proc/meminfo: memFree=129249092/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=165524 memory=145632 CPUtime=161.85 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 15516 0 0 0 16175 10 0 0 20 0 1 0 1568000 169496576 36408 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 41381 36408 468 659 0 40585 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 175456 KiB
Current children cumulated memory: 148460 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 3.66 3.78 5/264 12863
/proc/meminfo: memFree=129303012/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=116204 memory=113192 CPUtime=221.69 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 16966 0 0 0 22156 13 0 0 20 0 1 0 1568000 118992896 28298 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 29051 28298 468 659 0 28255 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 126136 KiB

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

/proc/loadavg: 4.22 4.13 4.08 5/262 14013
/proc/meminfo: memFree=128402356/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=220744 memory=205560 CPUtime=3032.77 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 72835 0 0 0 303177 100 0 0 20 0 1 0 1568000 226041856 51390 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 55186 51390 468 659 0 54390 0
Current children cumulated CPU time: 3032.77 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 208388 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/261 14025
/proc/meminfo: memFree=128304104/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=189924 memory=176620 CPUtime=3092.58 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 73685 0 0 0 309156 102 0 0 20 0 1 0 1568000 194482176 44155 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 47481 44155 468 659 0 46685 0
Current children cumulated CPU time: 3092.58 s
Current children cumulated vsize: 199856 KiB
Current children cumulated memory: 179448 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/263 14419
/proc/meminfo: memFree=128433796/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=220744 memory=205488 CPUtime=3152.38 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 74282 0 0 0 315135 103 0 0 20 0 1 0 1568000 226041856 51372 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 55186 51372 468 659 0 54390 0
Current children cumulated CPU time: 3152.38 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 208316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/262 14430
/proc/meminfo: memFree=128293444/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=270832 memory=223008 CPUtime=3212.18 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 74649 0 0 0 321115 103 0 0 20 0 1 0 1568000 277331968 55752 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 67708 55752 468 659 0 66912 0
Current children cumulated CPU time: 3212.18 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 225836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 14442
/proc/meminfo: memFree=128180500/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=220744 memory=215800 CPUtime=3271.99 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 75784 0 0 0 327094 105 0 0 20 0 1 0 1568000 226041856 53950 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 55186 53950 468 659 0 54390 0
Current children cumulated CPU time: 3271.99 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 218628 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.09 4.08 5/264 14622
/proc/meminfo: memFree=128107164/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=220744 memory=188840 CPUtime=3331.8 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 77164 0 0 0 333073 107 0 0 20 0 1 0 1568000 226041856 47210 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 55186 47210 468 659 0 54390 0
Current children cumulated CPU time: 3331.8 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 191668 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 14632
/proc/meminfo: memFree=127978852/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=220744 memory=217848 CPUtime=3391.6 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 78681 0 0 0 339050 110 0 0 20 0 1 0 1568000 226041856 54462 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 55186 54462 468 659 0 54390 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 220676 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 14645
/proc/meminfo: memFree=128439528/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=270832 memory=229108 CPUtime=3451.4 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 80443 0 0 0 345026 114 0 0 20 0 1 0 1568000 277331968 57277 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 67708 57277 468 659 0 66912 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 231936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/262 14666
/proc/meminfo: memFree=128350260/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=270832 memory=225196 CPUtime=3511.21 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 81885 0 0 0 351004 117 0 0 20 0 1 0 1568000 277331968 56299 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 67708 56299 468 659 0 66912 0
Current children cumulated CPU time: 3511.21 s
Current children cumulated vsize: 280764 KiB
Current children cumulated memory: 228024 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/261 14677
/proc/meminfo: memFree=128567796/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=220744 memory=197340 CPUtime=3571.03 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 82992 0 0 0 356984 119 0 0 20 0 1 0 1568000 226041856 49335 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 55186 49335 468 659 0 54390 0
Current children cumulated CPU time: 3571.03 s
Current children cumulated vsize: 230676 KiB
Current children cumulated memory: 200168 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.14 4.10 4.09 5/261 14781
/proc/meminfo: memFree=128936456/131524600 swapFree=131071996/131071996
[pid=12804] ppid=12800 vsize=9932 memory=2828 CPUtime=0 cores=1,3
/proc/12804/stat : 12804 (naps-1.03.sh) S 12800 12804 12734 0 -1 4194304 223 244 0 0 0 0 0 0 20 0 1 0 1568000 10170368 707 134679101440 93878217555968 93878218635288 140724779861040 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93878220733744 93878220780932 93878251765760 140724779869151 140724779869280 140724779869280 140724779876296 0
/proc/12804/statm: 2483 707 632 264 0 134 0
[pid=12809] ppid=12804 vsize=271924 memory=223916 CPUtime=3600.05 cores=1,3
/proc/12809/stat : 12809 (naps-1.03a2) R 12804 12804 12734 0 -1 4194304 83511 0 0 0 359885 120 0 0 20 0 1 0 1568000 278450176 55979 134679101440 4194304 6891597 140732468832272 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 14045184 140732468835306 140732468835424 140732468835424 140732468842441 0
/proc/12809/statm: 67981 55979 468 659 0 67185 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 281856 KiB
Current children cumulated memory: 226744 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.86 s, system=1.20846 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.4
CPU time (s): 3600.07
CPU user time (s): 3598.86
CPU system time (s): 1.20846
CPU usage (%): 99.6862
Max. virtual memory (cumulated for all children) (KiB): 330084
Max. memory (cumulated for all children) (KiB): 240132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.20846
maximum resident set size= 271880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83991
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= 37
involuntary context switches= 3422


# summary of solver processes directly reported to runsolver:
#   pid: 12804
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3598.86
#   total CPU system time (s): 1.20846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36316 second user time and 17.6311 second system time

The end