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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458302-1721880076/watcher-4458302-1721880076 -o /tmp/evaluation-result-4458302-1721880076/solver-4458302-1721880076 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721876463-263951 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4458302-1721880076.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=266054, runsolver pid=266051

[startup+0.100092 s]*
/proc/loadavg: 4.07 4.16 4.12 5/245 266059
/proc/meminfo: memFree=114292812/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=11476 memory=8868 CPUtime=0.1 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 2086 0 0 0 10 0 0 0 20 0 1 0 23997011 11751424 2217 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 2869 2217 468 659 0 2073 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 21408 KiB
Current children cumulated memory: 11640 KiB

[startup+0.213184 s]*
/proc/loadavg: 4.07 4.16 4.12 5/245 266059
/proc/meminfo: memFree=114292012/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=12244 memory=9684 CPUtime=0.21 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 2269 0 0 0 21 0 0 0 20 0 1 0 23997011 12537856 2421 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 3061 2421 468 659 0 2265 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 22176 KiB
Current children cumulated memory: 12456 KiB

[startup+0.312872 s]*
/proc/loadavg: 4.07 4.16 4.12 5/245 266059
/proc/meminfo: memFree=114291200/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=13408 memory=10212 CPUtime=0.31 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 2436 0 0 0 31 0 0 0 20 0 1 0 23997011 13729792 2553 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 3352 2553 468 659 0 2556 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 23340 KiB
Current children cumulated memory: 12984 KiB

[startup+0.700339 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266059
/proc/meminfo: memFree=114290976/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=16204 memory=11380 CPUtime=0.68 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 3396 0 0 0 68 0 0 0 20 0 1 0 23997011 16592896 2845 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 4051 2845 468 659 0 3255 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26136 KiB
Current children cumulated memory: 14152 KiB

[startup+1.50035 s]
/proc/loadavg: 4.07 4.16 4.12 5/245 266059
/proc/meminfo: memFree=114277456/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=16204 memory=14124 CPUtime=1.48 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 4255 0 0 0 148 0 0 0 20 0 1 0 23997011 16592896 3531 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 4051 3531 468 659 0 3255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 26136 KiB
Current children cumulated memory: 16896 KiB

[startup+3.11291 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266059
/proc/meminfo: memFree=114266636/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=23300 memory=19268 CPUtime=3.09 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 4558 0 0 0 308 1 0 0 20 0 1 0 23997011 23859200 4817 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 5825 4817 468 659 0 5029 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 33232 KiB
Current children cumulated memory: 22040 KiB

[startup+6.30035 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266060
/proc/meminfo: memFree=114247220/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=26264 memory=24160 CPUtime=6.27 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 5537 0 0 0 626 1 0 0 20 0 1 0 23997011 26894336 6040 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 6566 6040 468 659 0 5770 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36196 KiB
Current children cumulated memory: 26932 KiB

[startup+12.7003 s]
/proc/loadavg: 4.06 4.15 4.12 5/245 266062
/proc/meminfo: memFree=114245996/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=37756 memory=29560 CPUtime=12.64 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 5898 0 0 0 1263 1 0 0 20 0 1 0 23997011 38662144 7390 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 9439 7390 468 659 0 8643 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 47688 KiB
Current children cumulated memory: 32332 KiB

[startup+25.5004 s]
/proc/loadavg: 4.05 4.14 4.12 5/245 266063
/proc/meminfo: memFree=114156244/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=68108 memory=57736 CPUtime=25.39 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 6824 0 0 0 2538 1 0 0 20 0 1 0 23997011 69742592 14434 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 17027 14434 468 659 0 16231 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 78040 KiB
Current children cumulated memory: 60508 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.14 4.12 5/246 266071
/proc/meminfo: memFree=114158120/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=68216 memory=61576 CPUtime=50.92 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 7698 0 0 0 5090 2 0 0 20 0 1 0 23997011 69853184 15394 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 17054 15394 468 659 0 16258 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 78148 KiB
Current children cumulated memory: 64348 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/246 266079
/proc/meminfo: memFree=114108844/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=80284 memory=78180 CPUtime=101.93 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 8342 0 0 0 10189 4 0 0 20 0 1 0 23997011 82210816 19545 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 20071 19545 468 659 0 19275 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 80952 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/245 266090
/proc/meminfo: memFree=114087880/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=80284 memory=78180 CPUtime=161.72 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 8387 0 0 0 16168 4 0 0 20 0 1 0 23997011 82210816 19545 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 20071 19545 468 659 0 19275 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 90216 KiB
Current children cumulated memory: 80952 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.18 4.13 5/245 266100
/proc/meminfo: memFree=114048048/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=129604 memory=111288 CPUtime=221.51 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 8536 0 0 0 22145 6 0 0 20 0 1 0 23997011 132714496 27822 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 32401 27822 468 659 0 31605 0
Current children cumulated CPU time: 221.51 s

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

/proc/loadavg: 4.16 4.21 4.16 5/243 267274
/proc/meminfo: memFree=113734020/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=202420 memory=178128 CPUtime=3031.88 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 16075 0 0 0 303134 54 0 0 20 0 1 0 23997011 207278080 44532 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 50605 44532 468 659 0 49809 0
Current children cumulated CPU time: 3031.88 s
Current children cumulated vsize: 212352 KiB
Current children cumulated memory: 180900 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.20 4.16 5/243 267284
/proc/meminfo: memFree=113602688/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=202420 memory=196560 CPUtime=3091.63 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 16130 0 0 0 309109 54 0 0 20 0 1 0 23997011 207278080 49140 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 50605 49140 468 659 0 49809 0
Current children cumulated CPU time: 3091.63 s
Current children cumulated vsize: 212352 KiB
Current children cumulated memory: 199332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/243 267295
/proc/meminfo: memFree=113684480/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=171600 memory=153236 CPUtime=3151.4 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 17048 0 0 0 315084 56 0 0 20 0 1 0 23997011 175718400 38309 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 42900 38309 468 659 0 42104 0
Current children cumulated CPU time: 3151.4 s
Current children cumulated vsize: 181532 KiB
Current children cumulated memory: 156008 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.16 4.14 5/243 267305
/proc/meminfo: memFree=113607788/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=202420 memory=184272 CPUtime=3211.16 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 17170 0 0 0 321059 57 0 0 20 0 1 0 23997011 207278080 46068 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 50605 46068 468 659 0 49809 0
Current children cumulated CPU time: 3211.16 s
Current children cumulated vsize: 212352 KiB
Current children cumulated memory: 187044 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.16 4.14 5/244 267698
/proc/meminfo: memFree=113655504/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=122280 memory=120432 CPUtime=3270.91 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 18050 0 0 0 327033 58 0 0 20 0 1 0 23997011 125214720 30108 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 30570 30108 468 659 0 29774 0
Current children cumulated CPU time: 3270.91 s
Current children cumulated vsize: 132212 KiB
Current children cumulated memory: 123204 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.14 5/245 267711
/proc/meminfo: memFree=113632004/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=202420 memory=186320 CPUtime=3330.67 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 18212 0 0 0 333008 59 0 0 20 0 1 0 23997011 207278080 46580 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 50605 46580 468 659 0 49809 0
Current children cumulated CPU time: 3330.67 s
Current children cumulated vsize: 212352 KiB
Current children cumulated memory: 189092 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.14 5/245 267721
/proc/meminfo: memFree=113697096/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=252508 memory=205828 CPUtime=3390.42 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 19075 0 0 0 338982 60 0 0 20 0 1 0 23997011 258568192 51457 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 63127 51457 468 659 0 62331 0
Current children cumulated CPU time: 3390.42 s
Current children cumulated vsize: 262440 KiB
Current children cumulated memory: 208600 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/246 267901
/proc/meminfo: memFree=113745560/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=122280 memory=120432 CPUtime=3450.18 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 19140 0 0 0 344958 60 0 0 20 0 1 0 23997011 125214720 30108 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 30570 30108 468 659 0 29774 0
Current children cumulated CPU time: 3450.18 s
Current children cumulated vsize: 132212 KiB
Current children cumulated memory: 123204 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.17 4.15 5/246 267911
/proc/meminfo: memFree=113729656/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=122280 memory=120432 CPUtime=3509.95 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 19321 0 0 0 350933 62 0 0 20 0 1 0 23997011 125214720 30108 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 30570 30108 468 659 0 29774 0
Current children cumulated CPU time: 3509.95 s
Current children cumulated vsize: 132212 KiB
Current children cumulated memory: 123204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.14 5/245 267924
/proc/meminfo: memFree=113636488/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=141596 memory=120468 CPUtime=3569.71 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 19567 0 0 0 356907 64 0 0 20 0 1 0 23997011 144994304 30117 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 35399 30117 468 659 0 34603 0
Current children cumulated CPU time: 3569.71 s
Current children cumulated vsize: 151528 KiB
Current children cumulated memory: 123240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.8 s]
/proc/loadavg: 4.17 4.16 4.14 5/245 268042
/proc/meminfo: memFree=113766504/131655788 swapFree=131061124/131071996
[pid=266054] ppid=266051 vsize=9932 memory=2772 CPUtime=0 cores=0,2
/proc/266054/stat : 266054 (naps-1.03.sh) S 266051 266054 263941 0 -1 4194304 225 242 0 0 0 0 0 0 20 0 1 0 23997011 10170368 693 134679101440 94861548802048 94861549881368 140726155981344 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94861551979824 94861552027012 94861577293824 140726155989988 140726155990117 140726155990117 140726155997128 0
/proc/266054/statm: 2483 693 614 264 0 134 0
[pid=266059] ppid=266054 vsize=221736 memory=172860 CPUtime=3600.09 cores=0,2
/proc/266059/stat : 266059 (naps-1.03) R 266054 266054 263941 0 -1 4194304 19877 0 0 0 359944 65 0 0 20 0 1 0 23997011 227057664 43215 134679101440 4194304 6891213 140726475980384 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 12763136 140726475981813 140726475981929 140726475981929 140726475988939 0
/proc/266059/statm: 55434 43215 468 659 0 54638 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 231668 KiB
Current children cumulated memory: 175632 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.45 s, system=0.661528 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): 3612.8
CPU time (s): 3600.11
CPU user time (s): 3599.45
CPU system time (s): 0.661528
CPU usage (%): 99.6487
Max. virtual memory (cumulated for all children) (KiB): 262440
Max. memory (cumulated for all children) (KiB): 221016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.45
system time used= 0.661528
maximum resident set size= 218244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20358
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= 63
involuntary context switches= 24649


# summary of solver processes directly reported to runsolver:
#   pid: 266054
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3599.45
#   total CPU system time (s): 0.661528

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.7284 second user time and 36.1505 second system time

The end