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: 64096 MiB (62013 MiB free)
  memory of node 1: 64473 MiB (61524 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458108-1721876531/watcher-4458108-1721876531 -o /tmp/evaluation-result-4458108-1721876531/solver-4458108-1721876531 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721876531-221817 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4458108-1721876531.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=221875, runsolver pid=221869

[startup+0.100092 s]*
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126496460/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=6776 memory=5404 CPUtime=0.1 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 886 0 0 0 10 0 0 0 20 0 1 0 23641993 6938624 1351 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 1694 1351 580 659 0 898 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 16708 KiB
Current children cumulated memory: 8108 KiB

[startup+0.214789 s]*
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126485044/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=8576 memory=7244 CPUtime=0.21 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 1415 0 0 0 21 0 0 0 20 0 1 0 23641993 8781824 1811 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 2144 1811 596 659 0 1348 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 18508 KiB
Current children cumulated memory: 9948 KiB

[startup+0.314196 s]*
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126482468/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=10844 memory=9360 CPUtime=0.3 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 2078 0 0 0 30 0 0 0 20 0 1 0 23641993 11104256 2340 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 2711 2340 596 659 0 1915 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 20776 KiB
Current children cumulated memory: 12064 KiB

[startup+0.700393 s]
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126468244/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=16236 memory=14744 CPUtime=0.68 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 3578 0 0 0 67 1 0 0 20 0 1 0 23641993 16625664 3686 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 4059 3686 644 659 0 3263 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 26168 KiB
Current children cumulated memory: 17448 KiB

[startup+1.50039 s]
/proc/loadavg: 0.99 1.87 3.02 6/249 221898
/proc/meminfo: memFree=126452136/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=18484 memory=17108 CPUtime=1.48 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 5913 0 0 0 146 2 0 0 20 0 1 0 23641993 18927616 4277 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 4621 4277 660 659 0 3825 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28416 KiB
Current children cumulated memory: 19812 KiB

[startup+3.11374 s]
/proc/loadavg: 1.31 1.92 3.03 6/249 221898
/proc/meminfo: memFree=126416792/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=18700 memory=17708 CPUtime=3.08 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 7190 0 0 0 306 2 0 0 20 0 1 0 23641993 19148800 4427 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 4675 4427 660 659 0 3879 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 28632 KiB
Current children cumulated memory: 20412 KiB

[startup+6.30032 s]
/proc/loadavg: 1.31 1.92 3.03 6/249 221898
/proc/meminfo: memFree=126413496/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=21424 memory=20384 CPUtime=6.26 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 8598 0 0 0 624 2 0 0 20 0 1 0 23641993 21938176 5096 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 5356 5096 660 659 0 4560 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 31356 KiB
Current children cumulated memory: 23088 KiB

[startup+12.7003 s]
/proc/loadavg: 1.53 1.96 3.03 6/249 221900
/proc/meminfo: memFree=126402844/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=23240 memory=22220 CPUtime=12.63 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 11318 0 0 0 1261 2 0 0 20 0 1 0 23641993 23797760 5555 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 5810 5555 660 659 0 5014 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33172 KiB
Current children cumulated memory: 24924 KiB

[startup+25.5004 s]
/proc/loadavg: 2.08 2.06 3.05 6/249 221901
/proc/meminfo: memFree=126390672/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=22920 memory=21840 CPUtime=25.39 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 14128 0 0 0 2536 3 0 0 20 0 1 0 23641993 23470080 5460 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 5730 5460 660 659 0 4934 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 32852 KiB
Current children cumulated memory: 24544 KiB

[startup+51.1135 s]
/proc/loadavg: 2.81 2.23 3.08 6/249 221906
/proc/meminfo: memFree=126368552/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=30556 memory=29604 CPUtime=50.91 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 19765 0 0 0 5087 4 0 0 20 0 1 0 23641993 31289344 7401 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 7639 7401 660 659 0 6843 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 40488 KiB
Current children cumulated memory: 32308 KiB

[startup+102.3 s]
/proc/loadavg: 3.56 2.53 3.14 6/249 221915
/proc/meminfo: memFree=126324788/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=36256 memory=35300 CPUtime=101.94 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 22001 0 0 0 10189 5 0 0 20 0 1 0 23641993 37126144 8825 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 9064 8825 660 659 0 8268 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 46188 KiB
Current children cumulated memory: 38004 KiB

[startup+162.3 s]
/proc/loadavg: 4.02 2.84 3.21 6/249 221925
/proc/meminfo: memFree=126314036/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=43508 memory=42428 CPUtime=161.74 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 28769 0 0 0 16167 7 0 0 20 0 1 0 23641993 44552192 10607 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 10877 10607 660 659 0 10081 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 53440 KiB
Current children cumulated memory: 45132 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 3.07 3.27 6/247 221936
/proc/meminfo: memFree=126304688/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=38344 memory=37536 CPUtime=221.51 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 31584 0 0 0 22144 7 0 0 20 0 1 0 23641993 39264256 9384 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 9586 9384 660 659 0 8790 0
Current children cumulated CPU time: 221.51 s

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

/proc/loadavg: 4.11 4.14 4.09 6/247 223076
/proc/meminfo: memFree=126029544/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=140188 memory=139200 CPUtime=3091.96 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 74431 0 0 0 309166 30 0 0 20 0 1 0 23641993 143552512 34800 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 35047 34800 660 659 0 34251 0
Current children cumulated CPU time: 3091.96 s
Current children cumulated vsize: 150120 KiB
Current children cumulated memory: 141904 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.16 4.10 6/247 223086
/proc/meminfo: memFree=125945860/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=116708 memory=115992 CPUtime=3151.73 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 75336 0 0 0 315142 31 0 0 20 0 1 0 23641993 119508992 28998 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 29177 28998 660 659 0 28381 0
Current children cumulated CPU time: 3151.73 s
Current children cumulated vsize: 126640 KiB
Current children cumulated memory: 118696 KiB

[startup+3222.3 s]
/proc/loadavg: 4.90 4.36 4.17 6/247 223481
/proc/meminfo: memFree=125961088/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=114896 memory=112136 CPUtime=3211.51 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 76822 0 0 0 321118 33 0 0 20 0 1 0 23641993 117653504 28034 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 28724 28034 660 659 0 27928 0
Current children cumulated CPU time: 3211.51 s
Current children cumulated vsize: 124828 KiB
Current children cumulated memory: 114840 KiB

[startup+3282.3 s]
/proc/loadavg: 4.78 4.41 4.20 6/247 223492
/proc/meminfo: memFree=125984696/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=117600 memory=114844 CPUtime=3271.27 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 77211 0 0 0 327094 33 0 0 20 0 1 0 23641993 120422400 28711 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 29400 28711 660 659 0 28604 0
Current children cumulated CPU time: 3271.27 s
Current children cumulated vsize: 127532 KiB
Current children cumulated memory: 117548 KiB

[startup+3342.3 s]
/proc/loadavg: 5.94 4.79 4.35 6/247 223502
/proc/meminfo: memFree=125974576/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=131076 memory=130008 CPUtime=3331.04 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 78382 0 0 0 333070 34 0 0 20 0 1 0 23641993 134221824 32502 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 32769 32502 660 659 0 31973 0
Current children cumulated CPU time: 3331.04 s
Current children cumulated vsize: 141008 KiB
Current children cumulated memory: 132712 KiB

[startup+3402.3 s]
/proc/loadavg: 5.39 4.85 4.40 6/248 223682
/proc/meminfo: memFree=125942616/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=131076 memory=130232 CPUtime=3390.82 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 78440 0 0 0 339048 34 0 0 20 0 1 0 23641993 134221824 32558 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 32769 32558 660 659 0 31973 0
Current children cumulated CPU time: 3390.82 s
Current children cumulated vsize: 141008 KiB
Current children cumulated memory: 132936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.61 4.73 4.38 7/249 223695
/proc/meminfo: memFree=125869644/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=162856 memory=161896 CPUtime=3450.59 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 79279 0 0 0 345024 35 0 0 20 0 1 0 23641993 166764544 40474 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 40714 40474 660 659 0 39918 0
Current children cumulated CPU time: 3450.59 s
Current children cumulated vsize: 172788 KiB
Current children cumulated memory: 164600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.31 4.63 4.37 6/248 223707
/proc/meminfo: memFree=125925784/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=148192 memory=147212 CPUtime=3510.37 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 80049 0 0 0 351002 35 0 0 20 0 1 0 23641993 151748608 36803 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 37048 36803 660 659 0 36252 0
Current children cumulated CPU time: 3510.37 s
Current children cumulated vsize: 158124 KiB
Current children cumulated memory: 149916 KiB

[startup+3582.3 s]
/proc/loadavg: 4.23 4.54 4.35 6/248 223729
/proc/meminfo: memFree=125915288/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=114920 memory=114204 CPUtime=3570.18 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 80616 0 0 0 356982 36 0 0 20 0 1 0 23641993 117678080 28551 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 28730 28551 660 659 0 27934 0
Current children cumulated CPU time: 3570.18 s
Current children cumulated vsize: 124852 KiB
Current children cumulated memory: 116908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.3 s]
/proc/loadavg: 4.14 4.49 4.34 5/248 223884
/proc/meminfo: memFree=126327180/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=125372 memory=123704 CPUtime=3600.07 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 81513 0 0 0 359970 37 0 0 20 0 1 0 23641993 128380928 30926 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 31343 30926 660 659 0 30547 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 135304 KiB
Current children cumulated memory: 126408 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3599.71 s, system=0.383788 s

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

[startup+3612.3 s]
/proc/loadavg: 4.14 4.49 4.34 5/248 223884
/proc/meminfo: memFree=126327180/131655788 swapFree=131070192/131071996
[pid=221875] ppid=221869 vsize=9932 memory=2704 CPUtime=0 cores=0,2
/proc/221875/stat : 221875 (naps-1.03.sh) S 221869 221875 221807 0 -1 4194304 223 238 0 0 0 0 0 0 20 0 1 0 23641992 10170368 676 134679101440 94177676972032 94177678051352 140735735217392 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 94177680149808 94177680196996 94177699684352 140735735223268 140735735223393 140735735223393 140735735230408 0
/proc/221875/statm: 2483 676 597 264 0 134 0
[pid=221888] ppid=221875 vsize=125372 memory=123704 CPUtime=3600.07 cores=0,2
/proc/221888/stat : 221888 (naps-1.03) R 221875 221875 221807 0 -1 4194304 81513 0 0 0 359970 37 0 0 20 0 1 0 23641993 128380928 30926 134679101440 4194304 6891213 140723746624976 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 27291648 140723746632693 140723746632805 140723746632805 140723746639819 0
/proc/221888/statm: 31343 30926 660 659 0 30547 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 135304 KiB
Current children cumulated memory: 126408 KiB

Child status: 10

Real time (s): 3612.3
CPU time (s): 3600.09
CPU user time (s): 3599.71
CPU system time (s): 0.383788
CPU usage (%): 99.662
Max. virtual memory (cumulated for all children) (KiB): 192884
Max. memory (cumulated for all children) (KiB): 176320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.71
system time used= 0.383788
maximum resident set size= 182072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81989
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= 38
involuntary context switches= 25189


# summary of solver processes directly reported to runsolver:
#   pid: 221875
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3599.71
#   total CPU system time (s): 0.383788

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5191 second user time and 38.8158 second system time

The end