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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426484-1720905583/watcher-4426484-1720905583 -o /tmp/evaluation-result-4426484-1720905583/solver-4426484-1720905583 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1720905422-722429 --watchdog 3760 HOME/naps-1.03.sh HOME/instance-4426484-1720905583.wbo 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=723034, runsolver pid=723031

[startup+0.100091 s]*
/proc/loadavg: 3.99 3.00 2.50 5/259 723039
/proc/meminfo: memFree=119073244/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=23344 memory=21572 CPUtime=0.1 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 5492 0 0 0 9 1 0 0 20 0 1 0 142728056 23904256 5393 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 5836 5393 644 659 0 5040 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33276 KiB
Current children cumulated memory: 24232 KiB

[startup+0.20575 s]*
/proc/loadavg: 3.99 3.00 2.50 5/259 723039
/proc/meminfo: memFree=119068668/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=27404 memory=25356 CPUtime=0.2 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 8035 0 0 0 19 1 0 0 20 0 1 0 142728056 28061696 6339 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 6851 6339 660 659 0 6055 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37336 KiB
Current children cumulated memory: 28016 KiB

[startup+0.30568 s]*
/proc/loadavg: 3.99 3.00 2.50 5/259 723039
/proc/meminfo: memFree=119063204/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=32128 memory=30040 CPUtime=0.3 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 9207 0 0 0 29 1 0 0 20 0 1 0 142728056 32899072 7510 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 8032 7510 660 659 0 7236 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42060 KiB
Current children cumulated memory: 32700 KiB

[startup+0.700182 s]
/proc/loadavg: 3.99 3.00 2.50 5/259 723039
/proc/meminfo: memFree=119066088/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=34540 memory=31476 CPUtime=0.68 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 10509 0 0 0 67 1 0 0 20 0 1 0 142728056 35368960 7869 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 8635 7869 660 659 0 7839 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 34136 KiB

[startup+1.50018 s]
/proc/loadavg: 3.99 3.00 2.50 5/259 723039
/proc/meminfo: memFree=119058864/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=34540 memory=31476 CPUtime=1.48 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 10515 0 0 0 147 1 0 0 20 0 1 0 142728056 35368960 7869 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 8635 7869 660 659 0 7839 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 34136 KiB

[startup+3.10536 s]
/proc/loadavg: 3.99 3.00 2.50 5/259 723039
/proc/meminfo: memFree=119111736/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=34540 memory=31476 CPUtime=3.08 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 10515 0 0 0 307 1 0 0 20 0 1 0 142728056 35368960 7869 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 8635 7869 660 659 0 7839 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 34136 KiB

[startup+6.30018 s]
/proc/loadavg: 3.99 3.02 2.51 5/259 723039
/proc/meminfo: memFree=119039872/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=34540 memory=31476 CPUtime=6.27 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 10516 0 0 0 626 1 0 0 20 0 1 0 142728056 35368960 7869 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 8635 7869 660 659 0 7839 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44472 KiB
Current children cumulated memory: 34136 KiB

[startup+12.7002 s]
/proc/loadavg: 3.99 3.03 2.52 5/260 723041
/proc/meminfo: memFree=118336636/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=37424 memory=34592 CPUtime=12.65 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 10857 0 0 0 1264 1 0 0 20 0 1 0 142728056 38322176 8648 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 9356 8648 660 659 0 8560 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 47356 KiB
Current children cumulated memory: 37252 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 3.08 2.54 5/260 723043
/proc/meminfo: memFree=116832788/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=38240 memory=35376 CPUtime=25.42 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 11065 0 0 0 2540 2 0 0 20 0 1 0 142728056 39157760 8844 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 9560 8844 660 659 0 8764 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 48172 KiB
Current children cumulated memory: 38036 KiB

[startup+51.1057 s]
/proc/loadavg: 4.06 3.17 2.59 5/260 723048
/proc/meminfo: memFree=115051372/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=54780 memory=51784 CPUtime=50.94 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 16736 0 0 0 5091 3 0 0 20 0 1 0 142728056 56094720 12946 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 13695 12946 660 659 0 12899 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 64712 KiB
Current children cumulated memory: 54444 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 3.32 2.67 5/262 723061
/proc/meminfo: memFree=115017248/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=58096 memory=55428 CPUtime=101.98 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 17947 0 0 0 10194 4 0 0 20 0 1 0 142728056 59490304 13857 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 14524 13857 660 659 0 13728 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 68028 KiB
Current children cumulated memory: 58088 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 3.48 2.76 5/261 723072
/proc/meminfo: memFree=114253908/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=64736 memory=62192 CPUtime=161.8 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 19139 0 0 0 16176 4 0 0 20 0 1 0 142728056 66289664 15548 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 16184 15548 660 659 0 15388 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 74668 KiB
Current children cumulated memory: 64852 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.59 2.85 5/261 723082
/proc/meminfo: memFree=113761132/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=65000 memory=62392 CPUtime=221.62 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 19223 0 0 0 22158 4 0 0 20 0 1 0 142728056 66560000 15598 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 16250 15598 660 659 0 15454 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 74932 KiB

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

/proc/loadavg: 4.30 4.19 4.10 5/263 725313
/proc/meminfo: memFree=109386732/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=174108 memory=169912 CPUtime=3092 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 89951 0 0 0 309117 83 0 0 20 0 1 0 142728056 178286592 42478 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 43527 42478 660 659 0 42731 0
Current children cumulated CPU time: 3092 s
Current children cumulated vsize: 184040 KiB
Current children cumulated memory: 172572 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.19 4.10 5/263 725324
/proc/meminfo: memFree=109076932/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=128776 memory=126344 CPUtime=3151.79 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 91748 0 0 0 315093 86 0 0 20 0 1 0 142728056 131866624 31586 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 32194 31586 660 659 0 31398 0
Current children cumulated CPU time: 3151.79 s
Current children cumulated vsize: 138708 KiB
Current children cumulated memory: 129004 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/261 725334
/proc/meminfo: memFree=109244428/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=175628 memory=173196 CPUtime=3211.58 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 92940 0 0 0 321071 87 0 0 20 0 1 0 142728056 179843072 43299 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 43907 43299 660 659 0 43111 0
Current children cumulated CPU time: 3211.58 s
Current children cumulated vsize: 185560 KiB
Current children cumulated memory: 175856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/258 725345
/proc/meminfo: memFree=109291184/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=145356 memory=141240 CPUtime=3271.38 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 96268 0 0 0 327047 91 0 0 20 0 1 0 142728056 148844544 35310 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 36339 35310 660 659 0 35543 0
Current children cumulated CPU time: 3271.38 s
Current children cumulated vsize: 155288 KiB
Current children cumulated memory: 143900 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.16 4.10 5/258 725355
/proc/meminfo: memFree=109364104/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=143216 memory=139100 CPUtime=3331.17 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 98063 0 0 0 333023 94 0 0 20 0 1 0 142728056 146653184 34775 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 35804 34775 660 659 0 35008 0
Current children cumulated CPU time: 3331.17 s
Current children cumulated vsize: 153148 KiB
Current children cumulated memory: 141760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/258 725365
/proc/meminfo: memFree=109370036/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=136844 memory=132664 CPUtime=3390.97 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 101797 0 0 0 338998 99 0 0 20 0 1 0 142728056 140128256 33166 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 34211 33166 660 659 0 33415 0
Current children cumulated CPU time: 3390.97 s
Current children cumulated vsize: 146776 KiB
Current children cumulated memory: 135324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.16 4.10 5/258 725476
/proc/meminfo: memFree=112129104/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=169764 memory=167332 CPUtime=3450.76 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 103844 0 0 0 344976 100 0 0 20 0 1 0 142728056 173838336 41833 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 42441 41833 660 659 0 41645 0
Current children cumulated CPU time: 3450.76 s
Current children cumulated vsize: 179696 KiB
Current children cumulated memory: 169992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.17 4.10 5/258 725486
/proc/meminfo: memFree=101368588/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=192200 memory=189768 CPUtime=3510.52 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 104403 0 0 0 350952 100 0 0 20 0 1 0 142728056 196812800 47442 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 48050 47442 660 659 0 47254 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 202132 KiB
Current children cumulated memory: 192428 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.10 5/258 725596
/proc/meminfo: memFree=116649052/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=185172 memory=182812 CPUtime=3570.3 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 105504 0 0 0 356928 102 0 0 20 0 1 0 142728056 189616128 45703 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 46293 45703 660 659 0 45497 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 195104 KiB
Current children cumulated memory: 185472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.16 4.16 4.10 5/258 725600
/proc/meminfo: memFree=105934708/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=185172 memory=182812 CPUtime=3600 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 105524 0 0 0 359898 102 0 0 20 0 1 0 142728056 189616128 45703 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 46293 45703 660 659 0 45497 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 195104 KiB
Current children cumulated memory: 185472 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.99 s, system=1.02172 s

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

[startup+3612.11 s]
/proc/loadavg: 4.16 4.16 4.10 5/258 725600
/proc/meminfo: memFree=105934708/131524600 swapFree=131071996/131071996
[pid=723034] ppid=723031 vsize=9932 memory=2660 CPUtime=0 cores=0,2
/proc/723034/stat : 723034 (naps-1.03.sh) S 723031 723034 720180 0 -1 4194304 218 242 0 0 0 0 0 0 20 0 1 0 142728056 10170368 665 134679101440 93898494648320 93898495727640 140731129945056 0 0 0 65536 4 65538 0 0 0 17 2 0 0 0 0 0 93898497826096 93898497873284 93898499301376 140731129951152 140731129951277 140731129951277 140731129958344 0
/proc/723034/statm: 2483 665 586 264 0 134 0
[pid=723039] ppid=723034 vsize=185172 memory=182812 CPUtime=3600 cores=0,2
/proc/723039/stat : 723039 (naps-1.03) R 723034 723034 720180 0 -1 4194304 105524 0 0 0 359898 102 0 0 20 0 1 0 142728056 189616128 45703 134679101440 4194304 6891213 140727793011392 0 0 0 0 0 17922 0 0 0 17 0 0 0 0 0 0 7398840 7447120 24088576 140727793013697 140727793013809 140727793013809 140727793020875 0
/proc/723039/statm: 46293 45703 660 659 0 45497 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 195104 KiB
Current children cumulated memory: 185472 KiB

Child status: 10

Real time (s): 3612.11
CPU time (s): 3600.01
CPU user time (s): 3598.99
CPU system time (s): 1.02172
CPU usage (%): 99.6652
Max. virtual memory (cumulated for all children) (KiB): 262028
Max. memory (cumulated for all children) (KiB): 252116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.99
system time used= 1.02172
maximum resident set size= 249456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105999
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= 29
involuntary context switches= 25423


# summary of solver processes directly reported to runsolver:
#   pid: 723034
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3598.99
#   total CPU system time (s): 1.02172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1438 second user time and 17.6221 second system time

The end