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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4426206-1720901794/watcher-4426206-1720901794 -o /tmp/evaluation-result-4426206-1720901794/solver-4426206-1720901794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1720901807-727698 --watchdog 3760 HOME/naps-1.03.sh -GM HOME/instance-4426206-1720901794.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
Current StackSize limit: 8192 KiB

solver pid=727743, runsolver pid=727738

[startup+0.100083 s]*
/proc/loadavg: 0.07 0.08 0.09 4/251 727756
/proc/meminfo: memFree=129423844/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=22460 memory=19296 CPUtime=0.09 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 5301 0 0 0 9 0 0 0 20 0 1 0 142350301 22999040 4824 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 5615 4824 468 659 0 4819 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 32392 KiB
Current children cumulated memory: 22048 KiB

[startup+0.205777 s]*
/proc/loadavg: 0.07 0.08 0.09 4/251 727756
/proc/meminfo: memFree=129394108/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=43180 memory=39796 CPUtime=0.2 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 9932 0 0 0 19 1 0 0 20 0 1 0 142350301 44216320 9949 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 10795 9949 468 659 0 9999 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53112 KiB
Current children cumulated memory: 42548 KiB

[startup+0.305712 s]*
/proc/loadavg: 0.07 0.08 0.09 5/258 727775
/proc/meminfo: memFree=129367196/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=51028 memory=45800 CPUtime=0.3 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 10924 0 0 0 29 1 0 0 20 0 1 0 142350301 52252672 11450 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 12757 11450 468 659 0 11961 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60960 KiB
Current children cumulated memory: 48552 KiB

[startup+0.700254 s]
/proc/loadavg: 0.07 0.08 0.09 5/258 727775
/proc/meminfo: memFree=129237528/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=53884 memory=49540 CPUtime=0.68 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 12582 0 0 0 67 1 0 0 20 0 1 0 142350301 55177216 12385 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 13471 12385 468 659 0 12675 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63816 KiB
Current children cumulated memory: 52292 KiB

[startup+1.50027 s]
/proc/loadavg: 0.07 0.08 0.09 5/258 727775
/proc/meminfo: memFree=129159884/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=69372 memory=56000 CPUtime=1.48 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 13220 0 0 0 147 1 0 0 20 0 1 0 142350301 71036928 14000 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 17343 14000 468 659 0 16547 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79304 KiB
Current children cumulated memory: 58752 KiB

[startup+3.1058 s]
/proc/loadavg: 0.38 0.15 0.11 5/258 727775
/proc/meminfo: memFree=128939896/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=73832 memory=69172 CPUtime=3.09 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 14472 0 0 0 307 2 0 0 20 0 1 0 142350301 75603968 17293 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 18458 17293 468 659 0 17662 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 83764 KiB
Current children cumulated memory: 71924 KiB

[startup+6.30021 s]
/proc/loadavg: 0.38 0.15 0.11 5/258 727827
/proc/meminfo: memFree=128251520/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=69372 memory=61940 CPUtime=6.27 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 15619 0 0 0 624 3 0 0 20 0 1 0 142350301 71036928 15485 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 17343 15485 468 659 0 16547 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 79304 KiB
Current children cumulated memory: 64692 KiB

[startup+12.7003 s]
/proc/loadavg: 1.02 0.29 0.16 5/258 727827
/proc/meminfo: memFree=128061156/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=100560 memory=90628 CPUtime=12.65 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 16170 0 0 0 1262 3 0 0 20 0 1 0 142350301 102973440 22657 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 25140 22657 468 659 0 24344 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 110492 KiB
Current children cumulated memory: 93380 KiB

[startup+25.5003 s]
/proc/loadavg: 1.48 0.41 0.20 6/258 727880
/proc/meminfo: memFree=128578760/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=112052 memory=107668 CPUtime=25.4 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 17136 0 0 0 2536 4 0 0 20 0 1 0 142350301 114741248 26917 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 28013 26917 468 659 0 27217 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 121984 KiB
Current children cumulated memory: 110420 KiB

[startup+51.1059 s]
/proc/loadavg: 2.40 0.72 0.31 6/258 727933
/proc/meminfo: memFree=127225204/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=119420 memory=115036 CPUtime=50.93 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 19074 0 0 0 5086 7 0 0 20 0 1 0 142350301 122286080 28759 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 29855 28759 468 659 0 29059 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 129352 KiB
Current children cumulated memory: 117788 KiB

[startup+102.3 s]
/proc/loadavg: 3.48 1.30 0.53 7/258 727942
/proc/meminfo: memFree=125162508/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=199560 memory=164612 CPUtime=101.97 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 22033 0 0 0 10184 13 0 0 20 0 1 0 142350301 204349440 41153 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 49890 41153 468 659 0 49094 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 209492 KiB
Current children cumulated memory: 167364 KiB

[startup+162.3 s]
/proc/loadavg: 3.81 1.80 0.75 5/258 728002
/proc/meminfo: memFree=124723576/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=233708 memory=211828 CPUtime=161.77 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 25725 0 0 0 16158 19 0 0 20 0 1 0 142350301 239316992 52957 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 58427 52957 468 659 0 57631 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 243640 KiB
Current children cumulated memory: 214580 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.23 0.97 5/261 728017
/proc/meminfo: memFree=113286256/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=233708 memory=207732 CPUtime=221.58 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 28334 0 0 0 22135 23 0 0 20 0 1 0 142350301 239316992 51933 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 58427 51933 468 659 0 57631 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 243640 KiB

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

/proc/727752/statm: 89804 86466 468 659 0 89008 0
Current children cumulated CPU time: 3028.93 s
Current children cumulated vsize: 369148 KiB
Current children cumulated memory: 348616 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.03 5/259 729717
/proc/meminfo: memFree=107841932/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=443440 memory=373144 CPUtime=3088.68 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 99881 0 0 0 308729 139 0 0 20 0 1 0 142350301 454082560 93286 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 110860 93286 468 659 0 110064 0
Current children cumulated CPU time: 3088.68 s
Current children cumulated vsize: 453372 KiB
Current children cumulated memory: 375896 KiB

[startup+3162.3 s]
/proc/loadavg: 4.57 4.24 4.07 6/259 729727
/proc/meminfo: memFree=108015864/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=362632 memory=311452 CPUtime=3148.09 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 101247 0 0 0 314668 141 0 0 20 0 1 0 142350301 371335168 77863 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 90658 77863 468 659 0 89862 0
Current children cumulated CPU time: 3148.09 s
Current children cumulated vsize: 372564 KiB
Current children cumulated memory: 314204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.20 4.06 6/262 729742
/proc/meminfo: memFree=107927804/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=363016 memory=342572 CPUtime=3207.48 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 101414 0 0 0 320607 141 0 0 20 0 1 0 142350301 371728384 85643 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 90754 85643 468 659 0 89958 0
Current children cumulated CPU time: 3207.48 s
Current children cumulated vsize: 372948 KiB
Current children cumulated memory: 345324 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.06 6/262 729753
/proc/meminfo: memFree=107991392/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=448916 memory=377808 CPUtime=3266.88 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 103195 0 0 0 326545 143 0 0 20 0 1 0 142350301 459689984 94452 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 112229 94452 468 659 0 111433 0
Current children cumulated CPU time: 3266.88 s
Current children cumulated vsize: 458848 KiB
Current children cumulated memory: 380560 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.07 6/261 729764
/proc/meminfo: memFree=107991888/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=368248 memory=318456 CPUtime=3326.28 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 104549 0 0 0 332482 146 0 0 20 0 1 0 142350301 377085952 79614 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 92062 79614 468 659 0 91266 0
Current children cumulated CPU time: 3326.28 s
Current children cumulated vsize: 378180 KiB
Current children cumulated memory: 321208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.17 4.07 5/261 729774
/proc/meminfo: memFree=107904308/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=368416 memory=347304 CPUtime=3385.68 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 104675 0 0 0 338422 146 0 0 20 0 1 0 142350301 377257984 86826 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 3 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 92104 86826 468 659 0 91308 0
Current children cumulated CPU time: 3385.68 s
Current children cumulated vsize: 378348 KiB
Current children cumulated memory: 350056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.07 5/261 729785
/proc/meminfo: memFree=107938760/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=450616 memory=391844 CPUtime=3445.36 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 105657 0 0 0 344389 147 0 0 20 0 1 0 142350301 461430784 97961 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 112654 97961 468 659 0 111858 0
Current children cumulated CPU time: 3445.36 s
Current children cumulated vsize: 460548 KiB
Current children cumulated memory: 394596 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.14 4.07 5/258 729795
/proc/meminfo: memFree=107895388/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=454124 memory=368356 CPUtime=3505.18 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 108370 0 0 0 350368 150 0 0 20 0 1 0 142350301 465022976 92089 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 113531 92089 468 659 0 112735 0
Current children cumulated CPU time: 3505.18 s
Current children cumulated vsize: 464056 KiB
Current children cumulated memory: 371108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.12 4.07 6/258 729805
/proc/meminfo: memFree=107798948/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=454780 memory=405900 CPUtime=3565 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 108609 0 0 0 356349 151 0 0 20 0 1 0 142350301 465694720 101475 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 113695 101475 468 659 0 112899 0
Current children cumulated CPU time: 3565 s
Current children cumulated vsize: 464712 KiB
Current children cumulated memory: 408652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.4 s]
/proc/loadavg: 4.02 4.11 4.07 4/250 729842
/proc/meminfo: memFree=108407680/131524600 swapFree=131071996/131071996
[pid=727743] ppid=727738 vsize=9932 memory=2752 CPUtime=0 cores=1,3
/proc/727743/stat : 727743 (naps-1.03.sh) S 727738 727743 727686 0 -1 4194304 223 237 0 0 0 0 0 0 20 0 1 0 142350301 10170368 688 134679101440 93829751750656 93829752829976 140737131968912 0 0 0 65536 4 65538 0 0 0 17 3 0 0 0 0 0 93829754928432 93829754975620 93829787897856 140737131975596 140737131975725 140737131975725 140737131982792 0
/proc/727743/statm: 2483 688 610 264 0 134 0
[pid=727752] ppid=727743 vsize=324212 memory=304476 CPUtime=3600 cores=1,3
/proc/727752/stat : 727752 (naps-1.03) R 727743 727743 727686 0 -1 4194304 109183 0 0 0 359847 153 0 0 20 0 1 0 142350301 331993088 76119 134679101440 4194304 6891213 140733363559952 0 0 0 0 0 17922 0 0 0 17 1 0 0 0 0 0 7398840 7447120 33472512 140733363565501 140733363565617 140733363565617 140733363572683 0
/proc/727752/statm: 81053 76119 468 659 0 80257 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 334144 KiB
Current children cumulated memory: 307228 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000828 s, system=0.001935 s

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

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

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

Child status: 10

Real time (s): 3617.41
CPU time (s): 3600.02
CPU user time (s): 3598.48
CPU system time (s): 1.54444
CPU usage (%): 99.5194
Max. virtual memory (cumulated for all children) (KiB): 534092
Max. memory (cumulated for all children) (KiB): 440948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.54444
maximum resident set size= 477320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109643
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= 52
involuntary context switches= 15251


# summary of solver processes directly reported to runsolver:
#   pid: 727743,727752
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3598.48
#   total CPU system time (s): 1.54444

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.28549 second user time and 17.1749 second system time

The end