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: 63665 MiB (63000 MiB free)
  memory of node 1: 64507 MiB (63999 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491200-1751386342/watcher-4491200-1751386342 -o /tmp/evaluation-result-4491200-1751386342/solver-4491200-1751386342 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751386340-51546 --watchdog 3760 ./naps-1.03a6.sh HOME/instance-4491200-1751386342.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Starting watchdog thread
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=51740, runsolver pid=51734
Current StackSize limit: 8192 KiB


[startup+0.100014 s]*
/proc/loadavg: 0.82 1.53 3.02 4/267 51761
/proc/meminfo: memFree=130036060/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=10492 memory=8960 CPUtime=0.07 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 1782 0 0 0 7 0 0 0 20 0 1 0 54314063 10743808 2240 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 6 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 2623 2240 544 696 0 1784 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 14684 KiB
Current children cumulated memory: 11904 KiB

[startup+0.205881 s]*
/proc/loadavg: 0.82 1.53 3.02 4/267 51765
/proc/meminfo: memFree=130028268/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=19332 memory=17664 CPUtime=0.17 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 3972 0 0 0 17 0 0 0 20 0 1 0 54314063 19795968 4416 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 4833 4416 544 696 0 3994 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 23524 KiB
Current children cumulated memory: 20608 KiB

[startup+0.30584 s]*
/proc/loadavg: 0.82 1.53 3.02 4/265 51769
/proc/meminfo: memFree=130019112/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=27772 memory=26112 CPUtime=0.27 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 6069 0 0 0 26 1 0 0 20 0 1 0 54314063 28438528 6528 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 6943 6528 544 696 0 6104 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 31964 KiB
Current children cumulated memory: 29056 KiB

[startup+0.700145 s]
/proc/loadavg: 0.82 1.53 3.02 4/265 51769
/proc/meminfo: memFree=129993660/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=39608 memory=38036 CPUtime=0.66 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 9098 0 0 0 64 2 0 0 20 0 1 0 54314063 40558592 9509 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 9902 9509 576 696 0 9063 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 40980 KiB

[startup+1.50015 s]
/proc/loadavg: 0.82 1.53 3.02 5/262 51792
/proc/meminfo: memFree=129998448/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=46040 memory=43700 CPUtime=1.44 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 11027 0 0 0 141 3 0 0 20 0 1 0 54314063 47144960 10925 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 11510 10925 576 696 0 10671 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 50232 KiB
Current children cumulated memory: 46644 KiB

[startup+3.10574 s]
/proc/loadavg: 0.82 1.53 3.02 5/270 51857
/proc/meminfo: memFree=129930304/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=61872 memory=58976 CPUtime=3.03 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 13738 0 0 0 298 5 0 0 20 0 1 0 54314063 63356928 14744 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 15468 14744 576 696 0 14629 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 66064 KiB
Current children cumulated memory: 61920 KiB

[startup+6.30015 s]
/proc/loadavg: 1.07 1.57 3.03 5/271 51858
/proc/meminfo: memFree=129857620/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=89024 memory=83888 CPUtime=6.22 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 18026 0 0 0 616 6 0 0 20 0 1 0 54314063 91160576 20972 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 22256 20972 576 696 0 21417 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 93216 KiB
Current children cumulated memory: 86832 KiB

[startup+12.7002 s]
/proc/loadavg: 1.31 1.61 3.04 5/271 51858
/proc/meminfo: memFree=129732536/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=135284 memory=133364 CPUtime=12.61 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 23925 0 0 0 1252 9 0 0 20 0 1 0 54314063 138530816 33341 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 33821 33341 576 696 0 32982 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 139476 KiB
Current children cumulated memory: 136308 KiB

[startup+25.5002 s]
/proc/loadavg: 1.99 1.75 3.06 5/271 51859
/proc/meminfo: memFree=128653708/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=238456 memory=233272 CPUtime=25.38 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 34965 0 0 0 2524 14 0 0 20 0 1 0 54314063 244178944 58318 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 59614 58318 576 696 0 58775 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 242648 KiB
Current children cumulated memory: 236216 KiB

[startup+51.106 s]
/proc/loadavg: 2.67 1.93 3.08 5/271 51859
/proc/meminfo: memFree=125240708/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3456784 memory=3292684 CPUtime=50.92 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 384558 0 0 0 4977 115 0 0 20 0 1 0 54314063 3539746816 823171 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 864196 823171 608 696 0 863357 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 3460976 KiB
Current children cumulated memory: 3295628 KiB

[startup+102.3 s]
/proc/loadavg: 3.47 2.27 3.14 5/270 51865
/proc/meminfo: memFree=119926188/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3601288 memory=3381744 CPUtime=101.99 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 406658 0 0 0 10075 124 0 0 20 0 1 0 54314063 3687718912 845436 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 900322 845436 608 696 0 899483 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 3605480 KiB
Current children cumulated memory: 3384688 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.61 3.21 5/270 51867
/proc/meminfo: memFree=119151332/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=4106368 memory=3888564 CPUtime=161.84 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 409406 0 0 0 16050 134 0 0 20 0 1 0 54314063 4204920832 972141 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 1026592 972141 608 696 0 1025753 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 4110560 KiB
Current children cumulated memory: 3891508 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.88 3.26 5/270 51869
/proc/meminfo: memFree=118714096/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=4537760 memory=4324996 CPUtime=221.69 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 428164 0 0 0 21955 214 0 0 20 0 1 0 54314063 4646666240 1081249 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 1134440 1081249 640 696 0 1133601 0
Current children cumulated CPU time: 221.69 s

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

/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3034.26 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/267 52015
/proc/meminfo: memFree=118555372/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3094.08 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 542905 0 0 0 308717 691 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3094.08 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/267 52017
/proc/meminfo: memFree=118520632/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3153.91 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 543689 0 0 0 314699 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3153.91 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/267 52019
/proc/meminfo: memFree=118521496/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3213.73 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 544375 0 0 0 320681 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.07 5/267 52021
/proc/meminfo: memFree=118557660/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3273.55 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 545026 0 0 0 326663 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3273.55 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/267 52023
/proc/meminfo: memFree=118597708/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3333.37 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 545706 0 0 0 332645 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3333.37 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/266 52025
/proc/meminfo: memFree=118544868/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3393.19 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 546552 0 0 0 338627 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3393.19 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.08 5/266 52027
/proc/meminfo: memFree=118544392/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3453.01 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 547452 0 0 0 344609 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3453.01 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/266 52029
/proc/meminfo: memFree=118529680/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3512.84 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 548108 0 0 0 350592 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3512.84 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.08 5/267 52032
/proc/meminfo: memFree=118594492/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3572.66 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 548833 0 0 0 356574 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 52036
/proc/meminfo: memFree=118714124/131250000 swapFree=33010416/33010684
[pid=51740] ppid=51734 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51740/stat : 51740 (naps-1.03a6.sh) S 51734 51740 51532 0 -1 4194304 229 201 0 0 0 0 0 0 20 0 1 0 54314061 4292608 736 18446744073709551615 94802946920448 94802947814981 140724356827632 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94802948054032 94802948101776 94802970095616 140724356831655 140724356831749 140724356831749 140724356837351 0
/proc/51740/statm: 1048 736 672 219 0 110 0
[pid=51746] ppid=51740 vsize=3833088 memory=3654916 CPUtime=3600.08 cores=4,6
/proc/51746/stat : 51746 (naps-1.03a6) R 51740 51740 51532 0 -1 4194304 549265 0 0 0 359316 692 0 0 20 0 1 0 54314063 3925082112 913729 18446744073709551615 4198400 7047149 140733360298512 0 0 0 0 0 17922 0 0 0 17 4 0 0 0 0 0 7573272 7623312 26337280 140733360306548 140733360306662 140733360306662 140733360312265 0
/proc/51746/statm: 958272 913729 640 696 0 957433 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3837280 KiB
Current children cumulated memory: 3657860 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000864 s, system=0.003517 s

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

# cumulated CPU time of all completed processes:  user=3593.16 s, system=6.93871 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): 3609.81
CPU time (s): 3600.1
CPU user time (s): 3593.16
CPU system time (s): 6.93871
CPU usage (%): 99.731
Max. virtual memory (cumulated for all children) (KiB): 5100028
Max. memory (cumulated for all children) (KiB): 4916728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.16
system time used= 6.93871
maximum resident set size= 4913784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549696
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= 503
involuntary context switches= 2461


# summary of solver processes directly reported to runsolver:
#   pid: 51740,51746
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3593.16
#   total CPU system time (s): 6.93871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.31269 second user time and 16.9399 second system time

The end